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.

Stefan Schmid

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