Adolfo Neto
De Wiki DAINF
(Diferença entre revisões)
| Linha 13: | Linha 13: | ||
== Pesquisa == | == Pesquisa == | ||
| − | [[Provadores de Teoremas]] | + | |
| + | '''Temas de interesse''' | ||
| + | * [[Provadores de Teoremas]] | ||
| + | |||
| + | '''Grupos de pesquisa cadastrados no CNPq''' | ||
| + | * [http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B Inteligência Computacional] | ||
| + | * [http://www.ime.usp.br/~liamf/ LIAMF - USP] | ||
| + | |||
| + | '''Projetos de pesquisa''' | ||
| + | * [http://kems.iv.fapesp.br KEMS] | ||
Edição de 14h11min de 7 de outubro de 2008
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
2008.2
- Computação 1
- Computação 2
- Informática 1
Pesquisa
Temas de interesse
Grupos de pesquisa cadastrados no CNPq
Projetos de pesquisa
