I am interested in programming languages theory and practice, correct and efficient compilers for domain-specific languages using functional programming. My PhD is focussed on applying these things to various domains such as differential & probabilistic, or multitier programming.
Short Biography#
| when | what |
|---|
| since 2025 | Postdoc, Software Technology, TU Darmstadt |
| 2019 - 2025 | PhD, Software Technology, TU Darmstadt |
| 2017 - 2019 | MSc, Computer Science, TU Darmstadt |
| 2014 - 2017 | BSc, Computer Science, TU Darmstadt |
Teaching
Publications#
2025
Prompting neural-guided equation discovery based on residuals.
Brugger, Pfanschilling, Richter, Mezini, Kramer,
DIS.
10.1007/978-3-032-05461-6\_7
2024
Compiling with arrays (artifact).
Richter, Böhler, Weisenburger, Mezini,
DARTS (2).
10.4230/DARTS.10.2.18
Compiling with arrays.
Richter, Böhler, Weisenburger, Mezini,
ECOOP.
10.4230/LIPICS.ECOOP.2024.33
Incrementalizing polynomial functors.
Böhler, Richter, Mezini,
FTFJP.
10.1145/3678721.3686231
Stg-tud/ainf-compiling-with-arrays.
Richter, Böhler, Weisenburger, Mezini,
11.
10.4230/ARTIFACTS.22453
2023
A direct-style effect notation for sequential and parallel programs (artifact).
Richter, Böhler, Weisenburger, Mezini,
DARTS (2).
10.4230/DARTS.9.2.17
Prisma : A tierless language for enforcing contract-client protocols in decentralized applications.
Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini,
TOPLAS (3).
10.1145/3604629
A direct-style effect notation for sequential and parallel programs.
Richter, Böhler, Weisenburger, Mezini,
ECOOP.
10.4230/LIPICS.ECOOP.2023.25
Using rewrite strategies for efficient functional automatic differentiation.
Böhler, Richter, Mezini,
FTFJP.
10.1145/3605156.3606456
2022
Prisma: A tierless language for enforcing contract-client protocols in decentralized applications (artifact).
Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini,
DARTS (2).
10.4230/DARTS.8.2.16
Prisma: A tierless language for enforcing contract-client protocols in decentralized applications (extended abstract).
Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini,
ECOOP.
10.4230/LIPICS.ECOOP.2022.35
