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

News

Agentic Python Coder, version 1.0.0 released [GitHub] [paper]
Invited speaker at SC2 2025. Workshop affiliated with CADE 2025, 10th International Workshop on Satisfiability Checking and Symbolic Computation, August 2, 2025, Stuttgart, Germany
Invited speaker at LLM-Solve 2025. Joint talk with PTHG, Workshop on LLMs meet Constraint Solving, CP/SAT 2025,  August 11, 202,5 Glasgow, Scotland
Invited speaker at PTHG 2025. Joint talk with LM-Solve, Workshop on Progress Towards the Holy Grail,  CP/SAT 2025,  August 11, 202,5