Založit si vlastní profil
Veřejný přístup
Zobrazit všechny25 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Gerwin KleinProofcraft and UNSWE-mailová adresa ověřena na: unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesE-mailová adresa ověřena na: unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftE-mailová adresa ověřena na: proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityE-mailová adresa ověřena na: cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWE-mailová adresa ověřena na: unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Gabriele KellerUtrecht UniversityE-mailová adresa ověřena na: uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghE-mailová adresa ověřena na: anu.edu.au
- Zilin ChenUNSWE-mailová adresa ověřena na: unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichE-mailová adresa ověřena na: lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyE-mailová adresa ověřena na: unsw.edu.au
- Peter GammieANUE-mailová adresa ověřena na: anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)E-mailová adresa ověřena na: huawei.com
- R JefferyUNSWE-mailová adresa ověřena na: cse.unsw.edu.au
- Mark StaplesData61, CSIROE-mailová adresa ověřena na: data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesE-mailová adresa ověřena na: cse.unsw.edu.au
- Peter ChubbUNSW, SydneyE-mailová adresa ověřena na: unsw.edu.au
- Timothy BourkeE-mailová adresa ověřena na: tbrk.org
- Sean SeefriedResearch Engineer, NICTAE-mailová adresa ověřena na: nicta.com.au
Sledovat
Toby Murray
School of Computing and Information Systems, University of Melbourne
E-mailová adresa ověřena na: unimelb.edu.au - Domovská stránka