People
Pessoas
Paulo Augusto Veloso
Former Faculty
Full Professor - Researcher CNPq SR
1975
Ph.D., 1975, Berkeley
Áreas de Interesse
- Especificações Formais
- Tipos e Estruturas de Dados
- Metodologia de Programação
- Teoria de Problemas e de Algoritmos
- Fundamentos da Computação
- Lógica e Fundamentos da Matemática
- Teoria Matemática de Sistemas
Artificial Intelligence
+55-21-3938-8710
This email address is being protected from spambots. You need JavaScript enabled to view it.
Sala H-304 Gab. 04
