Institut für Informatik
Theorem Proving Group

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

How to contact me

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


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: Wed Jan 07 00:16:32 CET 2015