Crea el meu perfil
Accés públic
Mostra-ho tot9 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKCorreu electrònic verificat a hw.ac.uk
- Alastair BeresfordComputer Laboratory, University of CambridgeCorreu electrònic verificat a cam.ac.uk
- Martin KleppmannUniversity of CambridgeCorreu electrònic verificat a cam.ac.uk
- Victor GomesResearch Associate, University of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Claudio Sacerdoti CoenUniversity of BolognaCorreu electrònic verificat a unibo.it
- Kathryn E. GrayUniversity of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot UniversityCorreu electrònic verificat a pps.univ-paris-diderot.fr
- Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghCorreu electrònic verificat a ed.ac.uk
- Brian CampbellLaboratory for Foundations of Computer Science, University of EdinburghCorreu electrònic verificat a ed.ac.uk
- Tom RidgeIndependentCorreu electrònic verificat a tom-ridge.com
- Scott OwensUniversity of KentCorreu electrònic verificat a kent.ac.uk
- Jaap BoenderFormal Verification Engineer, Hensoldt Cyber GmbHCorreu electrònic verificat a kerguelen.org
- Stephen KellKing's College LondonCorreu electrònic verificat a kcl.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
- Christopher PulteUniversity of CambridgeCorreu electrònic verificat a cam.ac.uk
- James McKinnaHeriot-Watt University, EdinburghCorreu electrònic verificat a hw.ac.uk
- Ilias GarnierPostdoc, École Normale SupérieureCorreu electrònic verificat a di.ens.fr
- François BobotCorreu electrònic verificat a bobot.eu
- Caroline TrippelAssistant Professor, Stanford UniversityCorreu electrònic verificat a stanford.edu
Segueix
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Correu electrònic verificat a amazon.co.uk - Pàgina d'inici