Crea el meu perfil
Accés públic
Mostra-ho tot2 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Peter O'HearnLacework and University College LondonCorreu electrònic verificat a ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonCorreu electrònic verificat a cs.ucl.ac.uk
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenCorreu electrònic verificat a gu.se
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteCorreu electrònic verificat a ucl.ac.uk
- Benjamin A HallRoyal Society URF, UCLCorreu electrònic verificat a ucl.ac.uk
- Tom CrickSwansea University, UK (@ProfTomCrick)Correu electrònic verificat a swansea.ac.uk
- Alex TaylorDesign Informatics, University of EdinburghCorreu electrònic verificat a ed.ac.uk
- Josh BerdineFacebookCorreu electrònic verificat a fb.com
- Moshe Y. VardiRice UniversityCorreu electrònic verificat a cs.rice.edu
- Magnus MyreenChalmers University of TechnologyCorreu electrònic verificat a cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsCorreu electrònic verificat a st-andrews.ac.uk
- Francesco Zappa NardelliFacebookCorreu electrònic verificat a fb.com
- Jade AlglaveARM and University College LondonCorreu electrònic verificat a ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Nathan ChongAmazonCorreu electrònic verificat a amazon.com
- Aseem RastogiResearcher, Microsoft ResearchCorreu electrònic verificat a microsoft.com
- Markulf KohlweissUniveristy of EdinburghCorreu electrònic verificat a ed.ac.uk
- Karthikeyan BhargavanINRIACorreu electrònic verificat a inria.fr
- Marc BrockschmidtResearch Scientist, Google DeepMindCorreu electrònic verificat a google.com
- Christoph M. WintersteigerImandraCorreu electrònic verificat a imandra.ai