Professor, TU Wien
Stefan Szeider is a Professor at the Faculty of Informatics at the Technische Universität Wien (TU Wien), Vienna, Austria. He chairs TU Wien's Algorithms and Complexity group and is a founding co-chair of the Vienna Center for Logic and Algorithms. Stefan received a PhD in Mathematics from the University of Vienna in 2001 and spent two years as a postdoctoral researcher at the University of Toronto. Before joining TU Wien, he was a Reader at the University of Durham, UK. Stefan is the first Austrian Computer Scientist who has received a grant from the European Research Council (ERC Starting Grant 2009).
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Scientist
Theoretical Foundations of Computer Systems , Spring 2021Visiting Scientist