Edward Hermann Haeusler

bachelor's at Matemática from Universidade de Brasília (1983), master's at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1986) and doctorate at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1990). Has experience in Computer Science, focusing on Computability and Computational Models, acting on the following subjects: proof theory, teoria da prova, teoria das categorias, natural deduction and semântica formal.

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 pela Pontifícia Universidade Católica do Rio de Janeiro (1990). Atualmente é professor associado da Pontifícia Universidade Católica do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Computabilidade e Modelos de Computação, atuando principalmente nos seguintes temas: teoria da prova, proof theory, teoria das categorias, semântica formal e Lógica. Foi coordenador de Pós-Graduação do DI-PUC de 2010-2 a 2014-1