Crea el meu perfil
Accés públic
Mostra-ho tot35 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Kevin ElphinstoneUniversity of New South WalesCorreu electrònic verificat a cse.unsw.edu.au
- Gerwin KleinProofcraft and UNSWCorreu electrònic verificat a unsw.edu.au
- Pietro Peter AltermattPrincipal Scientist at Trina Solar Inc., Changzhou, ChinaCorreu electrònic verificat a gpvsim.org
- June AndronickCEO and co-founcer, ProofcraftCorreu electrònic verificat a proofcraft.systems
- Prof Armin ABERLENational University of SingaporeCorreu electrònic verificat a nus.edu.sg
- Ihor KuzSenior OS Engineer, Kry10 LtdCorreu electrònic verificat a ikuz.org
- Peter ChubbUNSW, SydneyCorreu electrònic verificat a unsw.edu.au
- David CockSenior Researcher, ETH ZurichCorreu electrònic verificat a cse.unsw.edu.au
- Leonid RyzhykFelderaCorreu electrònic verificat a feldera.com
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalCorreu electrònic verificat a isep.ipp.pt
- Michael NorrishAustralian National UniversityCorreu electrònic verificat a anu.edu.au
- Aaron CarrollAppleCorreu electrònic verificat a apple.com
- Bernard BlackhamCorreu electrònic verificat a largestprime.net
Segueix
Gernot Heiser
Professor of Computer Science, University of New South Wales
Correu electrònic verificat a unsw.edu.au - Pàgina d'inici