Skip to main content

Research

Theoretical computer science deals with the fundamental mathematical and logical principles of the computing and processing of information. In our group, we are dedicated to advancing theoretical computer science, in particular by developing and analyzing efficient algorithms for hard computational problems (often involving geometric aspects, e.g., arising from spatial constraints or geographic information) as well as establishing and understanding limits of algorithmic approaches. Our work deals with a wide range of fascinating areas including

  • algorithms & complexity
  • computational geometry
  • geometric graph theory
  • graph drawing
  • geometric optimization problems
  • type theory

For a list of publications, see the individual researchers' pages.