Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Alastair BeresfordComputer Laboratory, University of CambridgeVerified email at cam.ac.uk
Martin KleppmannUniversity of CambridgeVerified email at cam.ac.uk
Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.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
Caroline TrippelAssistant Professor, Stanford UniversityVerified email at stanford.edu
Nikos NikolerisPrincipal Research Engineer, Arm ResearchVerified email at arm.com
Yao HsiaoStanford UniversityVerified email at stanford.edu
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