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

Email: beckertRuu8∂kit edu

Office: Building 50.34, Room 224

Postal address:

KASTEL — Institute of Information Security and Dependability

Am Fasanengarten 5
76131 Karlsruhe

KIT Department of Informatics
KASTEL Security Research Labs (SRL)
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)


Recent publications

Publications before 2017