Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.ac.uk
Alastair BeresfordComputer Laboratory, University of CambridgeVerified email at cam.ac.uk
Martin KleppmannUniversity of CambridgeVerified email at cam.ac.uk
Victor GomesResearch Associate, University of CambridgeVerified email at cl.cam.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerified email at pps.univ-paris-diderot.fr
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerified email at ed.ac.uk
Tom RidgeIndependentVerified email at tom-ridge.com
Scott OwensUniversity of KentVerified email at kent.ac.uk
Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerified email at kerguelen.org
Stephen KellKing's College LondonVerified email at kcl.ac.uk
Susmit SarkarProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Christopher PulteUniversity of CambridgeVerified email at cam.ac.uk
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
François BobotVerified email at bobot.eu
Caroline TrippelAssistant Professor, Stanford UniversityVerified email at stanford.edu