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