 |
Prof. Dr. Bernhard Beckert | |
| Chair holder Studiendekan Informatik Office Hours: Thursday 2:00 P.M. Room: 224 Phone: + 49 721 608 44025 Fax: + 49 721 608 43088 beckertRuu8∂kit edu http://formal.iti.kit.edu/beckert |
Postal address:
Institute for Theoretical Informatics Am Fasanengarten 5
|
|
Teaching
- Seminar: Seminar Formale Methoden für Software-Sicherheit
- Praktikum: Software-Entwicklung (PSE)
- Vorlesung: Anwendung formaler Verifikation mit Übung
Research
- KeY
- Verisoft XT
- COST Action 0701
- DeduSec
- KASTEL
- KIT Focus COMMputation
- Integration of Deduction-Based Verification and Model Checking for Machine- Oriented Software