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

Detailseite

Person

Druckansicht

Dr. Christian Urban

Adresse King's College London
Faculty of Natural and Mathematical Sciences
Department of Informatics
30 Aldwych
London WC2B 4BG
Großbritannien

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Die Lösung der POPLMARK-Challenge: Neue Techniken zur maschinellen Verifikation der Korrektheit von Programmiersprachen (Emmy Noether-Nachwuchsgruppen)
  - Providing documentation and testcases for the theorem prover Isabelle (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz