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 |
