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.
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.