Get my own profile
Public access
View all24 articles
1 article
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
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
Christine RizkallahSenior Lecturer at the University of MelbourneVerified email at unimelb.edu.au
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Liam O'ConnorThe Australian National University and The University of EdinburghVerified email at anu.edu.au
Zilin ChenUNSWVerified email at unswalumni.com
Robert SisonSchool of Computer Science and Engineering, UNSW SydneyVerified email at unsw.edu.au
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Peter GammieANUVerified email at anu.edu.au
Yutaka NagashimaHuawei Technologies R&D (UK)Verified email at huawei.com
R JefferyUNSWVerified email at cse.unsw.edu.au
Mark StaplesData61, CSIROVerified email at data61.csiro.au
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Timothy BourkeVerified email at tbrk.org
Sean SeefriedResearch Engineer, NICTAVerified email at nicta.com.au
David CockSenior Researcher, ETH ZurichVerified email at cse.unsw.edu.au
Follow
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage