Založit si vlastní profil
Veřejný přístup
Zobrazit všechny31 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Ramana KumarDeepMindE-mailová adresa ověřena na: cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyE-mailová adresa ověřena na: cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichE-mailová adresa ověřena na: cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- Kai Engelhardtn.a.E-mailová adresa ověřena na: acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)E-mailová adresa ověřena na: ce.pdn.ac.lk
- Scott OwensUniversity of KentE-mailová adresa ověřena na: kent.ac.uk
- Tony HoskingAustralian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeE-mailová adresa ověřena na: cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Mohammad AbdulazizKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityE-mailová adresa ověřena na: google.com
- Tom RidgeIndependentE-mailová adresa ověřena na: tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Hendra GunadiThe Australian National UniversityE-mailová adresa ověřena na: anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk