Curriculum Vitae

Education

now, PhD Student, Software Technology, TU Darmstadt, Germany
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 Assistant

A Direct-Style Effect Notation for Sequential and Parallel Programs. David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini.
ECOOP 2023. Distinguished Paper & Distinguished Artifact. (paper) (artfact) (code) (arxiv)
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. (acm) (code)
Prisma: A tierless language for enforcing contract-client protocols in decentralized apps (Extended Abstract). David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini.
ECOOP 2022. (paper) (arxiv / extended version) (artifact)
Multiparty Languages: the Choreographic and Multitier Cases (Pearl). Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger.
ECOOP 2021. Distinguished Paper. (paper) (video)
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)

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

Theses Supervision

Bachelor thesis: WIP: On Lambda Calculus and Program Synthesis. Supervisor: David Richter. Examiner: Mira Mezini. Winter 2023/24.
Master thesis: WIP: On Functional, Choreographic Programming and Session Types. 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

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.