Arbeitsgruppe Algorithmen

Die Arbeitsgruppe Algorithmen beschäftigt sich mit der theoretischen Erforschung und Entwicklung effizienter Verfahren zur Lösung komplexer Probleme. Im Mittelpunkt stehen die Analyse von Komplexität (Laufzeit und Speicherbedarf) und Korrektheit von Algorithmen sowie die Entwicklung neuer algorithmischer Konzepte. Zu den zentralen Themen gehören parametrisierte Komplexität und Algorithmik, Enumerationsalgorithmen und logische Ansätze. Ziel ist es, grundlegende Prinzipien und innovative Ansätze zu erforschen, die das Verständnis und die Weiterentwicklung der Algorithmik vorantreiben.


Das Team

Leiter Arbeitsgruppe Algorithmen

© PicturePeople
Prof. Dr. rer. nat. Arne Meier
Professorinnen und Professoren
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum
© PicturePeople
Prof. Dr. rer. nat. Arne Meier
Professorinnen und Professoren
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum

Wissenschaftlicher Mitarbeiter

Nicolas Fröhlich, M. Sc.
Wissenschaftliche Mitarbeiterinnen und Mitarbeiter
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum
Nicolas Fröhlich, M. Sc.
Wissenschaftliche Mitarbeiterinnen und Mitarbeiter
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum

Aktuelle Forschungsprojekte

Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik

Meier, A. (Projektleiter*in (Principal Investigator)), Vollmer, H. (Projektmitarbeiter*in), Barlag, T. (Projektmitarbeiter*in), Fröhlich, N. F. H. (Projektmitarbeiter*in), Holzapfel, V. (Projektmitarbeiter*in) & Strieker, L. (Projektmitarbeiter*in)

1 Jan. 202431 Dez. 2025

Projekt: Forschung

Teamlogiken: Neue Brücken zu Datenbank-Reparaturen

Meier, A. (Projektleiter*in (Principal Investigator)) & Fröhlich, N. F. H. (Projektmitarbeiter*in)

1 Mai 202330 Apr. 2026

Projekt: Forschung