Založit si vlastní profil
Veřejný přístup
Zobrazit všechny2 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Peter O'HearnLacework and University College LondonE-mailová adresa ověřena na: ucl.ac.uk
- Byron CookProfessor of Computer Science, UCL, AmazonE-mailová adresa ověřena na: cs.ucl.ac.uk
- Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenE-mailová adresa ověřena na: gu.se
- Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteE-mailová adresa ověřena na: ucl.ac.uk
- Benjamin A HallRoyal Society URF, UCLE-mailová adresa ověřena na: ucl.ac.uk
- Tom CrickSwansea University, UK (@ProfTomCrick)E-mailová adresa ověřena na: swansea.ac.uk
- Alex TaylorDesign Informatics, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Josh BerdineFacebookE-mailová adresa ověřena na: fb.com
- Moshe Y. VardiRice UniversityE-mailová adresa ověřena na: cs.rice.edu
- Magnus MyreenChalmers University of TechnologyE-mailová adresa ověřena na: cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsE-mailová adresa ověřena na: st-andrews.ac.uk
- Francesco Zappa NardelliFacebookE-mailová adresa ověřena na: fb.com
- Jade AlglaveARM and University College LondonE-mailová adresa ověřena na: ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Nathan ChongAmazonE-mailová adresa ověřena na: amazon.com
- Aseem RastogiResearcher, Microsoft ResearchE-mailová adresa ověřena na: microsoft.com
- Markulf KohlweissUniveristy of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Karthikeyan BhargavanINRIAE-mailová adresa ověřena na: inria.fr
- Marc BrockschmidtResearch Scientist, Google DeepMindE-mailová adresa ověřena na: google.com
- Christoph M. WintersteigerImandraE-mailová adresa ověřena na: imandra.ai