Diretório de grupos de pesquisa|
Adolfo Gustavo Serra Seca Neto É Doutor em Ciências da Computação pela Universidade de São Paulo (USP), Mestre em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE) e bacharel em Ciências da Computação pela Universidade Federal de Alagoas (UFAL). Atualmente é professor de magistério superior no Departamento de Informática da Universidade Tecnológica Federal do Paraná (UTFPR), Campus Curitiba. Foi professor da Universidade do Estado de Santa Catarina (UDESC), do Centro Federal de Educação Tecnológica de São Paulo (CEFET-SP), da Pontifícia Universidade Católica de Campinas (PUC-CAMPINAS), do Centro Federal de Educação Tecnológica de Alagoas (CEFET-AL) e da Universidade Federal de Alagoas. Foi analista desenvolvedor de sistemas na Inmetrics, uma empresa de soluções em serviços de APM. Tem experiência na área de Ciência da Computação, com ênfase em Lógica Aplicada à Computação, atuando principalmente nos seguintes temas: tableaux, provadores automáticos de teoremas, programação orientada a aspectos, programação orientada a objetos e lógicas de inconsistência formal. Desenvolveu, junto com Marcelo Finger, o KEMS, um provador de teoremas multi-estratégia.
Última
atualização do currículo em 05/12/2009
Endereço para acessar este CV: http://lattes.cnpq.br/0071119715272492 |
Dados pessoais
| Nome | Adolfo Gustavo Serra Seca Neto |
| Nome em citações bibliográficas | NETO, ADOLFO G. S. S.; NETO, ADOLFO; SERRA-SECA-NETO, ADOLFO G. |
| Sexo | Masculino |
| Endereço profissional | Universidade Tecnológica Federal do Paraná, Campus Curitiba, Departamento de Informática - DAINF. Av. Sete de Setembro, 3165 Rebouças 80230-901 - Curitiba, PR - Brasil Telefone: (41) 33104747 Fax: (41) 33104644 URL da Homepage: http://www.dainf.ct.utfpr.edu.br/~adolfo |
Formação acadêmica/Titulação
| 2003 - 2007 | Doutorado em Ciências da Computação
.
Universidade de São Paulo, USP, Brasil. Título: A Multi-Strategy Theorem Prover, Ano de Obtenção: 2007. Orientador:  Marcelo Finger.
Palavras-chave: LÓGICA; PROVADORES AUTOMÁTICOS DE TEOREMAS; TABLEAUX; PROGRAMAÇÃO ORIENTADA A ASPECTOS; PROGRAMAÇÃO ORIENTADA A OBJETOS; LÓGICAS DE INCONSISTÊNCIA FORMAL. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Setores de atividade: Informática. |
| 1994 - 1996 | Mestrado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: Using Logic for Concurrency - A Critical Study, Ano de Obtenção: 1997. Orientador: Ruy José Guerra Barretto de Queiroz.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, , . Palavras-chave: LÓGICA; LÓGICA LINEAR; CONCORRÊNCIA; SISTEMAS DEDUTIVOS ROTULADOS. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas. Setores de atividade: Informática. |
| 2002 interrompido | Aperfeiçoamento interrompido em 2003 em Formação Pedagógica
.
Instituto Federal de Educação, Ciência e Tecnologia de Alagoas, IFAL, Brasil. Título: incompleto. Ano de finalização: 2003. Ano de interrupção: 2003 |
| 1990 - 1994 | Graduação em Ciências da Computação
.
Universidade Federal de Alagoas, UFAL, Brasil. Título: Um Modelo de Dados Relacional Difuso. Orientador: Evandro de Barros Costa. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de Alagoas, , . |
Formação complementar
| 2008 - 2008 | Introdução ao Desenvolvimento Ágil Utilizando XP.
(Carga horária: 8h). Fundação Educacional do Município de Assis. |
| 2003 - 2003 | Padrões de Projeto.
(Carga horária: 8h). Centro de Ensino de Computação. |
| 1999 - 1999 | Curso Prático de Comunicação Verbal.
(Carga horária: 12h). Instituto Carlos Conce. |
| 1996 - 1996 | Oratória.
(Carga horária: 15h). Instituto Carlos Conce. |
| 1992 - 1992 | Intermediate English. Yázigi International. |
Atuação profissional
| Universidade Tecnológica Federal do Paraná, UTFPR, Brasil. |
| Vínculo institucional |
| 2008 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor de Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 08/2009 - Atual | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas Matemática Discreta |
| 02/2009 - Atual | Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Lógica para Computação |
| 02/2009 - Atual | Ensino, Engenharia de Computação, Nível: Graduação. |
| Disciplinas ministradas Lógica para Computação |
| 02/2009 - Atual | Outras atividades técnico-científicas , Campus Curitiba, . |
|
Atividade realizada Delegado Institucional da Sociedade Brasileira de Computação. |
| 02/2009 - Atual | Conselhos, Comissões e Consultoria, Campus Curitiba, Departamento de Informática - DAINF. |
|
Cargo ou função
Membro do Colegiado do Bacharelado em Sistemas de Informação. |
| 02/2009 - Atual | Atividades de Participação em Projeto, Campus Curitiba, Departamento de Informática - DAINF. |
|
Projetos de pesquisa ASA Bioestatística |
| 09/2008 - Atual | Atividades de Participação em Projeto, Campus Curitiba, Departamento de Informática - DAINF. |
|
Projetos de pesquisa Adoção de metodologias ágeis de desenvolvimento de software na região de Curitiba |
| 08/2008 - Atual | Atividades de Participação em Projeto, Campus Curitiba, Departamento de Informática - DAINF. |
|
Projetos de pesquisa KEMS - Um provador de teoremas multi-estratégia |
| 02/2009 - 07/2009 | Ensino, Engenharia Industrial Elétrica, Nível: Graduação. |
| Disciplinas ministradas Computação 2 |
| 08/2008 - 12/2008 | Ensino, Engenharia Industrial Mecânica, Nível: Graduação. |
| Disciplinas ministradas Computação 1 Computação 2 |
| 08/2008 - 12/2008 | Ensino, Nível: Outro. |
| Disciplinas ministradas Informática 1 |
| Universidade do Estado de Santa Catarina, UDESC, Brasil. |
| Vínculo institucional |
| 2008 - 2008 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40 |
| Atividades |
| 05/2008 - 07/2008 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Lógica e Programação em Lógica |
| 03/2008 - 07/2008 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Compiladores Teoria da Computação |
| 04/2008 - 05/2008 | Ensino, Tecnologia em Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Arquitetura e Organização de Computadores |
| Instituto Federal de Educação, Ciência e Tecnologia de São Paulo, IFSP, Brasil. |
| Vínculo institucional |
| 2007 - 2008 | Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 02/2008 - Atual | Ensino, Automação Industrial, Nível: Graduação. |
| Disciplinas ministradas Laboratório Integrado Linguagem de Programação Básica |
| 02/2008 - Atual | Ensino, Fabricação Mecânica, Nível: Graduação. |
| Disciplinas ministradas Informática |
| 02/2008 - Atual | Ensino, Nível: Ensino Médio. |
| Disciplinas ministradas Informática Básica |
| 08/2007 - 12/2007 | Ensino, Nível: Ensino Médio. |
| Disciplinas ministradas Lógica de Programação |
| Pontifícia Universidade Católica de Campinas, PUC Campinas, Brasil. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Celetista, Enquadramento Funcional: Professor Temporário, Carga horária: 4 |
| Atividades |
| 02/2007 - 06/2007 | Ensino, Ciências Contábeis, Nível: Graduação. |
| Disciplinas ministradas Informática Aplicada à Contabilidade |
| INMETRICS LTDA EPP, INMETRICS, Brasil. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Prestador de Serviços, Enquadramento Funcional: Analista de Desenvolvimento Tecnológico, Carga horária: 30 |
| Atividades |
| 02/2007 - 07/2007 | Pesquisa e desenvolvimento , Gerência de Tecnologia da Informação, . |
|
Linhas de pesquisa Desenvolvimento Ágil de Software Manutenção de Software |
| W A Comércio e Serviços de Informática, WACS, Brasil. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Sócio, Enquadramento Funcional: Diretor de Tecnologia, Carga horária: 40 |
| Atividades |
| 02/2007 - 07/2007 | Atividades de Participação em Projeto, Divisão de Tecnologia, . |
| Universidade de São Paulo, USP, Brasil. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista de Treinamento Técnico FAPESP, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Livre, Enquadramento Funcional: Pesquisador Associado, Carga horária: 10 |
| Outras informações | Participei do projeto de pesquisa Tidia-Ae da FAPESP no Laboratório de Informática em Saúde e ImagCom (LISI), na FFCLRP - USP - Ribeirão Preto, coordenado pela professora Alessandra Alaniz Macedo. |
| Vínculo institucional |
| 2003 - 2007 | Vínculo: Estudante de pós-graduação, Enquadramento Funcional: Doutorando, Carga horária: 40 |
| Outras informações | Disciplinas cursadas: Análise de Algoritmos, Programação Orientada a Objetos, Tópicos Avançados em Programação Orientada a Objetos, Introdução à Lógica, Lógicas Não Clássicas, entre outras. Durante todo o período, desenvolvi software acadêmico utilizando as linguagens Java, AspectJ e C++. O ambiente de desenvolvimento integrado adotado foi o Eclipse. |
| Vínculo institucional |
| 2005 - 2005 | Vínculo: ESTAGIÁRIO PAE, Enquadramento Funcional: AUXILIAR DE ENSINO, Carga horária: 6 |
| Vínculo institucional |
| 2004 - 2004 | Vínculo: ESTAGIÁRIO PAE, Enquadramento Funcional: AUXILIAR DE ENSINO, Carga horária: 6 |
| Atividades |
| 07/2007 - Atual | Pesquisa e desenvolvimento , Faculdade de Filosofia Ciências e Letras de Ribeirão Preto, Departamento de Física e Matemática. |
|
Linhas de pesquisa Aprendizagem de Máquina Recuperação de Informação |
| 07/2007 - Atual | Atividades de Participação em Projeto, Faculdade de Filosofia Ciências e Letras de Ribeirão Preto, . |
|
Projetos de pesquisa FAPESP TIDIA-Aprendizado Eletrônico Fase 2 |
| 8/2005 - Atual | Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação. |
|
Projetos de pesquisa Logical Consequence and Combinations of Logics-Fundaments and Efficient Applications |
| 03/2003 - Atual | Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação. |
|
Linhas de pesquisa Lógica Aplicada à Computação Provadores Automáticos de Teoremas |
| 07/2005 - 12/2005 | Estágios , Instituto de Matemática e Estatística, . |
|
Estágio realizado Estágio de docência na disciplina "Tópicos em Programação Orientada a Objetos". |
| 07/2004 - 12/2004 | Estágios , Faculdade de Economia Administração e Contabilidade, . |
|
Estágio realizado Estágio de Docência na disciplina "Introdução à Informática para Adminsitração". |
| Instituto Paulista de Ensino e Pesquisa, IPEP, Brasil. |
| Vínculo institucional |
| 2004 - 2004 | Vínculo: Celetista, Enquadramento Funcional: Professor Mestre, Carga horária: 15 |
| Atividades |
| 08/2004 - 12/2004 | Ensino, Sistemas de Informação, Nível: Graduação. |
| Disciplinas ministradas Arquivos e Bancos de Dados Linguagem e Técnicas de Programação II |
| 08/2004 - 12/2004 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Banco de Dados Orientado a Objetos |
| 08/2004 - 12/2004 | Ensino, Administração de Redes, Nível: Graduação. |
| Disciplinas ministradas Computação Instrumental |
| Centro Federal de Educação Tecnológica de Alagoas, CEFET/AL, Brasil. |
| Vínculo institucional |
| 1997 - 2003 | Vínculo: Servidor Público, Enquadramento Funcional: PROFESSOR, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 05/1997 - 05/2003 | Ensino, Tecnologia da Informação, Nível: Graduação. |
| Disciplinas ministradas Programação II (Java) Estrutura de Dados Algoritmos Engenharia de Software |
| 05/1997 - 05/2003 | Ensino, Técnico Em Informática, Nível: Ensino Médio. |
| Disciplinas ministradas Sistemas Operacionais Programação II (Delphi) Programação I (Pascal) Estruturas de Dados Algoritmos |
| Prefeitura Municipal de Maceió, PMM, Brasil. |
| Vínculo institucional |
| 1997 - 1997 | Vínculo: Celetista, Enquadramento Funcional: COORDENADOR GERAL DE INFORMÁTICA, Carga horária: 40 |
| Atividades |
| 2/1997 - 4/1997 | Direção e administração, Secretaria Municipal de Planejamento, . |
| Cargo ou função Coordenador Geral de Informática. |
| Universidade Federal de Alagoas, UFAL, Brasil. |
| Vínculo institucional |
| 1996 - 1997 | Vínculo: PROFESSOR ASSISTENTE, Enquadramento Funcional: PROFESSOR SUBSTITUTO, Carga horária: 20 |
| Vínculo institucional |
| 1995 - 1996 | Vínculo: PROFESSOR ASSISTENTE, Enquadramento Funcional: PROFESSOR SUBSTITUTO, Carga horária: 20 |
| Atividades |
| 05/1995 - 02/1997 | Ensino, Ciências da Computação, Nível: Graduação. |
| Disciplinas ministradas Engenharia de Programas Engenharia de Software Introdução à Computação Teoria da Computação |
Projetos de Pesquisa
| 2008 - Atual | Adoção de metodologias ágeis de desenvolvimento de software na região de Curitiba |
| Descrição: Este projeto tem por objetivo estudar a adoção de metodologias ágeis em empresas de desenvolvimento de software localizadas na região metropoplitana de Curitiba (RMC). A questão que motiva esta pesquisa é: a adoção de metodologias ágeis pode aumentar a produtividade na produção de software das empresas de desenvolvimento de software da RMC? A adoção de metodologias ágeis pode ser dificultada por vários fatores, desde o desconhecimento chegando ao conservadorismo. Focaremos nosso estudo em estratégias para a adoção de metodologias ágeis.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador. . |
| 2007 - 2007 | FAPESP TIDIA-Aprendizado Eletrônico Fase 2 |
| Situação: Concluído; Natureza: Pesquisa. Integrantes: Alessandra Alaniz Macedo - Coordenador / Adolfo Gustavo Serra Seca Neto - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.. |
| 2005 - Atual | Logical Consequence and Combinations of Logics-Fundaments and Efficient Applications |
| Descrição: The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, algebraic and computational aspects of the resulting combined systems. From the point of view of efficient applications, approximating propositional and quantified inferences is a promising approach in the taming of the intrinsic complexities involved. Intimately related to the quest for efficiency, quantum logics and quantum computation arise as an important research area. The formidable speedup of technology requires multidisciplinary researchers involved in the hard task of providing efficient alternatives to traditional methods of inference. To cope with this challenge, the project involves 22 researchers with different backgrounds from USP and UNICAMP with the support of 8 researchers from three international research institutions.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Marcelo Finger - Integrante / Walter Carnielli - Coordenador / Marcelo Coniglio - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro. Número de produções C, T & A: 3. |
| 2003 - Atual | KEMS - Um provador de teoremas multi-estratégia |
| Situação: Em andamento; Natureza: Pesquisa. Integrantes: Marcelo Finger - Integrante / Adolfo Gustavo Serra Seca Neto - Coordenador. Número de produções C, T & A: 15. |
| ASA Bioestatística |
|
| Situação: Desativado; Natureza: Outra. Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador. . |
Revisor de periódico
| 2005 - Atual | Periódico: INFOCOMP. Journal of Computer Science |
| 2008 - Atual | Periódico: Revista de Educação e Tecnologia do CEFET-AL |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Lógica Aplicada à Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Inteligência Artificial. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Desenvolvimento de Software. |
Idiomas
| Inglês | Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 2008 | Aprovação em Concurso Público para Professor do Magistério Superior na área de Teoria da Computação e Linguagens, Universidade Tecnológica Federal do Paraná. |
| 2007 | 1o. lugar no concurso público para provimento do cargo de Professor Adjunto, na área de Teoria da Computação, Universidade Estadual de Santa Catarina. |
| 2007 | Orientador do 3º Melhor Trabalho, sob a Forma de Pôster e Apresentação Oral, na Categoria Acadêmicos de Graduação do I Encontro Positivo de Pesquisa e Iniciação Científica, Área de Saúde Coletiva, Centro Universitário Positivo. |
| 2006 | Aprovação no concurso público para provimento do cargo de Professor, na área de Informática e Lógica de Programação, Centro Federal de Educação Tecnológica de São Paulo. |
| 2005 | Aprovação no concurso público para provimento do cargo de Professor de Magistério Superior Tecnológico, Centro Superior de Educação Tecnológica da Unicamp. |
| 2004 | Aprovação em Concurso Público para ANALISTA DE DESENVOLVIMENTO DE SISTEMAS da UNICAMP, UNICAMP. |
| 2004 | Aprovação em Concurso Público para Analista de Sistemas Pleno da IMA, CAIPIMES. |
| 2001 | Paraninfo do curso técnico de informática, Centro Federal de Educação Tecnológica de Alagoas. |
| 1995 | Aprovação no concurso público para provimento do cargo de Professor, Centro Federal de Educação Tecnológica de Alagoas. |
| 1995 | Aprovação em Concurso Público para Analista de Sistemas do SERPRO, . |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  NETO, ADOLFO ; Kaestner, Celso A.A. ; FINGER, Marcelo . Towards an Efficient Prover for the C1C1 Paraconsistent Logic. Electronic Notes in Theoretical Computer Science , v. 256, p. 87-102, 2009. |
| Capítulos de livros publicados |
| 1. | NETO, ADOLFO ; FINGER, Marcelo . Effective Prover for Minimal Inconsistency Logic. In: Max Bramer. (Org.). Artificial Intelligence in Theory and Practice. : Springer, 2006, v. 217, p. 465-474. |
| Textos em jornais de notícias/revistas |
| 1. | NETO, ADOLFO G. S. S. . REVIEW OF "TUTORIAL ON LINEAR LOGIC". JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGICS, v. 3 (5), p. 811 - 812, 01 set. 1995. |
| Trabalhos completos publicados em anais de congressos |
| 1. |  NETO, ADOLFO ; KAESTNER, C. A. A. ; FINGER, Marcelo . Towards an efficient prover for the C1 paraconsistent logic. In: Workshop on Logical and Semantic Frameworks, with Applications (LSFA), 2009, Brasília.
Procedings of LSFA'09, 2009. |
| 2. | NETO, ADOLFO ; FINGER, Marcelo . KEMS - A Multi-Strategy Tableau Prover. In: VI Best MSc Dissertation/PhD Thesis Contest (CTDIA 2008), 2008, Salvador, Bahia.
WTDIA & CTDIA Proceedings, 2008. |
| 3. | NETO, ADOLFO G. S. S. ; FINGER, Marcelo . A KE Tableau for a Logic of Formal Inconsistency. In: TABLEAUX 2007 - Automated Reasoning with Analytic Tableaux and Related Methods, 2007, Aix en Provence.
Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving. Marseille :
Technical Report (LSIS.RR.2007.002) of the LSIS/Université Paul Cézanne, 2007. |
| 4. | Estombelo-Montesco, Carlos ; Chiodi, Douglas ; KUDO, T. ; NETO, ADOLFO G. S. S. ; PRADO, F. P. A. ; MACEDO, A. A. . Retrieval of document parts using Bayesian Networks and entropy as a degree of (dis)organization. In: INEX 2007 Workshop, 2007, Schloss Dagstuhl. Pre-Proceedings of INEX 2007, 2007. p. 327-336. |
| 5. | NETO, ADOLFO ; FINGER, Marcelo . Effective Prover for Minimal Inconsistency Logic. In: IFIP AI 2006 (part of IIFIP 19th World Computer Congress, 2006), 2006, Santiago, Chile.
ARTIFICIAL INTELLIGENCE IN THEORY AND PRACTICE. Boston :
Springer, 2006. p. 465-474. |
| 6. | NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Implementing a Multi-Strategy Theorem Prover. In: Encontro Nacional de Inteligência Artificial - ENIA, 2005, São Leopoldo - RS. Anais do V Encontro Nacional de Inteligência Artificial, 2005. p. 861-871. |
| 7. | NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Using Aspect-Oriented Programming in the Development of a Multi-Strategy Theorem Prover. In: II Jornada do Conhecimento e da Tecnologia, 2005, Marília-SP. Anais da II Jornada do Conhecimento e da Tecnologia, 2005. |
| 8. | NETO, ADOLFO G. S. S. . Um modelo de dados relacional difuso. In: CONFERENCIA LATINOAMERICANA DE INFORMATICA - CLEI, 1994, CIDADE DO MÉXICO. MEMORIAS DEL XX CLEI, 1994. p. 1329-1341. |
| Resumos expandidos publicados em anais de congressos |
| 1. | NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Effective Prover for Logics of Formal Inconsistency. In: II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP, 2006, São Paulo. II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP, 2006. |
| 2. | NETO, ADOLFO G. S. S. . A Multi-Strategy Tableau Prover. In: I Simpósio de Iniciação Científica e Pós-Graduação do IME-USP, 2005, São Paulo. I Simpósio de Iniciação Científica e Pós-Graduação do IME-USP, 2005. |
| Resumos publicados em anais de congressos |
| 1. | NETO, ADOLFO . O uso de blogs como ferramentas de apoio ao ensino de programação: um estudo de caso. In: VII Simpósio de Produção Científica do Centro Universitário Moura Lacerda, 2007, Ribeirão Preto. VII Simpósio de Produção Científica do Centro Universitário Moura Lacerda, 2007. |
| 2. | NALLIN, W. ; NETO, ADOLFO . Relação entre a Percentagem de Partos Vaginais e a Quantidade de Médicos por Habitante em Cidades Brasileiras de Médio Porte. In: I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007, Curitiba. I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007. |
| 3. | NALLIN, W. ; NETO, ADOLFO . Humanização do parto no Brasil: reflexão e revisão das práticas médicas convencionais. In: I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007, Curitiba. I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007. |
| 4. | NALLIN, W. ; NETO, ADOLFO . Relação entre a Percentagem de Partos Vaginais e a Quantidade de Médicos por Habitante em Cidades Brasileiras de Médio Porte. In: 15º Simpósio Internacional de Iniciação Científica da Universidade de São Paulo, 2007, Ribeirão Preto. 15º Simpósio Internacional de Iniciação Científica da Universidade de São Paulo, 2007. |
| 5. | NETO, ADOLFO G. S. S. . A Multi-Strategy Theorem Prover. In: Workshop Semantics and Meaning, 2005, Campinas. Workshop Semantics and Meaning, 2005. |
| Apresentações de Trabalho |
| 1. | NETO, ADOLFO ; KAESTNER, C. A. A. ; FINGER, Marcelo . A KE Tableau System for the Paraconsistent Logic C1 and an Efficient Implementation of a Theorem Prover for C1. 2009. (Apresentação de Trabalho/Comunicação). |
| 2. | NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Um Provador de Teoremas para Lógicas de Inconsistência Formal. 2006. (Apresentação de Trabalho/Seminário). |
| Demais tipos de produção bibliográfica |
| 1. | NETO, ADOLFO G. S. S. . Modifications on the Implementation of a Framework for Tableau Methods 2003 (Relatório). |
| 2. | MENEZES, E. X. . Fazer, Revisar, Refazer 2003 (Padrão pedagógico). |
| 3. | NETO, ADOLFO G. S. S. . An Introduction to Aspect-Oriented Programming 2003 (Relatório). |
| 4. | NETO, ADOLFO G. S. S. . An Object-Oriented implementation of a KE Tableau Prover 2003 (Relatório). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | NETO, ADOLFO G. S. S. . KEMS - A KE-based Multi-Strategy Theorem Prover. 2006. |
| 2. | NETO, ADOLFO G. S. S. . MSTP - A Multi-Strategy Theorem Prover. 2004. |
Eventos
| Participação em eventos |
| 1. | Science, Truth and Consistency.A KE Tableau System for the Paraconsistent Logic C1 and an Efficient Implementation of a Theorem Prover for C1. 2009. (Encontro). |
| 2. | I Seminário de Docência de Disciplinas de Matemática no Ensino Superior. 2008. (Seminário). |
| 3. | Semana de Empregabilidade e Empreendedorismo (SEEMPRE). 2008. (Encontro). |
| 4. | VII Simpósio de Produção Científica do Centro Universitário Moura Lacerda.O uso de blogs como ferramentas de apoio ao ensino de programação: um estudo de caso. 2007. (Simpósio). |
| 5. | 15º Simpósio Internacional de Iniciação Científica da Universidade de São Paulo.Relação entre a Percentagem de Partos Vaginais e a Quantidade de Médicos por Habitante em Cidades Brasileiras de Médio Porte. 2007. (Simpósio). |
| 6. | Windows Academic Days Brazil (com Arkady Retik e Dave Probert). 2007. (Oficina). |
| 7. | IFIP TC12 and WG12.5 -- Conference and Symposium on Artificial Intelligence.IFIP TC12 and WG12.5 - Conference and Symposium on Artificial Intelligence. 2006. (Congresso). |
| 8. | International Joint Conference - SBIA - IBERAMIA - SBRN. 2006. (Simpósio). |
| 9. | II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP.Effective Prover for Logics of Formal Inconsistency. 2006. (Simpósio). |
| 10. | CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO.IMPLEMENTING A MULTI-STRATEGY THEOREM PROVER. 2005. (Seminário). |
| 11. | CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2003. (Congresso). |
| 12. | Resgatando o conhecimento perdido de como funciona o corpo das mulheres, pela parteira americana Ina May Gaskin, em 8/12/03, carga horária de 4 horas. 2003. (Oficina). |
| 13. | XI Simpósio Brasileiro de Inteligência Artificial. 1994. (Simpósio). |
| Organização de eventos |
| 1. | NETO, ADOLFO G. S. S. . INFOVIEW 2002. 2002. (Outro). |
Orientações
| Orientações em andamento |
| Iniciação científica |
| 1. | Emerson Shigueo Sugimoto. Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia. Início: 2009. Iniciação científica (Graduando em Bacharelado em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Universidade Tecnológica Federal do Paraná. (Orientador). |
| Orientações de outra natureza |
| 1. | Max Raphael Sobroza Marques. Monitoria em Lógica para Computação. Início: 2009. Orientação de outra natureza. Universidade Tecnológica Federal do Paraná. Universidade Tecnológica Federal do Paraná. (Orientador). |
| Supervisões e orientações concluídas |
| Monografia de conclusão de curso de aperfeiçoamento/especialização |
| 1. | Vinicius Henrique Nequel Netto. SISTEMA DE BUSCA DE NÚMEROS PRIMOS USANDO A TECNOLOGIA JAVA COM DISTRIBUIÇÃO DE PROCESSAMENTO. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná. Orientador: Adolfo Gustavo Serra Seca Neto. |
| 2. | Wanessa Vander Brook de Lima. Frameworks Java: Comparação entre JavaServer Faces, Struts e Spring. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná. Orientador: Adolfo Gustavo Serra Seca Neto. |
| Iniciação Científica |
| 1. | Wiviane Rosana Nallin Neto. Análise dos Fatores que Influenciam a Ocorrência de Cesarianas em Ribeirão Preto. 2007. Iniciação Científica. (Graduando em Medicina) - Universidade Positivo. Orientador: Adolfo Gustavo Serra Seca Neto. |
| Orientações de outra natureza |
| 1. | Gilson Roberto Costa. Programa de Assistência ao Ensino (PAE) da UTFPR nas disciplinas Computação 1 e Computação 2. 2009. Orientação de outra natureza. (Engenharia Industrial Elétrica) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Adolfo Gustavo Serra Seca Neto. |
Outras informações relevantes
Desenvolvo um software de código-aberto (KEMS - Um provador de teoremas multi-estratégia) utilizando as linguagens Java e AspectJ. Neste software apliquei padrões de projeto orientado a objetos e técnicas de inteligência artificial..
|
| Página gerada pelo Sistema Currículo Lattes em 09/02/2010 às 21:04:12 |