Scholar
Stefan Szeider
Google Scholar ID: lJYKhNIAAAAJ
Professor, Head of Algorithms and Complexity Group, TU Wien, Vienna, Austria
Citations & Impact
Citations
2,404
H-index
26
i10-index
77
Publications
20
Co-authors
10
list available
Publications
Resume (English only)
Academic Achievements
- He has published over 200 articles in scientific journals and conference proceedings; he is an Associate Editor of the Journal of Computer and System Sciences (JCSS) and the Journal of Artificial Intelligence Research (JAIR); he has been the principal investigator on projects funded by ERC (EU), EPSRC (UK), and more.
Research Experience
- He serves as an organizer or invited speaker for several academic conferences, such as PC co-chair for SAT 2026; invited speaker at SC2 2025, LLM-Solve 2025, and others.
Education
- He has held academic positions at the University of Toronto (Canada), the University of Durham (UK), and the Austrian Academy of Sciences (Austria). Currently, he is a full professor at TU Wien and a visiting scientist at the Simons Institute for the Theory of Computing, UC Berkeley.
Background
- His research interests lie in combining algorithmic and logic-based methods to solve hard computational problems arising in Artificial Intelligence, Automated Reasoning, and Combinatorial Optimization. He is a full professor and chair at TU Wien, Vienna, Austria, and the head of the Algorithms and Complexity Group.
Miscellany
- Engaged in public outreach activities; his Erdős Number is 2.
