Institut für Informatik
Theorem Proving Group

Dr. Stefan Berghofer, Dipl.-Inf. Univ.

How to contact me

Mail:Dr. Stefan Berghofer
secunet Security Networks AG
Ammonstraße 74
D-01067 Dresden

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

Isabelle Verisoft GKLI

Last modified: Fri Jun 09 23:40:23 CEST 2017