Sou ex-professor do CEFET-SP na unidade de Sertãozinho.
Clique aqui para acessar para meu blog
Clique aqui para ver a temperatura na sala dos professores do CEFET-SP, UNED Sertãozimho
Ensino
2007:
- "Lógica de Programação" para os cursos técnicos de Automação Industrial e Mecânica.
Pesquisa
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.
Meu currículo lattes pode ser acessado clicando aqui.
Minha tese "Um Provador de Teoremas
Multi-Estratégia" pode ser acessada a partir do site da Biblioteca Digital de Teses e
Dissertações da USP por este
link. Meu orientador no Doutorado foi o
Prof. Dr. Marcelo Finger.
Como parte do trabalho de
tese, implementei o KEMS,
um provador de teoremas multi-estratégia baseado em tablôs.
Antes disso, fiz mestrado em
Ciência da Computação no Centro de Informática da Universidade Federal de Pernambuco - UFPE, sob a orientação do
Prof. Dr. Ruy de Queiroz.
Minha dissertação, Usando Lógica para
Concorrência,
um Estudo Crítico (em inglês) está
disponível
aqui.