Mijn eigen profiel maken
Openbare toegang
Alles bekijken5 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Gernot HeiserProfessor of Computer Science, University of New South WalesGeverifieerd e-mailadres voor unsw.edu.au
- Gerwin KleinProofcraft and UNSWGeverifieerd e-mailadres voor unsw.edu.au
- Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Geverifieerd e-mailadres voor ce.pdn.ac.lk
- June AndronickCEO and co-founcer, ProofcraftGeverifieerd e-mailadres voor proofcraft.systems
- David CockSenior Researcher, ETH ZurichGeverifieerd e-mailadres voor cse.unsw.edu.au
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideGeverifieerd e-mailadres voor ucr.edu
- Kai Engelhardtn.a.Geverifieerd e-mailadres voor acm.org
- Michael NorrishAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalGeverifieerd e-mailadres voor isep.ipp.pt
- Timothy RoscoeProfessor of Computer Science, ETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
- Peter ChubbUNSW, SydneyGeverifieerd e-mailadres voor unsw.edu.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
- Ihor KuzSenior OS Engineer, Kry10 LtdGeverifieerd e-mailadres voor ikuz.org
- Alain GefflautEngineering Manager Google CloudGeverifieerd e-mailadres voor google.com
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandGeverifieerd e-mailadres voor inf.ethz.ch
- David GreenawayNICTA and School of Computer Science, University of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
- Andreas HaeberlenUniversity of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKGeverifieerd e-mailadres voor justtesting.org
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgGeverifieerd e-mailadres voor uni.lu