
Dr.-Ing. Matthias Eichholz
Software Technology Group
Contact
eichholz@st.informatik.tu-...
work +49 6151 16-21367
Work
S2|02 B220
Hochschulstraße 10
64289
Darmstadt
Links
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

Error on loading data
An error has occured when loading publications data from TUbiblio. Please try again later.
-
{{ year }}
-
; {{ creator.name.family }}, {{ creator.name.given }}{{ publication.title }}. ({{ labels[publication.doc_status] }})
; {{ editor.name.family }}, {{ editor.name.given }} (eds.); ; {{ creator }} (Corporate Creator) ({{ publication.date.toString().substring(0,4) }}):
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_title }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN {{ publication.issn }}, e-ISSN {{ publication.eissn }}, ISBN {{ publication.isbn }}, DOI: {{ publication.doi.toString().replace('http://','').replace('https://','').replace('dx.doi.org/','').replace('doi.org/','').replace('doi.org','').replace("DOI: ", "").replace("doi:", "") }}, Official URL, [{{ 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.