Schwerpunkt Theoretische Informatik

Die Schnittstelle zwischen Informatik und Mathematik bildet die Theoretische Informatik. Hier wird für mathematische Fragestellungen analysiert, ob und wie schnell man sie mit einem Computer lösen kann.

Forschungsschwerpunkt am Lehrstuhl für Theoretische Informatik ist der Algorithmenentwurf. Hierbei wird eine Fragestellung, die von einem Anwender formuliert wird, möglichst gut in einem mathematischen Problem abstrahiert. Für dieses mathematische Problem werden dann möglichst effiziente Algorithmen entwickelt und diese dann implementiert. Anschließend evaluiert man die gefundene mathematische Abstrahierung und die Effizienz der Algorithmen zusammen mit den Anwendern.

Ein Anwendungsgebiet aus dem viele Interessante algorithmische Fragestellungen stammen, die am Lehrstuhl für Theoretische Informatik untersucht werden, ist die Bioinformatk, so z.B. die Vorhersage von Wasserstoff-Deuterium-Austauschraten aus Daten eines Massenspektrometers. Daneben beschäftigen wir uns mit der formalen Verifikation von komplexen Systemen und mit einer Softwarebibliothek, die es auf einfache Weise ermöglicht effiziente Algorithmen für schwierige Probleme zu implementieren.