Edward Hermann Haeusler
Associate Professor
Curriculo Lattes
Laboratory Collaborator
Productivity Grants
CNPq Level 2
Tel
+55 21 3527-1500 ext. 4345
Room
515 RDC
Biography
Dr. Edward Herman Haeusler is an Associate Professor at PUC-Rio and his area of expertise is Computer Science focused on Computability and Computer Models. His main research topics are Proof Theory, Category Theory, Formal Semantics
and Logic. He has a degree in Mathematics from the University of Brasilia (1983), a master’s in Computer Science from the Pontifical Catholic University of Rio de Janeiro (1986) and a PhD in Computer Science also from PUC-Rio (1990).