Skapa en profil
Offentlig åtkomst
Visa alla9 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerifierad e-postadress på hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeVerifierad e-postadress på cam.ac.uk
- Martin KleppmannUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaVerifierad e-postadress på unibo.it
- Kathryn E. GrayUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityVerifierad e-postadress på pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghVerifierad e-postadress på ed.ac.uk
- Tom RidgeIndependentVerifierad e-postadress på tom-ridge.com
- Scott OwensUniversity of KentVerifierad e-postadress på kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHVerifierad e-postadress på kerguelen.org
- Stephen KellKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsVerifierad e-postadress på st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghVerifierad e-postadress på hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureVerifierad e-postadress på di.ens.fr
- François BobotVerifierad e-postadress på bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityVerifierad e-postadress på stanford.edu