Get my own profile
Public access
View all31 articles
1 article
available
not available
Based on funding mandates
Co-authors
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
David CockSenior Researcher, ETH ZurichVerified email at cse.unsw.edu.au
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Kai Engelhardtn.a.Verified email at acm.org
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verified email at ce.pdn.ac.lk
Tony HoskingAustralian National UniversityVerified email at anu.edu.au
Scott OwensUniversity of KentVerified email at kent.ac.uk
Yong Kiam TanInstitute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Charles Gretton, FIEAustThe Australian National UniversityVerified email at anu.edu.au
Mohammad AbdulazizKing's College LondonVerified email at kcl.ac.uk
Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityVerified email at google.com
Tom RidgeIndependentVerified email at tom-ridge.com
Adrian HerreraResearcher, Interrupt LabsVerified email at anu.edu.au
Hendra GunadiThe Australian National UniversityVerified email at anu.edu.au
Johannes Åman PohjolaUniversity of New South WalesVerified email at unsw.edu.au