Algorithms and Complexity Group
  • People
  • Research
  • Courses
  • Talks
  • Jobs
  • Contact

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
Twitter

Biography

 


Academic Affiliations. I am a full professor and chair at TU Wien, Vienna, Austria, and head of the Algorithms and Complexity Group. I am a co-chair of the Vienna Center for Logic and Algorithms (VCLA).  Previously I held academic positions at the University of Durham (UK), the University of Toronto (Can), and the Austrian Academy of Sciences (AT).

Research. In my research, I combine algorithmic and logic-based methods to solve hard computational problems that arise in Artificial Intelligence, Automated Reasoning, and Combinatorial Optimziation. The design of efficient algorithms is complemented by complexity-theoretic methods for establishing theoretical limits and lower bounds. I have been the principal investigator of several research projects, including projects from the ERC (EU), the EPSRC (UK), the Nuffield Foundation (UK), the FWF (Austria), and the WWTF (Austria). My Erdős Number is 2, and I have published over 180 articles in scientific journals and conference proceedings. See here for an updated list of publications.

Editorial. I am a member of the editorial boards of  the Journal of Computer and System Sciences (JCSS) and the Journal of Artificial Intelligence Research (JAIR). Previously, I have served as an editor of the Journal of Discrete Algorithms (2014—2018),  Fundamenta Informaticae (2012—2018), and I was a guest editor of Algorithmica (2015) and Discrete Applied Mathematics (2020). I have co-edited the Proceedings of IPEC 2013, COMMA 2012, and SAT 2000,

Academic Activities.   I am the coordinator of the research focus Logic and Computation (one of the four research foci at the Faculty of Informatics), the scientific co-organizer of the Vienna Gödel Lectures. the deputy speaker of the Doctoral Program Logical Methods in Computer Science (LogiCS), and the chair of the jury for the Heinz Zemanek Dissertation Price of the Austrian Computer Society

Public Outreach. I'm engaged in dissemination activities of Computer Science to children and young people;  I am a founding member of the initiative ADA (Algorithms Think Differently) and the initiator of the video competition Algorithms in 60 Seconds. I have created a contemporary version of the Garey-Johnson Cartoon and an OBDD representation of the US presidential election. Here is some recent media coverage.

Teaching. I am responsible for the Algorithms and Data Structures course (Bachelor's) and Algorithmics (Master's).  The former course was nominated for the Best Distance Learning Award 2020.

Awards and Prizes. I received a Best Paper Award at CP 2020 (with Tomas Peitl), and a first prize in the PACE 2019 competition (with Andre Schidler). I was the first Austrian Computer Scientist to receive an award from the European Research Council (ERC Start 2009).

Graduate Students and Postdocs. My current students and postdocs are Andre Schidler (PhD), Vaidyanathan P. R. (PhD), Friedrich Slivovsky (Postdoc), and Jan Dereier (Postdoc). Former Postdocs were Robert Ganian (now Prof. at TU Wien), Sebastian Ordyniak (now U Leeds), Simone Bova, Ramanujan Sridharan (now U Warwick), Serge Gaspers (now UNSW), Neeldhara Misra (now IIT Gandhinaga), Marko Samer. My former graduate students were Tomas Peitl (PhD 2019, now U Jena), Neha Lodha (PhD 2019, Best Student paper at SAT 2016, now Mondi Group), Eduard Eiben (PhD 2018 received Austria's Award of Excellence, now RHUL, U London),  Ronald de Haan (PhD 2016 received the Beth Dissertation Prize, now U Amsterdam), Johannes Fichte (PhD 2015, now U Dresden), Friedrich Slivovsky (PhD 2015, now TU Wien), Luke Mathieson (PhD 2010, now UT Sydney).

Conferences.  UAI 2021 (PC), SOCS 2021 (PC), SAT 2021 (PC),   AAAI 2021 (SPC), SOCS 2020 (PC),  NeurIPS 2020 (PC), CP 2020 (PC),  IJCAI-PRICAI 2020 (SPC),  SAT 2020 (PC), CPAIOR 2020 (PC), GROW 2019 (cochair), SoCS 2019 (PC),  CP 2019 (PC), IJCAI 2019 (SPC), ICALP 2019 (PC), SAT 2018, IJCAI-ECAI 2018 (SPC), ALGO 2017 (chair),  SAT 2017 (PC),  IPEC 2016 (PC), STACS 2016 (PC), SAT 2016 (PC), BeyondNP 2016 (PC), IJCAI 2016 (SPC),  SAT 2015 (PC), IJCAI 2015 (SPC), FLoC 2014 (workshop chair),  ECAI 2014 (PC),  SAT 2014 (PC), STAIRS 2014 (PC),  ECAI 2014 (PC),  ISAIM 2014 (PC),  IPEC 2013 (co-chair),  SAT 2013 (PC), CP 2013 (SPC), QBF 2013 (PC), IJCAI 2013 (SPC), CP 2012 (PC),  AAAI 2012 (PC),  MEMICS 2012 (PC),  SAT 2012 (PC),  SAT 2011 (PC),  NECTAR 2011 (PC),  MFCS 2010 (PC), ISAIM 2010 (PC),  NECTAR 2010 (PC),  SAT 2010 (co-chair),  IWPEC 2009 (PC),  IJCAI 2009 (PC),  SAT 2009 (PC),  CATS 2009 (PC), ASCW 2009,  IWPEC 2008 (PC),  AAAI 2008 (PC),  SAT 2008 (PC),  SAT 2007,  SAT 2006 (PC),  WADS 2005 (PC),  SAT 2005 (PC).

News

  • Martin Nöllenburg: promotion to Full Professor

    Martin Nöllenburg: promotion to Full Professor

    2020-12-17
    By December 1st, 2020, our colleague Martin Nöllenburg has been promoted to Full Professor for Graph and Geometric Algorithms.  Martin has …Read More »
  • Martin Kronegger wins the Best Teaching Award 2020

    Martin Kronegger wins the Best Teaching Award 2020

    2020-10-23
    Congratulations to Martin Kronegger who received a Best Teaching Award 2020 from TU Wien. The Algorithms and Complexity group is …Read More »
  • Welcome to our Feodor Lynen Fellow Dr. Manuel Sorge

    Welcome to our Feodor Lynen Fellow Dr. Manuel Sorge

    2020-10-12
    On October 1, 2020, Dr. Manuel Sorge has joined the Algorithms and Complexity group with a prestigious Feodor Lynen postdoc …Read More »
  • TU Wien students excel at the 2020 Graph Drawing Contest

    TU Wien students excel at the 2020 Graph Drawing Contest

    2020-10-01
    The 27th annual Graph Drawing Contest, held (virtually) in conjunction with the 28th International Symposium on Graph Drawing and Network …Read More »
  • Best Paper Award at CP’2020

    Best Paper Award at CP’2020

    2020-09-11
    Tomáš Peitl and Stefan Szeider won the Best Paper Award at the main track of CP'2020, the 26th International Conference on Principles …Read More »

News archive

All news for 2015, 2016, 2017, 2018 and 2019.
TU Wien Informatics
Offenlegung (§25 MedienG) Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. – Disclaimer – Datenschutzerklärung
Log in requires cookies.