Xem tiểu sử của tôi
Truy cập công khai
Xem tất cả35 bài viết
0 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ả
- Kevin ElphinstoneUniversity of New South WalesEmail được xác minh tại cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWEmail được xác minh tại unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaEmail được xác minh tại gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftEmail được xác minh tại proofcraft.systems
- Prof Armin ABERLENational University of SingaporeEmail được xác minh tại nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdEmail được xác minh tại ikuz.org
- Peter ChubbUNSW, SydneyEmail được xác minh tại unsw.edu.au
- David CockSenior Researcher, ETH ZurichEmail được xác minh tại cse.unsw.edu.au
- Leonid RyzhykFelderaEmail được xác minh tại feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalEmail được xác minh tại isep.ipp.pt
- Michael NorrishAustralian National UniversityEmail được xác minh tại anu.edu.au
- Aaron CarrollAppleEmail được xác minh tại apple.com
- Bernard BlackhamEmail được xác minh tại largestprime.net
Theo dõi
Gernot Heiser
Professor of Computer Science, University of New South Wales
Email được xác minh tại unsw.edu.au - Trang chủ