Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation
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
Germany


KIT Department of Informatics
Competence Center for Applied Security Technology (KASTEL)
KIT Center Information ˑ Systems ˑ Technologies (KCIST)

Research interests

  • Formal, logic-based methods for the specification and verification of software
  • Security and Dependability
  • Automated deduction in classical and non-classical logics

Application areas:

  • functional properties and software dependability
  • relational properties and software evolution
  • information-flow properties and IT security
  • social choice algorithms, voting, and fairness
  • automated production systems
  • scientific software (e.g., from materials sciences)

Publications

Recent publications

Publications before 2017