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.

Disciplinas lecionadas

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

• Inteligência Computacional
• LIAMF - USP

Projetos de pesquisa

• KEMS