Teaching
Head
Secretary
Teaching
Lectures
Winter term 2024 / 2025
2.01.490
Logical Methods in AI Verification
2.01.800-B
Proseminar: Techniken der Programmanalyse
2.01.801-B
Forschungsseminar Formale Methoden
2.01.AM-22
Oberseminar Formale Methoden
Available Theses
Bachelor's
- ACSL2CStatus: available, Contact: Nicola Anna Thoben
- ARG ManipulationStatus: available, Contact: Nicola Anna Thoben
- From incorrectness logic proofs to violation witnessesStatus: available, Contact: Prof. Dr. Heike Wehrheim
- Learning ContractsStatus: available, Contact: Nicola Anna Thoben
Currently Assigned Final Theses
Master's degree
- Program logic for the weak memory model of C11Status: assigned, Contact: Prof. Dr. Heike Wehrheim
Finished Theses
2023
- Hey ChatGPT! Please verify my program.Status: completed, Contact: Cedric Richter
- Identitätstransformationen zum Testen von VerifikationswerkzeugenStatus: completed, Contact: Cedric Richter
- Simulation einer operationellen Semantik eines schwachen SpeichermodellsStatus: completed, Contact: Prof. Dr. Heike Wehrheim