Staff
Matthias Eichholz

Dr.-Ing. Matthias Eichholz

Software Technology Group

Contact

work +49 6151 16-21367

Work S2|02 B220
Hochschulstraße 10
64289 Darmstadt

My research interests lie at the intersection of programming languages, (software-defined) networks, and distributed systems. I explore to what extent the use of appropriate programming languages can help programmers to ensure that their implementations are correct. Currently, I am investigating how data plane programming languages such as P4 can be equipped with type systems to provide static correctness guarantees about the runtime behavior of programmable network data planes.

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.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