Get my own profile
Co-authors
Gerwin KleinData61 and UNSWVerified email at cse.unsw.edu.au
June AndronickPrincipal Research Scientist, Data61, CSIROVerified email at data61.csiro.au
Gernot HeiserProfessor of Computer Science, UNSW Sydney, and Data61, CSIROVerified email at unsw.edu.au
Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
Christine RizkallahAssistant Professor (Lecturer) at the University of New South WalesVerified email at unsw.edu.au
Peter GammieANUVerified email at anu.edu.au
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Robert SisonSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Yutaka NagashimaCIIRC, Czech Technical University, University of InnsbruckVerified email at cvut.cz
Mark StaplesData61, CSIROVerified email at data61.csiro.au
Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
Timothy BourkeVerified email at tbrk.org
Sean SeefriedResearch Engineer, NICTAVerified email at nicta.com.au
David CockGraduate Researcher, NICTA and University of New South WalesVerified email at cse.unsw.edu.au
James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Mark S. MillerChief Scientist, AgoricVerified email at agoric.com
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
Qian GeGoogleVerified email at google.com
Peter ChubbData61, CSIROVerified email at data61.csiro.au
Mark BeaumontDefence Science & Technology GroupVerified email at dst.defence.gov.au
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage