Mijn eigen profiel maken
Openbare toegang
Alles bekijken31 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Ramana KumarDeepMindGeverifieerd e-mailadres voor cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyGeverifieerd e-mailadres voor cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWGeverifieerd e-mailadres voor unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichGeverifieerd e-mailadres voor cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesGeverifieerd e-mailadres voor unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
- Kai Engelhardtn.a.Geverifieerd e-mailadres voor acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Geverifieerd e-mailadres voor ce.pdn.ac.lk
- Scott OwensUniversity of KentGeverifieerd e-mailadres voor kent.ac.uk
- Tony HoskingAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeGeverifieerd e-mailadres voor cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityGeverifieerd e-mailadres voor google.com
- Tom RidgeIndependentGeverifieerd e-mailadres voor tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Hendra GunadiThe Australian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk