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

Detailseite

Institution

Druckansicht

King's College London
Faculty of Natural and Mathematical Sciences
Department of Informatics

Adresse 30 Aldwych
London WC2B 4BG
Großbritannien

London WC2B 4BG

Projekte

Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Die Lösung der POPLMARK-Challenge: Neue Techniken zur maschinellen Verifikation der Korrektheit von Programmiersprachen
    (Antragsteller Urban, Christian )
Sachbeihilfen
- abgeschlossene Projekte
  - Kausale Beweisführung in NetKAT
    (Antragstellerin Caltais, Georgiana )
  - Providing documentation and testcases for the theorem prover Isabelle
    (Antragsteller Urban, Christian )
Forschungsstipendien
- abgeschlossene Projekte
  - EUphORia: Endnutzer-orientiertes Recommendersystem für Optimierungstechnologien
    (Antragsteller Strüber, Daniel )
WBP Stipendium
- abgeschlossene Projekte
  - Analyse von Dataset Shifts in mobiler Schadsoftware
    (Antragsteller Arp, Daniel )

© 2024 DFG Kontakt / Impressum / Datenschutz