Get my own profile
Public access
View all28 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
- Christine RizkallahSenior Lecturer at the University of MelbourneVerified email at unimelb.edu.au
- Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
- Liam O'ConnorThe Australian National University and The University of EdinburghVerified email at anu.edu.au
- Gabriele KellerUtrecht UniversityVerified email at uu.nl
- Zilin ChenUNSWVerified email at unswalumni.com
- Rob 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 NagashimaInstitute of Computer Science, the Czech Academy of SciencesVerified email at cs.cas.cz
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
- Van-Thuan PhamSenior Lecturer, 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
- Dongge LiuThe Univeristy of MelbourneVerified email at student.unimelb.edu.au
- Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Follow
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage