Telefones do PESC

Corpo Docente

Paulo Augusto Veloso
Professores Plenos
Professor Titular - Pesquisador CNPq 1B

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

bak_categories

Professores Plenos
Full Teachers
Professor
Topo