Pessoas

Paulo Augusto Veloso
Professores Convidados
Professor Titular Aposentado - Pesquisador CNPq 1B
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

 

Inteligência Artificial
+55-21-3938-8710
Sala H-304 Gab. 04
Topo