Matthias Eichholz

Matthias Eichholz M.Sc.

I am a PhD student in the Software Technology Group. I currently work on programming languages for Software-Defined Networks (SDN) and automatic verification of SDN applications.