Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

CISPA - Helmholtz-Zentrum für Informationssicherheit
RA 4 - Erkennung und Vermeidung von Cyberangriffen
Forschungsgruppe Pradel

Adresse Universitätsstraße 38
70569 Stuttgart
Deutschland

GERiT Diese Institution in GERiT

70569 Stuttgart

Projekte

Sachbeihilfen
- laufende Projekte
  - DeMoCo: Entwicklerzentrierte, neuronale Codemodelle
    (Antragsteller Pradel, Michael )
  - LExecution: Lernbasierte Verfahren zum Lenken und Analysieren von Programmausführungen
    (Antragsteller Pradel, Michael )
  - QPTest: Automatisches Testen von Quantenprogrammierplattformen
    (Antragsteller Pradel, Michael )
- abgeschlossene Projekte
  - Perf4JS: Automatisches Beheben von Effizienzproblemen in realer JavaScript-Software
    (Antragsteller Pradel, Michael )
Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - ConcSys: Zuverlässigkeit und Effizienz komplexer, nebenläufiger Softwaresysteme
    (Antragsteller Pradel, Michael )

© 2025 DFG Kontakt / Impressum / Datenschutz