Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
- Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteVerified email at utwente.nl
- Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
- Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamVerified email at cs.vu.nl
- Leonid RyzhykFelderaVerified email at feldera.com
- June AndronickCEO and co-founcer, ProofcraftVerified email at proofcraft.systems
- Matthew FernandezIntel LabsVerified email at intel.com
- Peter ChubbUNSW, SydneyVerified email at unsw.edu.au
- Henk SipsEm. Professor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerified email at isep.ipp.pt
- Kevin ElphinstoneUniversity of New South WalesVerified email at cse.unsw.edu.au
- Guillaume PierreProfessor of computer science, University of RennesVerified email at irisa.fr
- Yan LiuProfessor, Concordia University, CanadaVerified email at concordia.ca
- Anne-Marie KermarrecProfessor, EPFLVerified email at epfl.ch
- Darren CoferRockwell CollinsVerified email at ieee.org
- Etienne Le SueurNICTAVerified email at nicta.com.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
- Adam FoltzerFastlyVerified email at acfoltzer.net
- Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
- Andrew GacekAmazon Web ServiceVerified email at amazon.com