Die Arbeitsgruppe Algorithmik um Michael Kaufmann bearbeitet in ihrer Forschungsarbeit vor allem Themen aus Bereich der Algorithmik.  

Neben grundlegenden Arbeiten zu Graphen und der Analyse von Netzwerken beschäftigen wir uns mit der Entwicklung von Layoutalgorithmen für Netzwerke. Theoretische Arbeiten bilden das Fundament für die Entwicklung von Tools zur Visualisierung von Netzwerken aus verschiedenen Anwendungsbereichen wie Software, Geschäftsprozesse oder auch von technischen und biologischen Netzwerken.  

Zu den eher anwendungsorientierten Arbeiten gehört das Projekt zum Thema "Algorithm Engineering für SAT-Solver", wo wir Algorithmen entwickeln um die Leistung von SAT-Solvern in komplexen industriellen Problemen zu verbessern. Andere algorithmische Themen, zu denen wir beitragen, stammen aus dem Bioinformatikbereich, aus der algorithmischen Geometrie und natürlich auch aus dem Bereich Parallelität.