David Richter

Hi!

I am interested in programming language theory and practice, and correct and efficient compilers for domain-specific languages using functional programming and strong types. Usually, I write Lean proofs or Scala programs.

You can find my email at my university page, or in any of my published papers.

David Richter
Postdoc @
TU Darmstadt

Research Projects

An overview of my research grouped by topic. See Research for the full chronological list of publications and preprints, and Teaching for all courses and supervised theses.

Choreographic Programming Write a whole distributed system as one script, and let the compiler split it up. Incremental Programming Compilers that turn plain functional code into computations that redo only what changed. Type Systems & Mechanized Proofs Types catch bugs before a program runs, and stop humans and bots alike from doing nonsense. Compilers for Machine Learning Derive and prove what ML frameworks hard-code, and search for the equations that generated the data.
Collaborators
Timon Böhler Jonathan I. Brachthäuser Jannis Brugger Mattia Cerrato Simon Daniel Cedric Derstroff Sebastian Faust Saverio Giallorenzo Julian Haas Stefan Kramer David Kretzler Daniel Maninger Mira Mezini Ragnar Mogk Fabrizio Montesi Marius Müller Marco Peressotti Viktor Pfanschilling Tobias Reinhard Guido Salvaneschi Phillip Schuster Benedict Smit Pascal Weisenburger

Education

2025, Dr.rer.nat., TU Darmstadt
Functional DSL Compilers with Lightweight Proofs
2019, M.Sc. Computer Science, TU Darmstadt
2017, B.Sc. Computer Science, TU Darmstadt

Academic Service

TOPLAS 2026, reviewer
CP 2026, PC
ECOOP 2024, ERC & AEC | 🏅 Distinguished Artifact Reviewer
ECOOP 2023, ERC
Scala 2019, publicity chair