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
AI-readable profile
Blog: Mainly AI
Biography

News

Invited speaker at WHOOPS ’26, 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems, Part of FLoC’26.
Invited speaker at CompBench 2026, 1st Workshop on Comparative Evaluation and Benchmarking, Part of FLoC’26.
Invited tutorial speaker at ESSAI 2026, the European Summer School on Artificial Intelligence, on Neurosymbolic AI: Solvers and LLMs.
LRAT-catcher released, a tool that imports SAT solver certificates into Lean 4 as theorems, by reflection. Arxiv paper.
ZeroFolio