Get my own profile
Public access
View all1 article
0 articles
available
not available
Based on funding mandates
Co-authors
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Michael NorrishAustralian National UniversityVerified email at anu.edu.au
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verified email at ce.pdn.ac.lk
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
David CockSenior Researcher, ETH ZurichVerified email at cse.unsw.edu.au
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Yoram MosesTechnionVerified email at ee.technion.ac.il
Peter GammieANUVerified email at anu.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Kaile SuIIIS, Griffith UniversityVerified email at griffith.edu.au
Rob SisonSchool of Computer Science and Engineering, UNSW SydneyVerified email at unsw.edu.au
Tony HoskingAustralian National UniversityVerified email at anu.edu.au
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Ralf HuuckNICTA, UNSWVerified email at cse.unsw.edu.au