Stefan Szeider's  Biography

Bio English (short)

Stefan Szeider is an Austrian computer scientist and a full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), Austria, where he chairs the Algorithms and Complexity Group and the Vienna Center for Logic and Algorithms. Before that he worked for several years at universities in Canada and the UK. He is the first Austrian Computer Scientist who received a grant form the European Research Council (ERC Starting Grant 2009). Szeider's research  focuses on the development and analysis of efficient algorithms for problems that arise in Artificial Intelligence and Automated Reasoning.

Bio English (long)

Stefan Szeider is an Austrian computer scientist who works in the areas of algorithms, logic, computational complexity, and theoretical computer science. His research focuses on the design and analysis of efficient algorithms for hard problems that arise in Artificial Intelligence and Logic. He is a full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), Austria, and head of the Algorithms and Complexity Group.

Previously, Szeider was Lecturer and then Reader at the University of Durham, UK (2004-2009) and a postdoc with Professor Stephen Cook’s Group at the University of Toronto (2002-2004). Szeider received his doctorate in Mathematics from the University of Vienna in 2001.

Szeider has been a co-chair of the Vienna Center for Logic and Algorithms which he founded together with Helmut Veith in 2012.  Szeider chaired ALGO 2017, the largest annual gathering of researchers in the field of Algorithms in Europe.

Szeider has served on the editorial boards of several journals, including the Journal of Computer and System Sciences and the Journal of Artificial Intelligence Research. He is the first Austrian Computer Scientist who received a grant from the European Research Council (ERC Starting Grant 2009). Szeider has been the principal investigator of several research projects, including projects from the EPSRC (UK), the Nuffield Foundation (UK), and the FWF (Austria). Szeider, whose Erdős Number is 2, has published over 170 articles in scientific journals and conference proceedings.

Bio Deutsch (kurz)

Stefan Szeider lehrt und forscht an der Fakultät für Informatik an der TU Wien. Er leitet die Algorithms and Complexity Group und das Vienna Center for Logic and Algorithms. Davor war er mehrere Jahre in Kanada und Großbritannien tätig. Szeider erhielt als erster österreichischer Informatiker einen Förderpreis vom Europäischen Forschungsrat (ERC Starting Grant 2009). Seine Forschungsschwerpunkte beinhalten die Entwicklung und Analyse effizienter Algorithmen für Probleme der künstlichen Intelligenz.

Bio Deutsch (lang)

Stefan Szeider ist Informatikprofessor an der Technischen Universität Wien (TU Wien), wo er der Forschungsgruppe Algorithms and Complexity vorsteht. In seiner Forschung beschäftigt er sich besonders mir der Entwicklung und Analyse von effizienten Algorithmen für die künstliche Intelligenz und Logik und der Komplexitätsanalyse. Vor seiner Berufung an die TU Wien war der promovierte Mathematiker mehrere Jahre als Forscher in Kanada und in Grossbritannien tätig.

Seit 2013 leitet Prof. Szeider auch das Vienna Center for Logic and Algorithms (VCLA), ein Kompetenzzentrum an der Fakultät für Informatik der TU Wien, und moderiert die jährlich stattfindenden Vienna Gödel Lectures. Weiters ist er Juryvorsitzender des Heinz Zemanek Preises für hervorragende Informatikdissertationen. Prof. Szeider war Hauptorganisator der ALGO 2017, dem grössten europäischen Kongress der Algorithmenforschung.

Prof. Szeider hat über 170 wissenschaftliche Arbeiten publiziert und war wissenschaftlicher Leiter mehrere grosser Forschungsprojekte in Großbritannien und Österreich. Er erhielt als erster österreichischer Informatiker einen Förderpreis vom Europäischen Forschungsrat (ERC Starting Grant 2009).

Portraits (royalty  free)