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, interpreters, compilers, types. My PhD is focussed on applying these things to smart contracts for blockchains.

(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. 😁️