Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
Dominic MulliganPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.co.uk
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Dr. Claus-Peter WirthResearch Fellow, FB AI, Hochschule HarzVerified email at logic.at
Follow
Murdoch Gabbay
Lecturer in Computer Science at Heriot-Watt University, Edinburgh, UK
Verified email at hw.ac.uk - Homepage