Professor of Discrete Reasoning Methods
Vienna University of Technology, Vienna, Austria
Univ.-Prof. Dr. Stefan Szeider
Institute of Information Systems (184/3)
Vienna University of Technology (TU Wien)
A-1040 Vienna, Austria
Phone: +43 (1) 58801 18433
Fax: +43 (1) 58801 18493
e-mail: stefan @ szeider.net
My work deals with the computational complexity of problems and their algorithmic solution. In particular I am interested in problems that are intractable in general but may admit efficient solutions for special cases. I have considered various problems arising in computational reasoning, artificial intelligence, and combinatorial optimization. My ambition is to push the intractability frontier for such problems as far as possible, aiming at an efficient solution for instances of practical relevance, and to identify the hard kernel of the general problem. My ultimate goal is to understand the question: What makes a problem hard?
Since 2009 I have been holding an ERC Starting Independent Researcher Grant for the research project "The Parameterized Complexity of Reasoning Problems".
I'm co-chairing the Vienna Center for Logic and Algorithms (VCLA).
See my citations at Google Scholar.
See my citation statistics at ArnetMiner.
Most of my papers are also listed at the
DBLP Computer Science Bibliography.