Curriculum Vitae

Education & Work

• now, postdoc @ TU Darmstadt

• 2025, Dr.rer.nat. Computer Science, TU Darmstadt
  Thesis: Functional DSL Compilers with Leightweight Proofs.

• 2019, MSc Computer Science, TU Darmstadt
  Thesis: Asynchronous and Incremental Abstractions in Synchronous Systems

• 2017, BSc Computer Science, TU Darmstadt
  Thesis: Reactive Programming and Garbage Collection on the Web

Research

Research Assistant

• Compiling with Arrays. David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini.
  ECOOP 2024. (paper) (artifact) (code) (arxiv)
  🏅 Distinguished Paper.

• Incrementalizing Polynomial Functors. Timon Böhler, David Richter, Mira Mezini.
  FTFJP 2024. (artifact).

• A Direct-Style Effect Notation for Sequential and Parallel Programs. David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini.
  ECOOP 2023. (paper) (artfact) (code) (arxiv)
  🏅 Distinguished Paper & 🏅 Distinguished Artifact.

• Using Rewrite Strategies for Efficient Functional Automatic Differentiation. Timon Böhler, David Richter, Mira Mezini.
  FTfJP 2023. (acm) (arxiv)

• Prisma: A tierless language for enforcing contract-client protocols in decentralized apps. David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini.
  

  • TOPLAS 2023. (paper) (code) (arxiv)
  • ECOOP 2022. (extended abstract) (artifact)

• Multiparty Languages: the Choreographic and Multitier Cases (Pearl). Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger.
  ECOOP 2021. (paper) (video)
  🏅 Distinguished Paper.

• Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks. David Richter, Ragnar Mogk.
  REBLS 2019. (pdf).

Student Research Assistant

• From Debugging Towards Live Tuning of Reactive Applications. Ragnar Mogk, Pascal Weisenburger, Julian Haas, David Richter, Guido Salvaneschi, Mira Mezini.
  LIVE 2018. (pdf)

Links

See also

• DBLP
• Google Scholar
• researchr.org

Academic Service

• ECOOP 2024, ERC & AEC 🏅 Distinguished Artifact Reviewer

• ECOOP 2023, ERC

• Scala 2019, publicity chair

Projects

• iBlockchain (11/2018 - 09/2022), Federal Ministry of Education and Research (BMBF). (BMBF page)

Teaching

Theses Supervision

• Master thesis: WIP: Probabilistic Programming with Holonomic Functions. Student: Manuel Adam. Supervisor: David Richter Examiner: Mira Mezini. Summer 2024.

• Master thesis: Higher Order Functional Choreographies in Lean4. Student: Simon Daniel. Supervisor: David Richter. Examiner: Mira Mezini. Winter 2023/24.

• Bachelor thesis: Connecting Automata- and Semantics-based Program Synthesis. Student: Matthias Conrad. Supervisor: David Richter. Examiner: Mira Mezini. Winter 2023/24.

• Master thesis: An Optimizing Compiler for a Differentiable Array Programming Language. Student: Timon Böhler. Supervisor: David Richter. Examiner: Mira Mezini. Summer 2023.

• Master thesis: Type Inference for Tractable Probabilistic Programming. Student: Frank Pfirmann. Supervisor: David Richter, Viktor Pfanschilling. Examiner: Mira Mezini. Winter 2022/23.

• Master thesis: Towards an End-to-End Neuro-symbolic DSL of Transformers. Student: Daniel Manninger. Supervisor: David Richter. Examiner: Mira Mezini. Winter 2021/22.

• Bachelor thesis: Differential Programming in an Array Language. Student: Timon Böhler. Supervisor: David Richter. Examiner: Mira Mezini. Winter 2021/22.

• Bachelor thesis: Comparing implementation strategies for differentiable programming. Student: Daniel Stricker. Supervisor: David Richter. Examiner: Mira Mezini. Summer 2021.

• Bachelor thesis: Functional and Reactive Programming for Smart Contracts. Student: Stefan Sauer. Supervisor: David Richter. Examiner: Mira Mezini. Summer 2020.

• Bachelor thesis: Reactive Programming for Smart Contracts. Student: Fabio d’Aquino Hilt. Supervisor: David Richter. Examiner: Mira Mezini. Winter 2019/20.

Teaching Assistant

• Project IMPL (Implementation of Modern Programming Languages). Topic Instructor for Winter 2023/24, Summer 2023, Winter 2022/23, Summer 2021, Summer 2020, Winter 2019/20.

• Seminar DaIMPL (Design and Implementation of Modern Programming Languages). Topic Instructor for Winter 2023/24, Summer 2023, Summer 2022, Winter 2022/23, Summer 2021, Winter 2020/21, Winter 2019/20.

• Seminar SE4AI (Seminar Software Engineering for Artificial Intelligence). Topic Instructor for Winter 2021/22.

• Project SEP (Software Engineering Project):

  • 2023/24 Winter - topic ‘Project Specification Document’
  • 2023/24 Winter - feedback for team Canvas 2.0
  • 2022/23 Winter - feedback for team Tradevisori
  • 2021/22 Winter - feedback for team CAQuAppsel
  • 2020/21 Winter - feedback for team Devoilapers
  • 2019/20 Winter - feedback for team Die ConTrolle

Student Teaching Assistant

• 2017 Summer, Concepts of Programming Languages, TU Darmstadt
• 2016/17 Winter, Formal Methods for Software Development, TU Darmstadt
• 2015 Summer, Functional and Object-Oriented Programming, TU Darmstadt

Projects

drx. Dynamic reactive programming without memory-leaks.

bibcleany. Clean bibtex files by looking for matches on dblp.

beautiful-tucan. Inofficial week schedule for computer science students at TU Darmstadt.

Also, involved with REScala. Reactive programming in Scala.