Skapa en profil
Offentlig åtkomst
Visa alla25 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifierad e-postadress på unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityVerifierad e-postadress på cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWVerifierad e-postadress på unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Gabriele KellerUtrecht UniversityVerifierad e-postadress på uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghVerifierad e-postadress på anu.edu.au
- Zilin ChenUNSWVerifierad e-postadress på unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerifierad e-postadress på lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyVerifierad e-postadress på unsw.edu.au
- Peter GammieANUVerifierad e-postadress på anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Verifierad e-postadress på huawei.com
- R JefferyUNSWVerifierad e-postadress på cse.unsw.edu.au
- Mark StaplesData61, CSIROVerifierad e-postadress på data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Peter ChubbUNSW, SydneyVerifierad e-postadress på unsw.edu.au
- Timothy BourkeVerifierad e-postadress på tbrk.org
- Sean SeefriedResearch Engineer, NICTAVerifierad e-postadress på nicta.com.au
Följ
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verifierad e-postadress på unimelb.edu.au - Startsida