Get my own profile
Public access
View all30 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Magnus MyreenChalmers University of TechnologyVerified email at cl.cam.ac.uk
David CockGraduate Researcher, NICTA and University of New South WalesVerified email at cse.unsw.edu.au
June AndronickPrincipal Research Scientist, Data61, CSIROVerified email at data61.csiro.au
Gernot HeiserProfessor of Computer Science, UNSW SydneyVerified email at unsw.edu.au
Scott OwensUniversity of KentVerified email at kent.ac.uk
Yong Kiam TanScientist I, Institute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Tony HoskingAustralian National University, Data61Verified email at anu.edu.au
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
Charles GrettonThe Australian National UniversityVerified email at anu.edu.au
Mohammad AbdulazizTechniche Universität MünchenVerified email at in.tum.de
Steve BlackburnResearch Scientist, Google | Professor of Computer Science, Australian National UniversityVerified email at google.com
Tom RidgeIndependentVerified email at tom-ridge.com
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk