Stefan Schmid View
Stefan Schmid is a Full Professor at the University of Vienna, Austria. MSc and PhD at ETH Zurich, Postdoc at TU Munich and University of Paderborn, Senior Research Scientist at T-Labs in Berlin, and Associate Professor at Aalborg University, Denmark. Stefan Schmid is interested in the fundamental and algorithmic problems underlying networked systems. He received the IEEE Communications Society ITC Early Career Award 2016 and an ERC Consolidator Grant 2019.
Posts by Stefan Schmid
Toward Polynomial-Time Verification of Networks with Infinite State Spaces: An Automata-Theoretic Approach
With the increasing scale of communication networks, failures (e.g. link failures) are becoming the norm rather than theexception. Given the critical role such networks play for ourdi...
In research, network, verification, By Stefan Schmid, Jiri Srba, Jul 20, 2020