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
Theorem Proving in Higher Order Logics (TPHOLs) 2009
Modules and Libraries for Proof Assistants (MLPA'09)
Stefan Berghofer
Last modified: Fri Mar 20 19:18:33 CET 2009