Adolfo Gustavo Serra Seca Neto

  • Endereço para acessar este CV: http://lattes.cnpq.br/0071119715272492
  • Última atualização do currículo em 27/08/2018


É 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. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software (métodos ágeis) e Inteligência Artificial (Lógica Aplicada à Computação: tablôs, provadores automáticos de teoremas e lógicas paraconsistentes). Desenvolveu, junto com Marcelo Finger, o KEMS, um provador de teoremas multi-estratégia. Passou um ano sabático participando do grupo de pesquisas Realsearch, coordenado pela professora Laurie Williams, na North Carolina State University. (Texto informado pelo autor)


Identificação


Nome
Adolfo Gustavo Serra Seca Neto
Nome em citações bibliográficas
NETO, Adolfo;NETO, ADOLFO G. S. S.;SERRA-SECA-NETO, ADOLFO G.;NETO, ADOLFO GUSTAVO SERRA SECA;NETO, ADOLFO GUSTAVO S. S.;SERRA SECA NETO, ADOLFO GUSTAVO;NETO, ADOLFO G. SERRA SECA;SECA NETO, ADOLFO GUSTAVO SERRA;GUSTAVO SERRA SECA NETO, ADOLFO;NETO, AGSS;SECA NETO, A. G. S.

Endereço


Endereço Profissional
Universidade Tecnológica Federal do Paraná, Campus Curitiba, Departamento de Informática - DAINF.
Av. Sete de Setembro, 3165
Rebouças
80230901 - 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
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, CNPq, Brasil.
Palavras-chave: LÓGICA; LÓGICA LINEAR; CONCORRÊNCIA; SISTEMAS DEDUTIVOS ROTULADOS.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
2002 interrompida
Aperfeiçoamento interrompido em 2003 em Formação Pedagógica.
Instituto Federal de Alagoas - Matriz, 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, FAPEAL, Brasil.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
North Carolina State University, NCSU, Estados Unidos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra


Formação Complementar


2008 - 2008
Introdução ao Desenvolvimento Ágil Utilizando XP. (Carga horária: 8h).
Fundação Educacional do Município de Assis, FEMA, Brasil.
2003 - 2003
Padrões de Projeto. (Carga horária: 8h).
Centro de Ensino de Computação, CEC, Brasil.
1999 - 1999
Curso Prático de Comunicação Verbal. (Carga horária: 12h).
Instituto Carlos Conce, ICC, Brasil.
1996 - 1996
Oratória. (Carga horária: 15h).
Instituto Carlos Conce, ICC, Brasil.
1992 - 1992
Intermediate English.
Yázigi International, YI, Estados Unidos.


Atuação Profissional



Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
Vínculo institucional

2008 - Atual
Vínculo: , Enquadramento Funcional: Professor de Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2013 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
METODOLOGIAS ÁGEIS PARA O DESENVOLVIMENTO DE SOFTWARE
10/2013 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados II
06/2010 - Atual
Ensino, Computação Aplicada, Nível: Pós-Graduação

Disciplinas ministradas
Metodologias Ágeis para o Desenvolvimento de Software
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, 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.
07/2008 - Atual
Pesquisa e desenvolvimento , Campus Curitiba, Departamento de Informática - DAINF.

07/2008 - Atual
Pesquisa e desenvolvimento , Campus Curitiba, .

Linhas de pesquisa
Inteligência Artificial
04/2013 - 09/2013
Ensino, Computação Aplicada, Nível: Pós-Graduação

Disciplinas ministradas
Metodologia da Pesquisa
04/2011 - 06/2012
Direção e administração, Campus Curitiba, Departamento de Informática - DAINF.

Cargo ou função
Coordenador de Curso.
08/2009 - 07/2010
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
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,

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

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.

03/2003 - Atual
Pesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.

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".

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

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, 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
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

Instituto Federal 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,

Disciplinas ministradas
Informática Básica
02/2008 - Atual
Ensino, Fabricação Mecânica, Nível: Graduação

Disciplinas ministradas
Informática
08/2007 - 12/2007
Ensino,

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, .


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, Administração de Redes, Nível: Graduação

Disciplinas ministradas
Computação Instrumental
08/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Banco de Dados Orientado a Objetos

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.

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



Linhas de pesquisa


1.
Lógica Aplicada à Computação
2.
Provadores Automáticos de Teoremas
3.
Aprendizagem de Máquina
4.
Recuperação de Informação
5.
Desenvolvimento Ágil de Software
6.
Manutenção de Software
7.
Métodos Ágeis para o Desenvolvimento de Software
8.
Lógica para Computação
9.
Inteligência Artificial


Projetos de pesquisa


2012 - Atual
Cooperação Técnico-Científica com o Tribunal de Contas do Estado do Paraná (TCE/PR)
Descrição: Cooperação intergovernamental e interinstitucional técnica e científica em Tecnologia da Informação, nas áreas de Engenharia de Software e Sistemas de Informação por meio de atividades de formação e aperfeiçoamento profissional, inclusive mediante a concessão de bolsas de pesquisa para alunos de graduação, mestrado e doutorado da UTFPR;.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado profissional: (1) .
Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador / Maria Claudia Figueiredo Pereira Emer - Integrante / Heitor Silvério Lopes - Integrante / Gustavo Alberto Gimenez Lugo - Integrante / Laudelino Bastos - Integrante / Ernesto Luis Malta Rodrigues - Integrante.
2008 - Atual
Reengenharia de um demonstrador de teoremas multi-estratégia
Descrição: Este é um projeto de pesquisa básica na área de lógica e semântica de programas. O objetivo é desenvolver uma nova versão (a versão 2.0) do demonstrador de teoremas KEMS, um demonstrador de teoremas multi-estratégia baseado em tablôs..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador / Marcelo Finger - Integrante / CELSO KAESTNER - Integrante / Emerson Shigueo Sugimoto - Integrante / Murilo Vicente Gonçalves da Silva - Integrante.Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2007 - 2007
FAPESP TIDIA-Aprendizado Eletrônico Fase 2
Situação: Concluído; Natureza: Pesquisa.
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 profissional: (0) / Doutorado: (0) .
Integrantes: Adolfo Gustavo Serra Seca Neto - Integrante / Marcelo Finger - Integrante / Walter Carnielli - Coordenador / Marcelo Coniglio - 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.


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
2012 - Atual
Periódico: RESI : Revista Eletrônica de Sistemas de Informação
2012 - Atual
Periódico: Journal of Logic and Computation (Online)
2013 - Atual
Periódico: Revista de Informática Teórica e Aplicada: RITA


Revisor de projeto de fomento


2011 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software (Métodos Ágeis).
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lógica Aplicada à Computação.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.


Idiomas


Inglês
Compreende Bem, Fala Bem, 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 Sistemas Pleno da IMA, CAIPIMES.
2004
Aprovação em Concurso Público para ANALISTA DE DESENVOLVIMENTO DE SISTEMAS da UNICAMP, UNICAMP.
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ções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:1
Total de citações:2
Fator H:1
Neto, Adolfo GSS  Data: 05/10/2017

SCOPUS
Total de trabalhos:6
Total de citações:8
Neto, Adolfo Gustavo Serra Seca  Data: 27/07/2018

Outras
Total de trabalhos:15
Total de citações:80
Adolfo Gustavo Serra Seca Neto (Adolfo Neto)  Data: 27/07/2018

Artigos completos publicados em periódicos

1.
BISSI, WILSON2016BISSI, WILSON ; SERRA SECA NETO, ADOLFO GUSTAVO ; EMER, MARIA CLAUDIA FIGUEIREDO PEREIRA . The Effects of Test Driven Development on Internal Quality, External Quality and Productivity: A systematic review. Information and Software Technology, v. 74, p. 45-54, 2016.

2.
CHIARELLO, MARCOS A.2014CHIARELLO, MARCOS A. ; EMER, MARIA CLÁUDIA F. P. ; NETO, ADOLFO GUSTAVO S. S. . An Approach of Software Requirements Elicitation Based on the Model and Notation Business Process (BPMN). Lecture Notes on Software Engineering, v. 2, p. 65-70, 2014.

3.
SANTOS, P. H.2013SANTOS, P. H. ; BETINI, R. C. ; NETO, ADOLFO G. S. S. . Scrum em sistemas heterogêneos e equipes distribuídas. Engenharia de Software Magazine, v. 55, p. 1, 2013.

4.
NETO, ADOLFO2009NETO, 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.

Livros publicados/organizados ou edições
1.
SANTOS, V. A. (Org.) ; PINTO, G. H. L. (Org.) ; NETO, ADOLFO G. SERRA SECA (Org.) . Agile Methods. 1. ed. , 2018. v. 1.

2.
SERRA-SECA-NETO, ADOLFO G.. A Multi-Strategy Tableau Prover. 1. ed. Saarbrucken: Novas Edições Acadêmicas, 2017. v. 1. 164p .

Capítulos de livros publicados
1.
Salinas, Myrian R. Noguera ; NETO, ADOLFO G. SERRA SECA ; EMER, Maria Claudia F. P. . Concerns and Limitations in Agile Software Development: A Survey with Paraguayan Companies. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2018, v. , p. 77-87.

2.
Aquino, Nelson Marcelo Romero ; NETO, ADOLFO GUSTAVO SERRA SECA ; Lopes, Heitor Silvério . A Study on the Perception of Researchers About the Application of Agile Software Development Methods in Research. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2018, v. , p. 137-145.

3.
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. 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.
BASNIAK, R. ; SERRA SECA NETO, ADOLFO GUSTAVO ; BASTOS, LC ; EMER, Maria Claudia F. P. . Métodos Evolucionários e o Next Release Problem. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2017, Fortaleza. Anais do VIII Workshop de Engenharia de Software Baseada em Busca (WESB), 2017. v. 1. p. 1-10.

2.
LUZ, RAMIRO BATISTA DA ; NETO, ADOLFO GUSTAVO SERRA SECA ; NORONHA, ROBINSON VIDA . Teaching TDD, the Coding Dojo Style. In: 2013 IEEE 13th International Conference on Advanced Learning Technologies (ICALT), 2013, Beijing. 2013 IEEE 13th International Conference on Advanced Learning Technologies, 2013. p. 371.

3.
LIMA, V. C. M. ; NETO, ADOLFO G. S. S. ; EMER, Maria Claudia F. P. . Investigação experimental e Práticas ágeis: ameaças à validade de experimentos envolvendo a prática ágil Programação em Par. In: Workshop Brasileiro de Métodos Ágeis, 2012, São Paulo. 3rd Brazilian Workshop on Agile Methods (WBMA?2012), 2012.

4.
LUZ, R. B. ; NETO, ADOLFO . Usando Dojos de Programação para o Ensino de Desenvolvimento Dirigido por Testes. In: Simpósio Brasileiro de Informática na Educação, 2012, Rio de Janeiro. Anais do Simpósio Brasileiro de Informática na Educação 2012. -: -, 2012. v. 1. p. 1-1.

5.
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.

6.
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.

7.
NETO, Adolfo; 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.

8.
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.

9.
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.

10.
NETO, Adolfo; 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.

11.
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.

12.
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.
RANGEL, J. A. ; EMER, Maria Claudia F. P. ; NETO, ADOLFO G. S. S. . SBGames - Simpósio Brasileiro de Jogos e Entretenimento Digital. In: Anais do http://www.dainf.ct.utfpr.edu.br/~adolfo/dokuwiki/doku.php?id=201:jogo_encontre_a_fraude, 2017, Curitiba. Anais do Simpósio Brasileiro de Jogos e Entretenimento Digital 2017, 2017. v. 1. p. 1.

2.
LIMA, V. C. M. ; EMER, Maria Claudia F. P. ; SERRA-SECA-NETO, ADOLFO G. . Experiência bem-sucedida de adoção de Métodos Ágeis em uma Empresa Pública de Tecnologia da Informação e Comunicação: um relato preliminar. In: 4th Brazilian Workshop on Agile Methods (WBMA?2013), 2013, Brasília. Proceeding of the 4th Brazilian Workshop on Agile Methods (WBMA?2013), 2013.

3.
SUGIMOTO, E.S. ; NETO, ADOLFO . Representação de Fórmulas Lógicas através de Estruturas de Dados. In: Seminário de Iniciação Científica e Tecnológica da UTFPR (SICITE), 2011, Ponta Grossa. Anais do Seminário de Iniciação Científica e Tecnológica da UTFPR (SICITE). Ponta Grossa: UTFPR, 2011.

4.
NETO, ADOLFO. KEMS - Um demonstrador de teoremas multi-estratégia. In: FREEBASE 2010 - WORKSHOP DE SOFTWARE LIVRE BAHIA-ALAGOAS-SERGIPE, 2010, Maceió. FREEBASE 2010 - WORKSHOP DE SOFTWARE LIVRE BAHIA-ALAGOAS-SERGIPE, 2010.

5.
NETO, Adolfo; 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.

6.
NETO, Adolfo. 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. A Multi-Strategy Theorem Prover. In: Workshop Semantics and Meaning, 2005, Campinas. Workshop Semantics and Meaning, 2005.

Apresentações de Trabalho
1.
SUGIMOTO, E.S. ; NETO, ADOLFO . On the Representation of Propositional Logic Formulas in Object-Oriented Programming Languages. 2011. (Apresentação de Trabalho/Outra).

2.
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).

3.
NETO, Adolfo; FINGER, Marcelo . Um Provador de Teoremas para Lógicas de Inconsistência Formal. 2006. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
MENEZES, E. X. . Fazer, Revisar, Refazer 2003 (Padrão pedagógico).

2.
NETO, Adolfo. An Introduction to Aspect-Oriented Programming 2003 (Relatório).

3.
NETO, Adolfo. An Object-Oriented implementation of a KE Tableau Prover 2003 (Relatório).

4.
NETO, Adolfo. Modifications on the Implementation of a Framework for Tableau Methods 2003 (Relatório).


Produção técnica
Programas de computador sem registro
1.
SERRA SECA NETO, ADOLFO GUSTAVO. Testes Automatizados para Lógica Clássica Proposicional. 2018.

2.
NETO, ADOLFO. Logicamente-UTFPR. 2010.

3.
NETO, Adolfo. KEMS - A KE-based Multi-Strategy Theorem Prover. 2006.

4.
NETO, Adolfo. MSTP - A Multi-Strategy Theorem Prover. 2004.

Redes sociais, websites e blogs
1.
NETO, Adolfo. Adolfo Neto's Twitter account. 2018; Tema: Software engineering, logic, science and related topics. (Rede social).

2.
SECA NETO, A. G. S.. Adolfo Neto's Medium. 2017; Tema: Programming (Elixir), logic and Deep Work.. (Blog).

3.
SECA NETO, A. G. S.. Qual é o Nome deste Blog?. 2012. (Blog).


Demais tipos de produção técnica
1.
NETO, ADOLFO. Métodos Ágeis para o Desenvolvimento de Software. 2010. (Curso de curta duração ministrado/Extensão).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SECA NETO, A. G. S.; BASTOS, LC; PEREIRA, R.. Participação em banca de JEAN AVILA RANGEL. Jogo sério para ensino e prática de detecção de outliers. 2018. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

2.
PIMENTEL, A. R.; SECA NETO, A. G. S.; VERGILIO, S. R.. Participação em banca de ANGELA CRISTINA PEREIRA. User Story Generation through Software Specification in Natural language. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

3.
SERRA-SECA-NETO, ADOLFO G.; WEHRMEISTER, M. A.; FONTANA, R. M.. Participação em banca de Wilson Bissi. WS-TDD - Uma abordagem ágil para o desenvolvimento de serviços web. 2016. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

4.
BASTOS, LC; SERRA-SECA-NETO, ADOLFO G.; PIMENTEL, A. R.; KOZIEVITCH, N. P.. Participação em banca de André Augusto Tissot. Influência da Revisão de Atividades Executadas para Melhoria da Acurácia na Estimativa de Software Utilizando Planning Poker. 2015. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

5.
SERRA-SECA-NETO, ADOLFO G.; REINEHR, Sheila; NORONHA, RV; EMER, Maria Claudia F. P.. Participação em banca de Vagner Carlos Marcolino Lima. Programação em Par: investigando sua eficácia perante tarefas de modelagem e construção de software. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

6.
BASTOS, LC; EMER, Maria Claudia F. P.; REINEHR, Sheila; SERRA-SECA-NETO, ADOLFO G.. Participação em banca de Marcelo Fermann Guimarães. Análise do Processo de Manutenção de Software com Enfoque na Utilização dos Custos de Mudanças. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

7.
WASSERMANN, R.; COZMAN, F.; SERRA-SECA-NETO, ADOLFO G.. Participação em banca de Renato Urquiza Lundberg. Análise Empírica de Algoritmos de Revisão sobre Bases de Crenças. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

8.
SERRA-SECA-NETO, ADOLFO G.; EMER, Maria Claudia F. P.; PIMENTEL, A. R.. Participação em banca de Ramiro Batista da Luz. A Influência do Dojo de Programação no Ensino de Práticas Ágeis. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

9.
LUGO, G. A. G.; TACLA, C.A.; NETO, ADOLFO. Participação em banca de Josivan Pereira de Souza. Uma Arquitetura para Computação Sensível ao Contexto Apliacada a Processos de Software. 2012. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.

Teses de doutorado
1.
TACLA, C.A.; BORDINI, R. H.; SCALABRIN, E. E.; SECA NETO, ADOLFO GUSTAVO SERRA; LUGO, G. A. G.. Participação em banca de Miriam Mariela Mercedes Morveli Espinoza. Cálculo da Força de Argumentos Retóricos e sua Utilização em Diálogos de Negociação Persuasiva em Sistemas Multi-agente. 2018. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

2.
SILVA, F.; FINGER, Marcelo; SERRA SECA NETO, ADOLFO GUSTAVO; DIRENE, A. I.; CARMO, R.. Participação em banca de Bruno César Ribas. Um Método de Pré-Processamento de Fórmulas SAT e Pseudo-boolean baseado em técnicas de Programação Linear Inteira Mista. 2015. Tese (Doutorado em Informática) - Universidade Federal do Paraná.

3.
NETO, ADOLFO G. S. S.. Participação em banca de Ivonei Freitas da Silva. A Scrum-inspired approach for the Software Product Line scoping. 2013. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.

Qualificações de Doutorado
1.
SCALABRIN, E. E.; BORDINI, R. H.; SERRA SECA NETO, ADOLFO GUSTAVO. Participação em banca de Miriam Mariela Morveli. Cálculo da força de argumentos retóricos e sua aplicação em diálogos de negociação persuasiva em sistemas multi-agente. 2015. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Trabalhos de conclusão de curso de graduação
1.
NETO, ADOLFO; LOPES, H. S.; LUGO, G. A. G.. Participação em banca de Emerson Shigueo Sugimoto.Otimização de Métodos de Prova em Tablôs KE através da Aplicação de uma Heurística baseada em Algoritmos Genéticos. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná.



Participação em bancas de comissões julgadoras
Outras participações
1.
DELGADO, Myriam R. B. S.; GONÇALVES, Marcelo M.; NETO, ADOLFO G. S. S.. Processo Seletivo para Professor de Ensino Básico, Técnico e Tecnológico no Campus Curitiba. 2009. Universidade Tecnológica Federal do Paraná.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Elixir Brasil 2018. 2018. (Congresso).

2.
Congresso Brasileiro de Software. 2017. (Congresso).

3.
Meetup Elixir Curitiba.Programando em Elixir: um ponto de vista acadẽmico. 2017. (Encontro).

4.
Semana Technológica 2017.Programando em Elixir. 2017. (Outra).

5.
Workshop de Engenharia de Software Baseada em Busca (WESB).Métodos Evolucionários e o Next Release Problem. 2017. (Oficina).

6.
Workshop de Teses e Dissertações em Engenharia de Software. 2017. (Oficina).

7.
SalaMundo 2011 - Encontro Internacional de Educação. 2011. (Encontro).

8.
Simpósio Brasileiro de Qualidade de Software.Pesquisa em Métodos Ágeis para o Desenvolvimento de Software. 2011. (Simpósio).

9.
12o. Encontro Locaweb. 2010. (Encontro).

10.
Final Brasileira da Maratona de Programação.Coach on-site da equipe "Sudo make a sandwich". 2010. (Outra).

11.
Python Brasil http://www.pythonbrasil.org.br/2010. 2010. (Encontro).

12.
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).

13.
I Seminário de Docência de Disciplinas de Matemática no Ensino Superior. 2008. (Seminário).

14.
Semana de Empregabilidade e Empreendedorismo (SEEMPRE). 2008. (Encontro).

15.
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).

16.
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).

17.
Windows Academic Days Brazil (com Arkady Retik e Dave Probert). 2007. (Oficina).

18.
IFIP TC12 and WG12.5 -- Conference and Symposium on Artificial Intelligence. IFIP TC12 and WG12.5 - Conference and Symposium on Artificial Intelligence. 2006. (Congresso).

19.
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).

20.
International Joint Conference - SBIA - IBERAMIA - SBRN. 2006. (Simpósio).

21.
CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO.IMPLEMENTING A MULTI-STRATEGY THEOREM PROVER. 2005. (Seminário).

22.
CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2003. (Congresso).

23.
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).

24.
XI Simpósio Brasileiro de Inteligência Artificial. 1994. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
NETO, AGSS; SALINAS, M.R.N. ; POLIZELO, IANCA ; RANGEL, J. A. ; OLIVEIRA, P. C. . Coding Dojo com Elixir no Dia Internacional da Mulher. 2018. (Outro).

2.
NETO, AGSS. Global Day of Coderetreat - Curitiba. 2017. (Outro).

3.
NETO, ADOLFO G. S. S.. Sétima Semana Acadêmica de Informática. 2010. (Outro).

4.
NETO, ADOLFO G. S. S.. INFOVIEW 2002. 2002. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Elizabete Yanase Hirabara Bento. A definir. Início: 2017. Dissertação (Mestrado profissional em Computação Aplicada) - Universidade Tecnológica Federal do Paraná. (Orientador).

2.
Paulo Cezar De Oliveira. A definir. Início: 2017. Dissertação (Mestrado profissional em Computação Aplicada) - Universidade Tecnológica Federal do Paraná. (Orientador).

3.
Jean Avila Rangel. A definir. Início: 2016. Dissertação (Mestrado profissional em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, Tribunal de Contas do Estado do Paraná. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Claudio Marcio Felisbino. Ferramenta para o apoio ensino-aprendizagem do modelo orientado a objetos durante a construção do Diagrama de Classes. 2017. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, . Coorientador: Adolfo Gustavo Serra Seca Neto.

2.
Jader Elias Mero. Priorização de testes de sistema automatizados por meio de grafos de chamadas. 2016. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, . Coorientador: Adolfo Gustavo Serra Seca Neto.

3.
Wilson Bissi. WS-TDD: uma abordagem ágil para o desenvolvimento de serviços WEB. 2016. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, . Orientador: Adolfo Gustavo Serra Seca Neto.

4.
Ramiro Batista da Luz. A Influência do Dojo de Programação no Ensino de Práticas Ágeis. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, . Orientador: Adolfo Gustavo Serra Seca Neto.

5.
Itelvina Silva de Oliveira. Teste baseado em defeitos para ambientes de Data Warehouse. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, Tribunal de Contas do Estado do Paraná. Coorientador: Adolfo Gustavo Serra Seca Neto.

6.
Vagner Carlos Marcolino Lima. Programação em Par: investigando sua eficácia perante tarefas de modelagem e construção de software. 2011. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, . Orientador: Adolfo Gustavo Serra Seca Neto.

7.
Marcos Antônio Chiarello. Abordagem para a elicitação de requisitos de software baseada em modelo de processo de negócio. 2011. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, . Coorientador: Adolfo Gustavo Serra Seca Neto.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Geucimar Brilhador. REEXPLORER: Uma Ferramenta de Suporte à Engenharia de Requisitos. 2013. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná. Orientador: Adolfo Gustavo Serra Seca Neto.

2.
Filipe Testa Daros. Detecção de Engarrafamentos através de smartphones. 2012. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná. Orientador: Adolfo Gustavo Serra Seca Neto.

3.
Anderson Soltovski. Aplicação para gestantes en dispositivos móveis utilizando armazenamento e sincronização em nuvem. 2012. Monografia. (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná. Orientador: Adolfo Gustavo Serra Seca Neto.

4.
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.

5.
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.

Trabalho de conclusão de curso de graduação
1.
Emerson Shigueo Sugimoto. Otimização de Métodos de Prova em Tablôs KE através da Aplicação de uma Heurística baseada em Algoritmos Genéticos. 2013. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná. Orientador: Adolfo Gustavo Serra Seca Neto.

Iniciação científica
1.
ANDREAS GRASE. Reengenharia de um demosntrador automático de teoremas. 2011. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária. Orientador: Adolfo Gustavo Serra Seca Neto.

2.
Emerson Shigueo Sugimoto. Design de Fórmulas Lógicas. 2010. Iniciação Científica. (Graduando em Bacharelado em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, UTFPR. Orientador: Adolfo Gustavo Serra Seca Neto.

3.
Emerson Shigueo Sugimoto. Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia. 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: Adolfo Gustavo Serra Seca Neto.

4.
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.

2.
Max Raphael Sobroza Marques. Monitoria em Lógica para Computação. 2009. Orientação de outra natureza. (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Universidade Tecnológica Federal do Paraná. Orientador: Adolfo Gustavo Serra Seca Neto.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
NETO, AGSS. Global Day of Coderetreat - Curitiba. 2017. (Outro).


Redes sociais, websites e blogs
1.
SECA NETO, A. G. S.. Adolfo Neto's Medium. 2017; Tema: Programming (Elixir), logic and Deep Work.. (Blog).

2.
SECA NETO, A. G. S.. Qual é o Nome deste Blog?. 2012. (Blog).

3.
NETO, Adolfo. Adolfo Neto's Twitter account. 2018; Tema: Software engineering, logic, science and related topics. (Rede social).



Outras informações relevantes


Outras atividades: http://www2.dainf.ct.utfpr.edu.br/Members/adolfo/atividades/atividades

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 19/11/2018 às 10:14:55