David Richter

Staff

Dr. rer. nat. David Richter

Software Technology Group

Contact

david.richter@tu-...

work +49 6151 16-25402

Work S2|02 B209
Hochschulstr. 10
64289 Darmstadt

Links

Personal Page

I am interested in programming languages theory and practice, and correct and efficient compilers for domain-specific languages using functional programming. My PhD is focused on applying these things to various domains such as differential, probabilistic, and multitier programming.

Teaching

Term	Courses
Winter 2021/22	Advisor for the team CAQuAppsel in 'Software Engineering Project' Topic instructor for programming languages in 'Software Engineering for Artificial Intelligence'
Summer 2021	Topic instructor 'Differential Programming' in 'Implementation of Modern Programming Languages' Topic instructor 'Differential Programming' in 'Design and Implementation of Modern Programming Languages'
Winter 2020/21	Advisor for the team Devoilapers in 'Software Engineering Project' Topic instructor 'Metaprogramming' in 'Implementation of Modern Programming Languages' Topic instructor 'Metaprogramming' in 'Design and Implementation of Modern Programming Languages'
Summer 20	Topic instructor 'Smart contract programming languages' in 'Implementation of Modern Programming Languages' Topic instructor 'Smart contract programming languages' in 'Design and Implementation of Modern Programming Languages'
Winter 2019/20	Advisor for the team Die ConTrolle in 'Software Engineering Project' Topic instructor 'Smart Contract Programming Languages' in 'Implementation of Modern Programming Languages' Topic instructor 'Smart Contract Programming Languages' in 'Design and Implementation of Modern Programming Languages'