Das Team
Leiter Arbeitsgruppe Algorithmen


30167 Hannover


Wissenschaftlicher Mitarbeiter


30167 Hannover


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. 2024 → 31 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 2023 → 30 Apr. 2026
Projekt: Forschung