Crea el meu perfil
Accés públic
Mostra-ho tot25 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Gerwin KleinProofcraft and UNSWCorreu electrònic verificat a unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesCorreu electrònic verificat a unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftCorreu electrònic verificat a proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityCorreu electrònic verificat a cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWCorreu electrònic verificat a unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneCorreu electrònic verificat a unimelb.edu.au
- Gabriele KellerUtrecht UniversityCorreu electrònic verificat a uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghCorreu electrònic verificat a anu.edu.au
- Zilin ChenUNSWCorreu electrònic verificat a unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichCorreu electrònic verificat a lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyCorreu electrònic verificat a unsw.edu.au
- Peter GammieANUCorreu electrònic verificat a anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Correu electrònic verificat a huawei.com
- R JefferyUNSWCorreu electrònic verificat a cse.unsw.edu.au
- Mark StaplesData61, CSIROCorreu electrònic verificat a data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneCorreu electrònic verificat a unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesCorreu electrònic verificat a cse.unsw.edu.au
- Peter ChubbUNSW, SydneyCorreu electrònic verificat a unsw.edu.au
- Timothy BourkeCorreu electrònic verificat a tbrk.org
- Sean SeefriedResearch Engineer, NICTACorreu electrònic verificat a nicta.com.au
Segueix
Toby Murray
School of Computing and Information Systems, University of Melbourne
Correu electrònic verificat a unimelb.edu.au - Pàgina d'inici