Teaching
Courses
This page summarizes my teaching experiences and materials.
| Semester | Course | Role | Materials |
|---|---|---|---|
| Summer 2025 | Lecture “Formal Systems II: Applications” 2 Lectures on Neural Network Verification (together with Philipp Kern) |
(see webpage/ILIAS) | |
| Summer 2025 | Seminar “LLMs in Formal Verification” | Student Advisor | (see webpage/ILIAS) |
| Summer 2025 | Seminar “Fairness and Non-Discrimination from the viewpoint of Computer Science and Philosophy” | Organizer / Student Advisor | (see webpage/ILIAS) |
| October 2024 | Verification and Validation of Autonomous Systems with Neural Network Components (Heriot-Watt University Edinburgh) | Guest Lecture + Lab on VerSAILLE & Mosaic |
see GitHub |
| Winter 2024/25 | Formal Systems | Teaching assistant | (see webpage/ILIAS) |
| Winter 2024/25 | Seminar “Neural Networks in Formal Verification” | Co-Organizer / Student Advisor | (see webpage/ILIAS) |
| Winter 2023/24 | Formal Systems | Teaching assistant | (see webpage/ILIAS) |
| Summer 2023 | Proseminar “Differentiable Programming” | Co-Organizer / Student Advisor | (see webpage/ILIAS) |
| Summer 2023 | Seminar “Fairness and Non-Discrimination from the Perspective of Ethics and Computer Science” | Co-Organizer | (see webpage/ILIAS) |
| Winter 2022/23 | Formal Systems | Teaching assistant | (see webpage/ILIAS) |
| Winter 2020/21 | Programming Paradigms | Student teaching assistant | here |
| Winter 2019/20 | Programming Paradigms | Student teaching assistant | here |
Advised Student Projects
I have advised student research projects/theses on the following topics:
| Semester | Topic | Type |
|---|---|---|
| 2025/26 | Synthesis of Auxiliary Specifications via Large Language Models | 1 year research internship |
| 2024/25 | Efficient NN Verification via LP-based Conflict Learning | 1 year research internship |
| Summer 2024 | Generation of submethod specifications using large language models (german) | Research Lab |
| Summer 2024 | Generation of loop specifications using large language models (german) | Research Lab |
| Summer 2024 | Conflict Analysis for Simplex-Based Neural Network Verification via Farkas Vectors | Bachelor’s Thesis |
| Summer 2024 | Improving Zonotope-Based Neural Network Verification via Gradient-Based Optimization | Bachelor’s Thesis |
| Summer 2023 | Large Language Models for the synthesis of JML-Specifications | Research Lab |
| Summer 2023 | Dimensionality Reduction for Neural Network Verification | Bachelor’s Thesis |
| Summer 2023 | Abstraction-refinement based Equivalence Verification of Convolutional Neural Networks | Bachelor’s Thesis |