I'm Matthias Eichholz. I'm a researcher bringing programming language theory and software-defined networks together.

I'm a researcher at Siemens Technology with a strong interest in programming language theory, (software-defined) networking and distributed systems. At Siemens I work on various topics in the context of industrial networks, such as network automation or 5G.
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.