Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Liam O'ConnorThe Australian National University and The University of EdinburghVerified email at anu.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Christine RizkallahSenior Lecturer at the University of MelbourneVerified email at unimelb.edu.au
Thomas SewellSenior Research Associate, Cambridge UniversityVerified email at cam.ac.uk
Zilin ChenUNSWVerified email at unswalumni.com
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Ramana KumarDeepMindVerified email at cl.cam.ac.uk
Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Steffen BorgwardtUniversity of Colorado DenverVerified email at ucdenver.edu
Alexander MalkisGuest Researcher, TUMVerified email at daad-alumni.de