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.

Martin Nöllenburg
Martin Nöllenburg M. Nöllenburg

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

Günther Raidl
Günther Raidl G. Raidl

Associate Professor
Ao.Univ.Prof. DI Dr.

Stefan Szeider
Stefan Szeider S. Szeider

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

Marko Djukanovic
Marko Djukanovic M. Djukanovic

PreDoc Researcher
MSc

Herbert Fleischner
Herbert Fleischner H. Fleischner

PostDoc Researcher
Ao.Univ.Prof. Dr.

Nikolaus Frohner
Nikolaus Frohner N. Frohner

PreDoc Researcher
DI /BSc

Robert Ganian
Robert Ganian R. Ganian

PostDoc Researcher with Habilitation
PhD

Thekla Hamm
Thekla Hamm T. Hamm

PreDoc Researcher
MSc

Matthias Horn
Matthias Horn M. Horn

PreDoc Researcher
DI /BSc

Thomas Jatschka
Thomas Jatschka T. Jatschka

PreDoc Researcher
DI /BSc

Benedikt Klocker
Benedikt Klocker B. Klocker

PreDoc Researcher
DI DI /BSc

Fabian Klute
Fabian Klute F. Klute

PreDoc Researcher
BSc MSc

Guangping Li
Guangping Li G. Li

PreDoc Researcher
MSc

Daniel Obszelka
Daniel Obszelka D. Obszelka

PreDoc Researcher
Mag.

Friedrich Slivovsky
Friedrich Slivovsky F. Slivovsky

PostDoc Researcher
DI Dr.

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 .