Staff

David Richter M.Sc.

Software Technology Group

Contact

work +49 6151 16-21369

Work S2|02 A216
Hochschulstr. 10
64289 Darmstadt

I am interested in programming languages, interpreters, compilers, types. My PhD is focussed on applying these things to smart contracts for blockchains.

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 }}. ({{ labels[publication.doc_status] }})
      In: {{ publication.book_title }}, {{ publication.number}} ({{ publication.journal_volume }}), {{ publication.volume }}, In: {{ publication.series }}, {{ publication.volume }}, ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN: {{ publication.issn }}, 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