Über uns

In unserer Gruppe widmen wir uns der Weiterentwicklung der theoretischen Informatik, insbesondere entwerfen und analysieren wir effiziente Algorithmen für schwierige Probleme und bestimmen die theoretischen Grenzen algorithmischer Ansätze. Unsere Arbeit befasst sich mit einem breiten Spektrum faszinierender Gebiete, darunter die algorithmische Geometrie, die geometrische Graphentheorie, das Graphzeichnen und geometrische Optimierungsprobleme. Einige unserer Mitarbeiter beschäftigen sich mit der Anwendung ausdrucksstarker Typsysteme im computergestützten Beweisen und in der Entwicklung  von per Konstruktion korrekter Software.

Zusätzlich zu unseren Forschungsaktivitäten bieten wir zahlreiche Lehrveranstaltungen in der Theoretischen Informatik an, sowohl auf grundlegendem als auch auf fortgeschrittenem Niveau, z.B. Algorithmen und Datenstrukturen, Effiziente Algorithmen, Algorithmische Graphentheorie. Außerdem betreuen wir Bachelor- und Masterstudierende sowie Doktoranden bei der Erstellung ihrer Abschlussarbeiten zu spannenden Fragestellungen mit algorithmischen Aspekten.

Wir sind immer bestrebt, unsere Perspektiven zu erweitern und Ideen auszutauschen. Bei Interesse an Kooperationen oder anderen Anfragen nehmen Sie bitte Kontakt zu uns auf!