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

• Frama-C & SPARK Day 2017

Past events

• Interactive Theorem Proving (ITP) 2015
• Systems Software Verification (SSV 2014)
• 9th Logical and Semantic Frameworks, with Applications (LSFA 2014)
• Systems Software Verification (SSV 2012)
• Certified Programs and Proofs (CPP 2012)
• Interactive Theorem Proving (ITP) 2012
• Interactive Theorem Proving (ITP) 2011
• Algebraic computing, soft computing, and program verification
• 5th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'10)
• Modules and Libraries for Proof Assistants (MLPA-10)
• Theorem Proving in Higher Order Logics (TPHOLs) 2009
• Modules and Libraries for Proof Assistants (MLPA'09)