Accessibility Tools
Invert colors
Monochrome
Dark contrast
Light contrast
Low saturation
High saturation
Highlight links
Highlight headings
Screen reader
Read mode
Content scaling
100
%
Font size
100
%
Line height
100
%
Letter spacing
100
%
Portal do Governo Brasileiro
O PESC
Sobre o pesc
Coordenação
Atuais
Anteriores
Comissões
Representantes
Linhas de Pesquisa
Áreas Interdisciplinares
Rede de Colaboração
Atual
Comemorativa 50 anos
Graduação
Sobre o Curso
Calendário acadêmico
Comunicação Visual
Seleção
Mestrado
Doutorado
Pós-Doutorado
Iniciação Científica
Acadêmica
Calendário Acadêmico
Disciplinas
Normas e Diretrizes
Atos Acadêmicos
Teses e Dissertações
Turmas
Pessoas
Professores
Plenos
Eméritos
Colaboradores
Anteriores
Técnicos-Administrativos
Atuais
Anteriores
Pós-Doutorandos
Atuais
Anteriores
Alunos
Atuais
Egressos
Laboratórios
Destaques
Notícias
Eventos
Ciclo de Seminários
Semana PESC
Prêmios
Oportunidades
FAQ
Contato
Você está aqui:
Início
Acadêmica
Turmas
veloso
Calendário Acadêmico
Disciplinas
Normas e Diretrizes
Atos Acadêmicos
Teses e Dissertações
Turmas
Turmas
Pessoas
Pessoas
Nome
Paulo Augusto Veloso
Categoria
Ex Professoras e Ex Professores
Cargo
Professor Titular Aposentado - Pesquisador CNPq SR
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
E-mail
Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
Website
Localização
Sala H-304 Gab. 04
Lattes
Orcid
Cancelar
.png)
.png)
