Fechar

Edward Hermann Haeusler

Professor Associado

Áreas de Pesquisa

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 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).

Disciplinas

INF2034 – Noções de Complexidade Computacional e sua relação com Lógica
INF2034 – Top de Teoria da Computação II
INF2217- Lógica e Especificação