Welcome

Hello, I am David Richter and this is my website.

I am a PhD Student at Software Technology, TU Darmstadt, Germany. I am interested in programming languages theory and practice, and correct and efficient compilers for domain-specific languages using functional and typed programming. My PhD is focused on applying these things to various domains such as differential, probabilistic, and multitier programming.

(On a totally unrelated note, you can also find some browser games and midi music I wrote ages ago here on this website.)

Here is a test for you: Do you know the names of all of these cool programming language / implementations? Some are easier to recognise than others. 😁️