Geplante Lehrveranstaltungen

• Wintersemester 2026/27: Logik
• Sommersemester 2027: Programmverifikation und -synthese

Ausgewählte frühere Lehrveranstaltungen

• SoSe 2026: Rechnergestützte Beweissysteme / Interactive Theorem Proving
• WS 2025/26: Zustandsbasierte Systeme – Coalgebra
• SoSe 2025: Programmverifikation und -synthese
• WS 2024/25: Theoretische Informatik – Sprachen, Maschinen und Berechenbarkeit
• SoSe 2024: Rechnergestützte Beweissysteme
• WS 2023/24: Zustandsbasierte Systeme
• SoSe 2023: Programmverifikation und -synthese
• WS 2022/23: Logik
• SoSe 2022: Zustandsbasierte Systeme / Universal Coalgebra
• WS 2021/22: Logik für die Informatik
• SoSe 2021: Rechnergestützte Beweissysteme

Themen der Lehre

Im Mittelpunkt stehen Logik, theoretische Informatik, formale Methoden, Programmverifikation, Coalgebra sowie computerunterstütztes Beweisen. Dabei kommen unter anderem Scala, Prolog, LaTeX/LyX sowie Beweissysteme wie PVS und Lean zum Einsatz.