CV

Education

2019 – 2025

Dr. rer. nat., Software Technology, TU Darmstadt. Advisor: Prof. Mira Mezini. Thesis: Functional DSL Compilers with Lightweight Proofs

2017 – 2019

M.Sc. Computer Science, TU Darmstadt

2014 – 2017

B.Sc. Computer Science, TU Darmstadt

Employment

2025 – now

Researcher (Postdoc), Software Technology, TU Darmstadt

2019 – 2025

Researcher (PhD Student), Software Technology, TU Darmstadt

Winter'18/19

Student Research Assistant, Software Technology, TU Darmstadt

2015 – 2018

Student Teaching Assistant, TU Darmstadt (three courses, see below)

Research Interests

Programming languages; type systems; dependently typed programming and proof assistants (Lean, Coq/Rocq); mechanized metatheory; functional programming; effects and monads; compilers for domain-specific languages (arrays, automatic differentiation, incremental computation); choreographic programming and session types; verified compilation.

Awards

ECOOP'24

Distinguished Paper Award
(Compiling with Arrays)

ECOOP'24

Distinguished Artifact Reviewer Award

ECOOP'23

Distinguished Paper Award and Distinguished Artifact Award
(A Direct-Style Effect Notation for Sequential and Parallel Programs)

ECOOP'21

Distinguished Paper Award
(Multiparty Languages: the Choreographic and Multitier Cases)

Selected Publications

The full list is given on the Publications page. OOPSLA and ECOOP are CORE rank A conferences; OOPSLA appears in PACMPL, the Proceedings of the ACM on Programming Languages.

OOPSLA'26

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types. Böhler, Reinhard, Richter, Mezini. paper · artifact · arxiv

ECOOP'24

Compiling with Arrays. Richter, Böhler, Weisenburger, Mezini. paper · artifact · arxiv
🏅 Distinguished Paper

ECOOP'23

A Direct-Style Effect Notation for Sequential and Parallel Programs. Richter, Böhler, Weisenburger, Mezini. paper · artifact · arxiv
🏅 Distinguished Paper🏅 Distinguished Artifact

TOPLAS'23

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Apps. Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini. paper · github · arxiv

ECOOP'21

Multiparty Languages: the Choreographic and Multitier Cases. Giallorenzo, Montesi, Peressotti, Richter, Salvaneschi, Weisenburger. paper · video
🏅 Distinguished Paper

Academic Service

TOPLAS'26

Reviewer, ACM Transactions on Programming Languages and Systems

CP'26

Program Committee, Choreographic Programming Workshop

ECOOP'24

Extended Review Committee and Artifact Evaluation Committee.
🏅 Distinguished Artifact Reviewer

ECOOP'23

Extended Review Committee

Scala'20

Publicity Chair, 11th ACM SIGPLAN Scala Symposium

Teaching

Teaching Lead

Summer'26 – now

Lecturer, Type Systems (6 CP lecture): lambda calculus, type safety, type inference, logical relations, dependently typed programming and mechanized proofs in Lean

Winter'23/24 – now

Organizer, Seminar Design and Implementation of Modern Programming Languages (3 CP), every semester

Winter'23/24 – now

Organizer, Project Implementation of Modern Programming Languages (6 CP), every semester

Teaching Assistance

Winter'19/20 – Summer'23

Topic Instructor, Seminar Design and Implementation of Modern Programming Languages and Project Implementation of Modern Programming Languages

Winter'19/20 – Summer'25

Topic Instructor, Software Engineering Project (industry internship)

Supervised teams
  • 2024/25 Winter - team Mercedes
  • 2023/24 Winter - team Canvas 2.0
  • 2022/23 Winter - team Tradevisori
  • 2021/22 Winter - team CAQuAppsel
  • 2020/21 Winter - team Devoilapers
  • 2019/20 Winter - team Die ConTrolle
Winter'21/22

Topic Instructor, Seminar Software Engineering for AI

Winter'17/18

Student Teaching Assistant, Concepts of Programming Languages

Winter'16/17

Student Teaching Assistant, Formal Methods for Software Development

Summer'15

Student Teaching Assistant, Functional and Object-Oriented Programming

Supervision

PhD Students (co-mentored with Prof. Mira Mezini)

Timon Böhler (since 2023), Simon Daniel (since 2024), Benedict Smit (since 2025). Böhler and Daniel previously wrote their MSc theses under my supervision. Böhler’s first first-author paper appeared at OOPSLA 2026.

BSc and MSc Theses (supervisor; examiner: Prof. Mira Mezini)

2026
BSc
R. Gutroff
Implementation of a Dependently-Typed Programming Language
2025
BSc
I. Khosoi
Monomorphization for System F
2025
BSc
J. Schuchert
AiNF - Automatic Differentation, Optimization and Codegeneration
2025
BSc
J. Groen
Optimization of Automatically Differentiated Programs via Partial Redundancy Elimination
2024
MSc
M. Adam
Probabilistic Programming with Holonomic Functions
2023
MSc
S. Daniel
Higher Order Functional Choreographies in Lean4
2023
BSc
M. Conrad
Connecting Automata- and Semantics-based Program Synthesis
2023
MSc
T. Böhler
An Optimizing Compiler for a Differentiable Array Programming Language
2022
MSc
F. Pfirmann
Type Inference for Tractable Probabilistic Programming (co-supervised with Viktor Pfanschilling)
2022
MSc
D. Manninger
Towards an End-to-End Neuro-symbolic DSL of Transformers
2021
BSc
T. Böhler
Differential Programming in an Array Language
2021
BSc
D. Stricker
Comparing Implementation Strategies for Differentiable Programming
2020
BSc
S. Sauer
Functional and Reactive Programming for Smart Contracts
2019
BSc
F. Hilt
Reactive Programming for Smart Contracts

More

See also