
Registered user since Wed 20 Nov 2024
Stefan Szeider is an Austrian computer scientist and full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), where he chairs the Algorithms and Complexity Group. He is also a visiting scientist at the Simons Institute for the Theory of Computing at UC Berkeley. Specializing in algorithms, logic, computational complexity, and theoretical computer science, Szeider focuses on designing efficient algorithms for challenging problems in Artificial Intelligence and Logic. With a doctorate from the University of Vienna, he has held positions at universities in the UK and Canada. Szeider co-founded the Vienna Center for Logic and Algorithms, was the first Austrian computer scientist to receive an ERC Starting Grant, and has published over 200 articles in scientific journals and conference proceedings.
Contributions
2025
NSE
- Committee Member in Program Committee within the Neuro-Symbolic SE-track
- Author of StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners within the Neuro-Symbolic SE-track
- Author of Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning within the Neuro-Symbolic SE-track