Forschung

Die theoretische Informatik befasst sich mit den grundlegenden mathematischen und logischen Prinzipien des Berechnens und der Verarbeitung von Informationen. In unserer Gruppe widmen wir  uns der Weiterentwicklung der theoretischen Informatik, insbesondere entwerfen und analysieren wir effiziente Algorithmen für schwierige Probleme (oft mit geometrischen Aspekten, die sich zum Beispiel aus räumlichen Nebenbedingungen oder geographischen Informationen ergeben) und bestimmen die theoretischer Grenzen algorithmischer Ansätze.

Unsere Arbeit befasst sich mit einem breiten Spektrum faszinierender Gebiete, darunter

• Algorithmen und Komplexität
• Algorithmische Geometrie
• Geometrische Graphentheorie
• Graphenzeichnen
• Geometrische Optimierungsprobleme
• Typentheorie

Publikationslisten sind auf den Webseiten der einzelnen Forschenden zu finden.