Project Details
Person
Professor Dr. Michael Pradel
Address
CISPA - Helmholtz-Zentrum für Informationssicherheit
RA 4 - Erkennung und Vermeidung von Cyberangriffen
Forschungsgruppe Pradel
Universitätsstraße 38
70569 Stuttgart
-
As Applicant
-
Current projects
-
DeMoCo: Developer-Centered, Neural Models of Code (Research Grants)
-
QPTest: Automated Testing of Quantum Computing Platforms (Research Grants)
-
LExecution: Learning to Guide and Analyze Program Executions (Research Grants)
-
-
Completed projects
-
ConcSys: Reliable and Efficient Complex, Concurrent Software Systems (Emmy Noether Independent Junior Research Groups)
-
-
Current projects
