Detailseite
Professor Dr. Michael Pradel
Adresse
CISPA - Helmholtz-Zentrum für Informationssicherheit
RA 4 - Erkennung und Vermeidung von Cyberangriffen
Forschungsgruppe Pradel
Universitätsstraße 38
70569 Stuttgart
-
Als Antragsteller
-
laufende Projekte
-
DeMoCo: Entwicklerzentrierte, neuronale Codemodelle (Sachbeihilfen)
-
QPTest: Automatisches Testen von Quantenprogrammierplattformen (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
ConcSys: Zuverlässigkeit und Effizienz komplexer, nebenläufiger Softwaresysteme (Emmy Noether-Nachwuchsgruppen)
-
-
laufende Projekte
