Adolfo Neto

Adolfo Neto é Professor de Magistério Superior do Departamento de Informática (DAINF) da Universidade Tecnológica Federal do Paraná (UTFPR) desde 22/07/2008. Seu Curriculum Vitae (no Lattes) pode ser encontrado aqui e sua página aqui.

Endereço eletrônico (e-mail)

adolfo (EM) utfpr.edu.br

Trocar o "(EM)" pelo símbolo "@".

Disciplinas lecionadas

2010.1

• Lógica para Computação
• Matemática Discreta
• Teoria da Computação
• Metodologias Ágeis para o Desenvolvimento de Software

2009.2

• Lógica para Computação
• Matemática Discreta

2009.1

• Lógica para Computação
• Computação 2

2008.2

• Computação 1
• Computação 2
• Informática 1

Pesquisa

Temas de interesse

• Provadores de Teoremas

Grupos de pesquisa cadastrados no CNPq

• Grupo de Pesquisa em Inteligência Computacional
  • Página do Grupo de Pesquisa em Inteligência Computacional no CNPq
• Lógica, Inteligência Artificial e Métodos Formais (LIAMF) - USP
  • Página do LIAMF no CNPq

Projetos de pesquisa

• KEMS

• Adolfo Neto's publications