Xem tiểu sử của tôi
Truy cập công khai
Xem tất cả25 bài viết
1 bài viết
có sẵn
không có sẵn
Dựa trên yêu cầu tài trợ
Đồng tác giả
- Gerwin KleinProofcraft and UNSWEmail được xác minh tại unsw.edu.au
- Gernot HeiserProfessor of Computer Science, University of New South WalesEmail được xác minh tại unsw.edu.au
- June AndronickCEO and co-founcer, ProofcraftEmail được xác minh tại proofcraft.systems
- Thomas SewellSenior Research Associate, Cambridge UniversityEmail được xác minh tại cam.ac.uk
- Daniel MatichukPhD Graduate, UNSWEmail được xác minh tại unswalumni.com
- Christine RizkallahSenior Lecturer at the University of MelbourneEmail được xác minh tại unimelb.edu.au
- Gabriele KellerUtrecht UniversityEmail được xác minh tại uu.nl
- Liam O'ConnorThe Australian National University and The University of EdinburghEmail được xác minh tại anu.edu.au
- Zilin ChenUNSWEmail được xác minh tại unswalumni.com
- Gidon ErnstSoftware and Computational Systems Lab, LMU MunichEmail được xác minh tại lmu.de
- Robert SisonSchool of Computer Science and Engineering, UNSW SydneyEmail được xác minh tại unsw.edu.au
- Peter GammieANUEmail được xác minh tại anu.edu.au
- Yutaka NagashimaHuawei Technologies R&D (UK)Email được xác minh tại huawei.com
- R JefferyUNSWEmail được xác minh tại cse.unsw.edu.au
- Mark StaplesData61, CSIROEmail được xác minh tại data61.csiro.au
- Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneEmail được xác minh tại unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesEmail được xác minh tại cse.unsw.edu.au
- Peter ChubbUNSW, SydneyEmail được xác minh tại unsw.edu.au
- Timothy BourkeEmail được xác minh tại tbrk.org
- Sean SeefriedResearch Engineer, NICTAEmail được xác minh tại nicta.com.au
Theo dõi
Toby Murray
School of Computing and Information Systems, University of Melbourne
Email được xác minh tại unimelb.edu.au - Trang chủ