Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address 30 Aldwych
London WC2B 4BG
Großbritannien

London WC2B 4BG

Projects

Independent Junior Research Groups
- Completed projects
  - Die Lösung der POPLMARK-Challenge: Neue Techniken zur maschinellen Verifikation der Korrektheit von Programmiersprachen
    (Applicant Urban, Christian )
Research Grants
- Completed projects
  - Causal Reasoning in NetKAT
    (Applicant Caltais, Georgiana )
  - Providing documentation and testcases for the theorem prover Isabelle
    (Applicant Urban, Christian )
Research Fellowships
- Completed projects
  - EUphORia: End-User oriented Optimization-Technology Recommender System
    (Applicant Strüber, Daniel )
WBP Fellowship
- Completed projects
  - Analysis of Dataset Shifts in Mobile Malware
    (Applicant Arp, Daniel )

© 2024 DFG Disclaimer / Copyright / Privacy Policy