David Richter
@drcicer.bsky.social
❤️ programming languages.
postdoc at @stg_darmstadt
DR are my initials and my title (now)
postdoc at @stg_darmstadt
DR are my initials and my title (now)
Yay, got my phd "Functional DSL Compilers with Leightweight Proofs" in August
tuprints.ulb.tu-darmstadt.de/30213
tuprints.ulb.tu-darmstadt.de/30213
October 7, 2025 at 12:16 PM
Yay, got my phd "Functional DSL Compilers with Leightweight Proofs" in August
tuprints.ulb.tu-darmstadt.de/30213
tuprints.ulb.tu-darmstadt.de/30213