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
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified 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
Scott OwensUniversity of KentVerified email at kent.ac.uk
Tony HoskingAustralian National UniversityVerified email at anu.edu.au
Yong Kiam TanInstitute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Charles Gretton, FIEAustThe Australian National UniversityVerified email at anu.edu.au
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
Cezary KaliszykUniversity of MelbourneVerified email at unimelb.edu.au
Thibault GauthierCzech Technical University in PragueVerified email at thibaultgauthier.fr