![](https://eichholz.de/_Resources/Persistent/4/2/1/7/4217e90b18d5c33f86647e8009047c624358dcec/Portrait-800x800.jpg)
I'm Matthias Eichholz. I'm a researcher bringing programming language theory and software-defined networks together.
I'm a Research Scientist at Siemens Technology with a strong interest in programming language theory, (software-defined) networking and distributed systems. At Siemens I work in the field of industrial communication, currently with a focus on network automation and software-defined communication.
Before joining Siemens, I was a postdoctoral researcher in the Software Technology Group at Technical University of Darmstadt, Germany, where I worked at the intersection of programming languages and software-defined networks, with the goal to equip network programming languages such as P4 with correctness guarantees that can be automatically verified to make programmable networks reliable.
Before joining Siemens, I was a postdoctoral researcher in the Software Technology Group at Technical University of Darmstadt, Germany, where I worked at the intersection of programming languages and software-defined networks, with the goal to equip network programming languages such as P4 with correctness guarantees that can be automatically verified to make programmable networks reliable.