Skapa en profil
Offentlig åtkomst
Visa alla30 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifierad e-postadress på unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Kevin ElphinstoneUniversity of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifierad e-postadress på in.tum.de
- Michael NorrishAustralian National UniversityVerifierad e-postadress på anu.edu.au
- David CockSenior Researcher, ETH ZurichVerifierad e-postadress på cse.unsw.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdVerifierad e-postadress på ikuz.org
- Liam O'ConnorThe Australian National University and The University of EdinburghVerifierad e-postadress på anu.edu.au
- Gabriele KellerUtrecht UniversityVerifierad e-postadress på uu.nl
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifierad e-postadress på ce.pdn.ac.lk
- Christine RizkallahSenior Lecturer at the University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Kai Engelhardtn.a.Verifierad e-postadress på acm.org
- Peter GammieANUVerifierad e-postadress på anu.edu.au
- Daniel MatichukPhD Graduate, UNSWVerifierad e-postadress på unswalumni.com
- Matthew FernandezIntel LabsVerifierad e-postadress på intel.com
- Yutaka NagashimaHuawei Technologies R&D (UK)Verifierad e-postadress på huawei.com
- Mark StaplesData61, CSIROVerifierad e-postadress på data61.csiro.au
- R JefferyUNSWVerifierad e-postadress på cse.unsw.edu.au
- David GreenawayNICTA and School of Computer Science, University of New South WalesVerifierad e-postadress på cse.unsw.edu.au