Webrelaunch 2020
Prof. Dr. Bernhard Beckert Prof. Dr. Bernhard Beckert
Phone: + 49 721 608 44025
Fax: + 49 721 608 43021

Email: beckertRuu8∂kit edu
Web: formal.iti.kit.edu/beckert

Office: Building 50.34, Room 224

Postal address:

Institute of Theoretical Informatics

Am Fasanengarten 5
76131 Karlsruhe

Research interests

  • Formal, logic-based methods for the specification and verification of software
  • Automated deduction in classical and non-classical logics
Application areas:
  • verification of functional properties and software dependability
  • verification of relational properties and software evolution
  • verification of information-flow properties and IT security
  • verification of social choice algorithms and voting


List of publications


Current projects