Stand: 13. April 2021
Programmbetreuung (verfahrenstechnisch)
Forschungsgruppen
2083
|
Integrierte Planung im öffentlichen Verkehr |
2975
|
Algorithms, Dynamics, and Information Flow in Networks |
Schwerpunktprogramme
1736
|
Algorithms for Big Data |
1999
|
Robust Argumentation Machines (RATIO) |
2037
|
Skalierbares Datenmanagement für zukünftige Hardware |
2199
|
Skalierbare Interaktionsparadigmen für allgegenwärtige Rechnerumgebungen. |
Programmbetreuung (fachlich)
Exzellenzcluster (ExStra)
2092
|
Cyber-Sicherheit im Zeitalter großskaliger Angreifer (CASA) |
Graduiertenkollegs
1763
|
Quantitative Logiken und Automaten |
1765
|
Systemkorrektheit unter widrigen Umständen - SCARE |
2050
|
Privatheit und Vertrauen für mobile Nutzende |
2153
|
Energiezustandsdaten - Informatik-Methoden zur Erfassung, Analyse und Nutzung |
2236
|
UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic |
2340
|
Computational Cognition |
Sonderforschungsbereiche
901
|
On-The-Fly Computing – Individualisierte IT-Dienstleistungen in dynamischen Märkten |
1053
|
MAKI - Multi-Mechanismen-Adaption für das künftige Internet |
Transregios
248
|
Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt |