Teaching
Courses
6CP Lecture TYPES (Type Systems).
- Lecturer since Summer 2026.
6CP Project IMPL (Implementation of Modern Programming Languages).
- Organizer since Winter 2023/24.
- Topic Instructor since Winter 2019/20.
3CP Seminar DaIMPL (Design and Implementation of Programming Languages).
- Organizer since Winter 2023/24.
- Topic Instructor since Winter 2019/20.
PhD Students
As a postdoc, I work closely together with the following PhD Students
- Timon Böhler (since 2023), Software Technology, TU Darmstadt
- Simon Daniel (since 2024), Software Technology, TU Darmstadt
- Benedict Smit (since 2025), Software Technology, TU Darmstadt
Theses Supervision
| Degree Semester | Thesis Title Student; Supervisor; Examiner |
|---|---|
| BSc 2026 | Implementation of a Dependently-Typed Programming Language Robin Gutroff; David Richter; Mira Mezini |
| BSc 2025/26 | Monomorphization for System F Iurii Khosoi; David Richter; Mira Mezini |
| BSc 2025 | AiNF - Automatic Differentation, Optimization and Codegeneration Julius Schuchert; David Richter; Mira Mezini |
| BSc 2025 | Optimization of Automatically Differentiated Programs via Partial Redundancy Elimination Jan Groen; David Richter; Mira Mezini |
| MSc 2024 | Probabilistic Programming with Holonomic Functions Manuel Adam; David Richter; Mira Mezini |
| MSc 2023/24 | Higher Order Functional Choreographies in Lean4 Simon Daniel; David Richter; Mira Mezini |
| BSc 2023/24 | Connecting Automata- and Semantics-based Program Synthesis Matthias Conrad; David Richter; Mira Mezini |
| MSc 2023 | An Optimizing Compiler for a Differentiable Array Programming Language Timon Böhler; David Richter; Mira Mezini |
| MSc 2022/23 | Type Inference for Tractable Probabilistic Programming Frank Pfirmann; David Richter, Viktor Pfanschilling; Mira Mezini |
| MSc 2022 | Towards an End-to-End Neuro-symbolic DSL of Transformers Daniel Manninger; David Richter; Mira Mezini |
| BSc 2021/22 | Differential Programming in an Array Language Timon Böhler; David Richter; Mira Mezini |
| BSc 2021/22 | Comparing Implementation Strategies for Differentiable Programming Daniel Stricker; David Richter; Mira Mezini |
| BSc 2020 | Functional and Reactive Programming for Smart Contracts Stefan Sauer; David Richter; Mira Mezini |
| BSc 2019/20 | Reactive Programming for Smart Contracts Fabio d’Aquino Hilt; David Richter; Mira Mezini |
Previously
4CP Seminar SE4AI (Seminar Software Engineering for Artificial Intelligence).
- Topic Instructor for Winter 2021/22.
12CP Project SEP (Software Engineering Project):
- Topic Instructor 2024/25 Winter - team Mercedes
- Topic Instructor 2023/24 Winter - team Canvas 2.0
- Topic Instructor 2022/23 Winter - team Tradevisori
- Topic Instructor 2021/22 Winter - team CAQuAppsel
- Topic Instructor 2020/21 Winter - team Devoilapers
- Topic Instructor 2019/20 Winter - team Die ConTrolle
Student Teaching Assistant:
- 2017 Summer, Concepts of Programming Languages, TU Darmstadt
- 2016/17 Winter, Formal Methods for Software Development, TU Darmstadt
- 2015 Summer, Functional and Object-Oriented Programming, TU Darmstadt