Stefan Szeider
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).
Program Visits
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Scientist.