|
Dr. Stefan Berghofer, Dipl.-Inf. Univ.
 |
How to contact me
|
Research interests
- Lambda calculus and type theory
- Logical frameworks
- Automated and interactive theorem proving
- Inductive definitions
- Functional and logic programming languages
- Nominal Methods
- Program verification
Current events
Past events
Last modified: Fri Jun 09 23:40:23 CEST 2017
|