Staff

David Richter M.Sc.

Software Technology Group

Contact

work +49 6151 16-25402

Work S2|02 B209
Hochschulstr. 10
64289 Darmstadt

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'

Publications

Loading...
Loading data from TUbiblio…

Error on loading data

An error has occured when loading publications data from TUbiblio. Please try again later.

  • {{ year }}

    • ({{ publication.date.toString().substring(0,4) }}):
      {{ publication.title }}.
      In: {{ publication.series }}, {{ publication.volume }}, In: {{ publication.book_title }}, In: {{ publication.publication }}, {{ publication.journal_volume}} ({{ publication.number }}), ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN {{ publication.issn }}, e-ISSN {{ publication.eissn }}, ISBN {{ publication.isbn }}, {{ labels[publication.type]?labels[publication.type]:publication.type }}
    • […]

Number of items in this list: {{ publicationsList.length }}
Only the {{publicationsList.length}} latest publications are displayed here.

View complete list at TUbiblio View this list at TUbiblio