David Richter

Hello! I am a postdoc at Software Technology, TU Darmstadt, Germany.

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.

Experience

  • since 2025, Postdoc @ Software Technology, TU Darmstadt, Germany

Education

  • 2025, Dr.rer.nat., TU Darmstadt
    Functional DSL Compilers with Lightweight Proofs
  • 2019, M.Sc. Computer Science, TU Darmstadt
    Asynchronous and Incremental Abstractions in Synchronous Systems
  • 2017, B.Sc. Computer Science, TU Darmstadt
    Reactive Programming and Garbage Collection on the Web

Academic Service