TU Wien Informatics

About

Our research unit is concerned with the development and analysis of efficient algorithms for hard computational problems that arise in practical applications, as well as the establishment of theoretical limits of algorithmic approaches.

In particular, the group considers problems arising in the areas of Combinatorial Optimisation, Artificial Intelligence, Automated Reasoning, Planning and Scheduling, Network Design, Cutting and Packing, Network Visualization, and Cartography.

Among the methods the group’s research builds upon are mathematical programming techniques, satisfiability solving techniques, metaheuristics, graph algorithms, computational geometry, fixed-parameter algorithms, constraint-based methods, and machine learning.

The group contributes to the research area Logic and Computation which is among the four focus areas at our faculty.

Algorithms and Complexity is part of the faculty’s Institute of Logic and Computation.

Jiehua Chen
Jiehua Chen

Assistant Professor
Asst.Prof. Dr.

Martin Nöllenburg
Martin Nöllenburg

Associate Professor
Assoc.Prof. Dipl.-Inf. Dr.

Günther Raidl
Günther Raidl

Associate Professor
Ao.Univ.Prof. DI Dr.

Stefan Szeider
Stefan Szeider

Head of Research Unit
Univ.Prof. Mag. Dr.

Marko Djukanovic
Marko Djukanovic

PreDoc Researcher
MSc

Nikolaus Frohner
Nikolaus Frohner

PreDoc Researcher
DI /BSc

Robert Ganian
Robert Ganian

PostDoc Researcher with Habilitation
PhD

Matthias Horn
Matthias Horn

PreDoc Researcher
DI /BSc

Thomas Jatschka
Thomas Jatschka

PreDoc Researcher
DI /BSc

Fabian Klute
Fabian Klute

PreDoc Researcher
BSc MSc

Guangping Li
Guangping Li

PreDoc Researcher
MSc

Soeren Nickel
Soeren Nickel

PreDoc Researcher
DI /BA

Daniel Obszelka
Daniel Obszelka

PreDoc Researcher
Mag.

Andre Schidler
Andre Schidler

PreDoc Researcher
DI /BSc

Friedrich Slivovsky
Friedrich Slivovsky

PostDoc Researcher
DI Dr.

Anais Villedieu
Anais Villedieu

PreDoc Researcher

Doris Dicklberger
Doris Dicklberger

Administration
Mag.

Andreas Müller
Andreas Müller

IT Services
DI

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

 

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

 

  • Stefan Szeider: The Parameterized Complexity of Reasoning Problems / ERC Europäischer Forschungsrat / 2010
  • Hermann Kaindl: Auszeichnung: Distinguished Scientist Member der ACM / Distinguished Scientist Member der ACM / Website / 2008
  • Hermann Kaindl: Ernennung zum Distinguished Scientist Member der ACM (Association for Computing Machinery) / USA / 2008
  • Günther Raidl: Marie-Curie Research Training Network: Algorithmic Descrete Optimization Network (ADONET) - Austrian Coordinator / EC Europäische Komission - Marie Curie / Website / Project / 2004
  • Hermann Kaindl: Auszeichnung: Senior Member IEEE / Senior Member IEEE / 1998
  • Hermann Kaindl: Ernennung zum Senior Member der IEEE (The Institute of Electrical and Electronics Engineers) / USA / 1998

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Algorithms and Complexity’s research profile in TISS .