Stefan Szeider

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

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist
Theoretical Foundations of Computer Systems, Spring 2021, Visiting Scientist
Fields
parameterized complexity, proof complexity, satisfiability, knowledge compilation, decompositions