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.