|
|
Dr. Stefan Berghofer, Dipl.-Inf. Univ.
Research assistant
 |
How to contact me
| E-Mail: |
|
 | |
| Mail: | 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 |
|
Research interests
- Lambda calculus and type theory
- Logical frameworks
- Automated and interactive theorem proving
- Inductive definitions
- Functional and logic programming languages
- Nominal Methods
Events
Last modified: Wed Mar 25 18:02:47 CET 2009
|
