Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Liam O'ConnorThe Australian National University and The University of EdinburghVerified email at anu.edu.au
Zilin ChenUNSWVerified email at unswalumni.com
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
Thomas SewellLecturer, University of New South WalesVerified email at unsw.edu.au
Yutaka NagashimaInstitute of Computer Science, the Czech Academy of SciencesVerified email at cs.cas.cz
Joachim BreitnerLean FROVerified email at joachim-breitner.de
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Kurt MehlhornProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
Rob SisonSchool of Computer Science and Engineering, UNSW SydneyVerified email at unsw.edu.au
Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
Eyad AlkassarVerified email at wjpserver.cs.uni-saarland.de
Yao LiPortland State UniversityVerified email at pdx.edu
June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
Haris AzizUNSW SydneyVerified email at unsw.edu.au
Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
Daniel MatichukPhD Graduate, UNSWVerified email at unswalumni.com
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Follow
Christine Rizkallah
Senior Lecturer at the University of Melbourne
Verified email at unimelb.edu.au - Homepage