Hermann
Professor Associado

Departamento de Informática
Pontifícia Universidade Catolica do Rio de Janeiro (PUC-Rio)
Rio de Janeiro, RJ 22453-900, Brasil
Prédio do RDC, Sala 515
Tel: +55 021 3527-1502 Ramal 4345
Fax: +55 021 3527-5645
Email: hermann@inf.puc-rio.br


Wovon man nicht sprechen kann, daruber muss man schweigen

  Wittgenstein     

I studied in Universidade de Brasília (BS in Math, 1983) and PUC-Rio (MSc in CS, 1986 and DSc in CS, 1990). From 1986 to 1990 I taugh at Universidade Federal Fluminense. Since 1991 I have been teaching at PUC-Rio. Here is a list of my former PhD students .

My research interests are Proof Theory, Automated Theorem Proving, Logical Systems, Category Theory (CT), Toposes and Higher-Order Theories and their Models, Semantics, and the application of this knowledge and the techniques emerged from them in Software Development and Validation. Structural and Computational Complexity call my attention too.

I have written, together with Paulo Blauth Menezes, a book on Category Theory for Computer Science, aimed to help teaching CT to undergraduated classes. It is (still) only in Portuguese.

Some publications accessed from different bibliography lists (of course they overlap !):
  • Publications listed on DBLP
  • Publications listed on MathSciNet
  • Short communications at symposia on Logic and Philosophy.
  • Not yet published (to appear)
  • Complete CV hosted at CNPq (Brazilian Research Council)

    • Teaching

    Courses at PUC-Rio

    Tutorials at Meetings

    I am also the coordinator of the thematic laboratory on Formal Methods and Logical Reasoning (TecMF) at PUC-Rio. There we develop industrially and academically funded projects. Here is a list of former projects coordinated by myself.

    I spent post-doctoral leavings at Aarhus University (1994) and at Tuebingen University (2003).

    In Brazil I mostly take part of the following academic forums (or fora if you prefer):
  • Workshop on Logical and Semantic Frameworks
  • Brazilian Logic Conference
  • Brazilian Symposium on Programming Languages
  • Brazilian Symposium on Artificial Intelligence
    • I also take part of:
  • Brazilian Symposium on Formal Methods
    • and I also contributed in some editions of WOLLIC Workshop on Logic Language and Computation

  • updated on July/2008