Crea el meu perfil
Accés públic
Mostra-ho tot31 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Ramana KumarDeepMindCorreu electrònic verificat a cl.cam.ac.uk
- Magnus MyreenChalmers University of TechnologyCorreu electrònic verificat a cl.cam.ac.uk
- Gerwin KleinProofcraft and UNSWCorreu electrònic verificat a unsw.edu.au
- Peter SewellComputer Laboratory, University of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- David CockSenior Researcher, ETH ZurichCorreu electrònic verificat a cse.unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesCorreu electrònic verificat a unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftCorreu electrònic verificat a proofcraft.systems
- Kevin ElphinstoneUniversity of New South WalesCorreu electrònic verificat a cse.unsw.edu.au
- Kai Engelhardtn.a.Correu electrònic verificat a acm.org
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Correu electrònic verificat a ce.pdn.ac.lk
- Scott OwensUniversity of KentCorreu electrònic verificat a kent.ac.uk
- Tony HoskingAustralian National UniversityCorreu electrònic verificat a anu.edu.au
- Yong Kiam TanInstitute for Infocomm Research, SingaporeCorreu electrònic verificat a cs.cmu.edu
- Charles Gretton, FIEAustThe Australian National UniversityCorreu electrònic verificat a anu.edu.au
- Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityCorreu electrònic verificat a google.com
- Tom RidgeIndependentCorreu electrònic verificat a tom-ridge.com
- Adrian HerreraPhD student, Australian National UniversityCorreu electrònic verificat a anu.edu.au
- Hendra GunadiThe Australian National UniversityCorreu electrònic verificat a anu.edu.au
- Tom MelhamProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Louise DennisDepartment of Computer Science, University of ManchesterCorreu electrònic verificat a manchester.ac.uk