Stefan Szeider

Stefan Szeider

Professor
Head of the Algorithms and Complexity Group
Faculty of Informatics
Technische Universität Wien (TU Wien)
Favoritenstraße 9–11, E192-01
1040 Vienna, Austria
Room HC0401
Phone: +43(1)58801–192100
sz@ac.tuwien.ac.at
Twitter
Biography

Academic Affiliations. I am a full professor and chair at TU Wien, Vienna, Austria, and head of the Algorithms and Complexity Group. I am a co-chair of the Vienna Center for Logic and Algorithms (VCLA)  and chair of the MSCA doctoral program LogiCS@TUWien. Previously I held academic positions at the University of Durham (UK), the University of Toronto (Can), and the Austrian Academy of Sciences (AT).

Research. In my research, I combine algorithmic and logic-based methods to