Stefan Szeider: Press Material and Media

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. 2009 wurde seine Arbeit mit einem ERC Starting Grant ausgezeichnet. 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 160 wissenschaftliche Arbeiten publiziert und war wissenschaftlicher Leiter mehrere grosser Forschungsprojekte, darunter einem ERC Starting Grant (2009) vom europäischen Forschungsrat, sowie von Forschungsprojekten in Grossbritannien und vom österreichischen Wissenschaftsfonts.

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. In 2009, he received an ERC starting grant. 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, and since its inauguration in 2013, he has been hosting the annual Vienna Gödel Lecture. 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. Szeider has been the principal investigator of several research projects, including an ERC Starting Grant (2009) and projects from the EPSRC (UK), the Nuffield Foundation (UK), and the FWF (Austria). Szeider, whose Erdős Number is 2, has published over 160 articles in scientific journals and conference proceedings.

Portraits (royalty  free)