Get my own profile
Public access
View all27 articles
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
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Thomas SewellSenior Research Associate, Cambridge UniversityVerified email at cam.ac.uk
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
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Robert SisonSchool of Computer Science and Engineering, UNSW SydneyVerified email at unsw.edu.au
Peter GammieANUVerified email at anu.edu.au
Yutaka NagashimaHuawei Technologies R&D (UK)Verified email at huawei.com
Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
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
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Timothy BourkeVerified email at tbrk.org
Sean SeefriedResearch Engineer, NICTAVerified email at nicta.com.au
Follow![Toby Murray](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=Bd8pZGgAAAAJ&citpid=9)
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage