Edward Hermann Haeusler
Professor Associado
Short Bio
Edward Herman Haeusler é professor do quadro principal do DI da PUC-Rio e o atual coordenador do programa de Pós-graduação em Informática.
Curriculo Lattes
Colaborador de Laboratório
Bolsas de Produtividade
CNPq Nível 2
Tel
+55 21 3527-1500 ramal 4345
Sala
515 RDC
Biografia
Edward Herman Haeusler é professor associado da PUC-Rio, coordenador do programa de pós-graduação e tem como área de atuação a Ciência 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).