Foto pessoal

Adolfo Neto

[english version]


Atuação Profissional
 

Atualmente sou professor no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR).

Clique aqui para acessar minha página atual no DAINF-UTFPR.

Veja meu currículo Lattes no sítio do CNPq.



Dados Acadêmicos  

Meu nome completo é Adolfo Gustavo Serra Seca Neto. Sou Doutor em Ciência da Computação pelo Instituto de Matemática e Estatística - IME da Universidade de São Paulo - USP. Minha tese "Um Provador de Teoremas Multi-Estratégia" está disponível aqui (em PDF). A tese pode também ser acessada a partir do site da Biblioteca Digital de Teses e Dissertações da USP por este link.

Como parte do trabalho de tese, implementei o KEMS, um provador de teoremas multi-estratégia baseado em tablôs.

Faço parte do projeto ConsRel: Logical Consequence and Combinations of Logics. Entre outras tarefas, mantenho a página do projeto.

Meu orientador no Doutorado foi o Prof. Dr. Marcelo Finger. As disciplinas que fiz durante o Doutorado estão em disciplinas.

Antes disso, fiz mestrado em Ciência da Computação  no Centro de Informática da Universidade Federal de Pernambuco - UFPE. Minha dissertação, Usando Lógica para Concorrência, um Estudo Crítico (em inglês) está disponível aqui.



Publicações

Slides e outros materiais

Blogs: Pesquisa no Brasil, Professor Adolfo Neto, Seminários de Lógica.


Páginas

Professor Valdemar Setzer   - Página com diversos textos contra o uso de computadores na educação, entre outros temas interessantes.



Para entrar em contato comigo, envie email  para  adolfo.usp % gmail.com (substitua o % por @).