Skapa en profil
Offentlig åtkomst
Visa alla2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerifierad e-postadress på amazon.co.uk
- Christian UrbanKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerifierad e-postadress på kcl.ac.uk
- Stéphane Graham-LengrandSRI InternationalVerifierad e-postadress på csl.sri.com
- Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerifierad e-postadress på cs.bham.ac.uk
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
- Aleksandar NanevskiIMDEA Software InstituteVerifierad e-postadress på imdea.org
- Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzVerifierad e-postadress på logic.at
Följ
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Verifierad e-postadress på hw.ac.uk - Startsida