 |
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
|
|
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