معرفی
Edward Hermann Haeusler is an Associate Professor in the Department of Computer Science at Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio). He has been affiliated with PUC-Rio since 1991, following postdoctoral research at Aarhus University (1994) and Tuebingen University (2003). His research focuses on Proof Theory, Automated Theorem Proving, Category Theory, and their applications in software development and validation.
Education:
- Bachelor of Science in Mathematics, Universidade de Brasília (1983)
- Master of Science in Computer Science, PUC-Rio (1986)
- Doctor of Science in Computer Science, PUC-Rio (1990)
Research Interests: Structural and computational complexity, formal methods, logical reasoning, and semantics. He co-authored a Portuguese textbook on Category Theory for Computer Science with Paulo Blauth Menezes.
Projects: Coordinated major initiatives such as the Semantics via Proof Theory (DAAD-CAPES), Mathematical and Engineering Foundations for Interoperability via Architecture of Software (CNPQ/NSF), and the Formal Methods and Logical Reasoning thematic laboratory (TecMF) at PUC-Rio.
Academic Contributions: Supervised over 20 PhD students and participated in events like the Brazilian Logic Conference and UNILOG. Celebrated his 50th birthday with a Festschrift event during LSFA 2012.
