Crea il mio profilo
Accesso pubblico
Visualizza tutto32 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Ramana KumarDeepMindEmail verificata su cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyEmail verificata su cl.cam.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeEmail verificata su cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
- David CockSenior Researcher, ETH ZurichEmail verificata su cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail verificata su unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail verificata su proofcraft.systems
- Scott OwensUniversity of KentEmail verificata su kent.ac.uk
- Tony HoskingAustralian National UniversityEmail verificata su anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeEmail verificata su cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityEmail verificata su anu.edu.au
- Kevin ElphinstoneUniversity of New South WalesEmail verificata su cse.unsw.edu.au
- Kai Engelhardtn.a.Email verificata su acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Email verificata su ce.pdn.ac.lk
- Mohammad AbdulazizKing's College LondonEmail verificata su kcl.ac.uk
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityEmail verificata su google.com
- Tom RidgeIndependentEmail verificata su tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityEmail verificata su anu.edu.au
- Hendra GunadiThe Australian National UniversityEmail verificata su anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk