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
- 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
- Lars NoschinskiTechnische Universität MünchenVerified email at in.tum.de
- 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