RWTH Aachen University has a particular strength in mathematically-based techniques for the development and analysis of efficient algorithms and reliable programs. Various research groups from theoretical computer science, discrete mathematics, quantum physics, and operations research work on foundational research questions and core problems in the areas of

  • algorithms and complexity
  • software modeling and verification
  • logics and discrete systems
  • combinatorial optimization

The different groups participate in various foundational and applied research projects. The current flagship activity in this research focus is the DFG Research Training Group Algosyn that aims at developing algorithmic methods for the design of reliable soft- and hardware in cooperation with the engineering sciences. As first joint activity within the focus, we organize a colloquium series with outstanding speakers.

Participating chairs: