TU Wien
Stefan Szeider is Professor at the Faculty of Informatics at TU Wien, where he heads the Algorithms and Complexity Group. He was a Visiting Scientist at the Simons Institute for the Theory of Computing at UC Berkeley. He co-founded the Vienna Center for Logic and Algorithms and was the first Austrian computer scientist to receive an ERC Starting Grant. With over 250 peer-reviewed publications in algorithms, complexity theory, and artificial intelligence, his recent work focuses on integrating symbolic solvers with Large Language Models, agentic AI systems, and the limits of LLM self-explanation. This work has taken him beyond traditional computer science into experimental tests of LLM behaviour and self-reports, topics at the intersection of AI, philosophy of mind, and digital humanism.