Prof. Dr. Bernhard Beckert
	Phone: + 49 721 608-44025 Fax: + 49 721 608-43021 Email: beckertRuu8∂kit edu Web: formal.kastel.kit.edu/beckert Office: Building 50.34, Room 224	Postal address: KASTEL — Institute of Information Security and Dependability Am Fasanengarten 5 76131 Karlsruhe Germany

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)

Publications

Recent publications

Publications before 2017