Bernhard Beckert

Prof. Dr. Bernhard Beckert is a faculty member at the Karlsruhe Institute of Technology (KIT), affiliated with the Department of Informatics and the Institute of Information Security and Dependability (KASTEL). His research focuses on formal verification of software systems, particularly through logic-based methods, security and dependability analysis, automated deduction in classical and non-classical logics, and applications to voting algorithms, industrial automation, and scientific software.

• Email: beckert@kit.edu
• Office: Building 50.34, Room 224, KASTEL, Am Fasanengarten 5, 76131 Karlsruhe, Germany

He develops and applies the KeY system for deductive verification of object-oriented software, with applications in Java, PLCs, and safety-critical systems. His work addresses challenges in regression verification, information flow security, and multi-phase verification for robotic surgery.

Recent publications focus on equivalence analysis of control software variants, program slicing, loop bound computation, and formalization of voting rules using bounded model checking. Key contributions include integrating design and verification workflows, dynamic logic extensions for concurrency, and tools for security-sensitive software engineering.