Telefones do PESC

Corpo Docente

Nome
Paulo Augusto Veloso
Categoria
Professores Plenos
Cargo
Professor Titular - Pesquisador CNPq 1B
Foto
Biografia

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

 

Linha de Pesquisa
Inteligência Artificial
Telefone
+55-21-3938-8710
Fax
Website
Localização
Sala H-304 Gab. 04
Lattes

bak_categories

Categoria
Professores Plenos
Name
Full Teachers
Tipo da pessoa
Professor
Topo