Skapa en profil
Offentlig åtkomst
Visa alla31 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Ramana KumarDeepMindVerifierad e-postadress på cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyVerifierad e-postadress på cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichVerifierad e-postadress på cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifierad e-postadress på unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Kai Engelhardtn.a.Verifierad e-postadress på acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifierad e-postadress på ce.pdn.ac.lk
- Scott OwensUniversity of KentVerifierad e-postadress på kent.ac.uk
- Tony HoskingAustralian National UniversityVerifierad e-postadress på anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeVerifierad e-postadress på cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityVerifierad e-postadress på anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityVerifierad e-postadress på google.com
- Tom RidgeIndependentVerifierad e-postadress på tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityVerifierad e-postadress på anu.edu.au
- Hendra GunadiThe Australian National UniversityVerifierad e-postadress på anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterVerifierad e-postadress på manchester.ac.uk