Ver código-fonte

[[Imagem:adolfoneto.jpg|120px]]

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 [http://lattes.cnpq.br Lattes]) pode ser encontrado [http://lattes.cnpq.br/0071119715272492 aqui] e sua página  [http://www.dainf.ct.utfpr.edu.br/~adolfo aqui].

== Endereço eletrônico (''e-mail'') ==

adolfo (EM) utfpr.edu.br

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

== 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''' 
* [http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B Inteligência Computacional]
* [http://www.ime.usp.br/~liamf/ Lógica, Inteligência Artificial e Métodos Formais (LIAMF) - USP]
** [http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=0067103BAO74E0 Página do LIAMF no CNPq]

'''Projetos de pesquisa''' 
* [http://kems.iv.fapesp.br KEMS]