| |
Últimos avisos
22/07/2008 - 13:14
Desde 22/07/2008 sou professor na UTFPR, Campus Curitiba.
|
| |
Adolfo Neto's Homepage (in English)
Meu curriculum vitae (Lattes)
Meu blog
Mini currículo
Professor Adjunto I do Departamento de Ciência da Computação da Universidade do Estado de Santa Catarina (UDESC), na área de Teoria da Computação.
Formação Acadêmica:
Já foi professor da UFAL, do CEFET-AL, do CEFET-SP, do IPEP-Campinas e da PUC-Campinas.
Possui experiência profissional como desenvolvedor de software, tendo trabalhado na Inmetrics (Campinas).
Áreas de interesse
- Lógica Aplicada à Computação
- Provadores de teoremas baseados em tablôs
- Tablôs KE
- Lógica paraconsistente
- Lógicas de inconsistência formal
- Teoria da Computação
- Complexidade de sistemas dedutivos
- "Inteligência" Artificial
- "Aprendizado" de máquina com redes bayesianas
- Recuperação de informação (RI)
- Desenvolvimento de software
- Metodologias de desenvolvimento ágil
- Programação orientada a aspectos
- Software livre
Publicações
|
|
|
Últimas notícias
08/03/2010 -
2º Prêmio Ciser de Inovação Tecnológica distribui R$ 48 mil aos melhores projetos
[mais]
05/03/2010 -
Udesc divulga lista de quarta chamada do vestibular [mais]
Avisos / Eventos
12/03 - PALESTRA PRÊMIO CISER DE INOVAÇÃO TECNOLÓGICA - 11h no Auditório do Bloco F, inscrições para o Mini-Curso será durante a apresentação.
13/03 - 16h Outorga de Grau - dos Cursos de Licenciatura em Física, Ciência da Computação e Tecnologia em Sistemas de Informação no Pavilhão Nilson Bender, Expoville
|

|