Stefan Szeider

Short bio

Stefan Szeider is a full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), Austria. He chairs the Algorithms and Complexity Group and the Vienna Center for Logic and Algorithms. Before that, he worked for several years at universities in Canada and the UK. He is the first Austrian Computer Scientist who received a grant from the European Research Council (ERC Starting Grant 2009). Szeider’s research focuses on developing and analyzing efficient algorithms for problems that arise in Artificial Intelligence and Automated Reasoning.

Prizes, awards, memberships

Invited long-term visitor at the Simons Institute for the Theory of Computing, Berkeley, programs “Satisfiability: Theory,  Practice, and Beyond” and “Theoretical Foundations of Computer Science”, Spring term 2021

https://simons.berkeley.edu

Best Paper Award at CP 2020 (with Tomas Peitl), “Finding the Hardest Formulas for Resolution”, the 26th International  Conference on Principles and Practice of Constraint Programming

https://www.ac.tuwien.ac.at/2020/09/best-paper-award-at-cp2020/

First prize in the PACE 2019 competition (with André Schidler), the 4th

Parameterized Algorithms and Computational Experiments Challenge

https://www.ac.tuwien.ac.at/2019/09/winner-of-pace19-competition-hypertree-width-exact/

Chair of the MSCA doctoral program “Logics for Computer Science”, (LogiCS@TUWien)

http://www.vcla.at/msca/

Founding Co-chair of the Vienna Center for Logic and Algorithms (VCLA)

http://www.vcla.at

European Research Council (ERC) Start Grant “The parameterized Complexity of Reasoning Problems”, 2009

https://cordis.europa.eu/project/id/239962

https://www.ac.tuwien.ac.at/research/erc-project-the-parameterized-complexity-of-reasoning-problems/

Chair of the Jury for the Heinz Zemanek Dissertation Price of the Austrian Computer Society

https://www.ocg.at/en/heinz-zemanek-award

Journal of Computer and System Sciences, Associate Editor

https://www.journals.elsevier.com/journal-of-computer-and-system-sciences

Journal of Artificial Intelligence Research, Editorial Board Member

https://www.jair.org/index.php/jair

Research interests

Szeider combines algorithmic and logic-based methods to solve hard computational problems in Artificial Intelligence, Automated Reasoning, and Combinatorial Optimiziation. Recently he proposed logic-based methods for learning fast-inference Bayesian networks and succinct decision trees from data.