Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
- Benjamin A HallRoyal Society URF, UCLVerified email at ucl.ac.uk
- Tom CrickProfessor of Digital Policy, Swansea University, UKVerified email at swansea.ac.uk
- Alex TaylorDesign Informatics, University of EdinburghVerified email at ed.ac.uk
- Josh BerdineSkipLabsVerified email at berdine.net
- Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
- Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
- Francesco Zappa NardelliFacebookVerified email at fb.com
- Jade AlglaveARM and University College LondonVerified email at ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
- Nathan ChongAmazonVerified email at amazon.com
- Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
- Markulf KohlweissUniveristy of EdinburghVerified email at ed.ac.uk
- Karthikeyan BhargavanINRIAVerified email at inria.fr
- Marc BrockschmidtResearch Scientist, Google DeepMindVerified email at google.com
- Christoph M. WintersteigerImandraVerified email at imandra.ai