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