PESC phones

Corpo Docente

Paulo Augusto Veloso
Full Professor - Researcher 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
JSN_TPLFW_GOTO_TOP