Edward Hermann Haeusler
Professor Associado

Curriculo Lattes
Áreas de Pesquisa
Bolsas de Produtividade: CNPq Nível 2
Tel: +55 21 3527-1500 ramal 4345
Sala: 515 RDC
Email: hermann@inf.puc-rio.br
Biografia
Edward Herman Haeusler é professor associado da PUC-Rio e tem como area de atuação a Ciencia da Computação voltada a Computabilidade e Modelos de Computação. Nesse setor pesquisa teoria da prova, proof theory, teoria das
categorias, semântica formal e Lógica. Possui graduação em Matemática pela Universidade de Brasília (1983), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1986) e doutorado em Informática também pela PUC-Rio (1990).