Teaching
Head
Secretary
Teaching
Lectures
Winter term 2026 / 2027
2.01.496
Seminar Causality and Responsibility
2.01.800-B
Proseminar Kausalität
2.01.801-B
Forschungsseminar Formale Methoden
2.01.AM-22
Oberseminar Formale Methoden
Available Theses
Currently Assigned Final Theses
Finished Theses
2026
- ACSL2CStatus: completed, Contact:
2025
- Program logic for the weak memory model of C11Status: completed, Contact: Prof. Dr. Heike Wehrheim
2023
- Hey ChatGPT! Please verify my program.Status: completed, Contact:
- Identitätstransformationen zum Testen von VerifikationswerkzeugenStatus: completed, Contact:
- Klassifikation von Online-VerifikationsmerkmalenStatus: completed, Contact:
- Simulation einer operationellen Semantik eines schwachen SpeichermodellsStatus: completed, Contact: Prof. Dr. Heike Wehrheim