Technische Universität München, Fakultät für Informatik

Stefan Berghofer, Dr. rer. nat., Dipl.-Inf.

Research assistant

How to contact me
E-mail: berghofe@in.tum.de
Snail: Dr. Stefan Berghofer
Institut für Informatik
Technische Universität München
Boltzmannstraße 3
D-85748 Garching
Germany
Phone: +49 89 289 17328
Fax: +49 89 289 17307
Room: 01.11.059
Private phone: +49 89 617178
Mobile: +49 173 3519956

Research interests:

  • Lambda calculus and type theory
  • Logical frameworks
  • Automated and interactive theorem proving
  • Inductive definitions
  • Functional and logic programming languages
  • Nominal Methods

Events

Isabelle Verisoft GKLI

Stefan Berghofer
Last modified: Fri Mar 20 19:18:33 CET 2009