Skapa en profil
Offentlig åtkomst
Visa alla9 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Gernot HeiserProfessor of Computer Science, University of New South WalesVerifierad e-postadress på unsw.edu.au
- Maarten van SteenProfessor of Computer Science, Scientific Director of the Digital Society Institute, U. TwenteVerifierad e-postadress på utwente.nl
- Gerwin KleinProofcraft and UNSWVerifierad e-postadress på unsw.edu.au
- Andrew TanenbaumProfessor of Computer Science, Vrije Universiteit, AmsterdamVerifierad e-postadress på cs.vu.nl
- Leonid RyzhykFelderaVerifierad e-postadress på feldera.com
- June AndronickCEO and co-founcer, ProofcraftVerifierad e-postadress på proofcraft.systems
- Matthew FernandezIntel LabsVerifierad e-postadress på intel.com
- Peter ChubbUNSW, SydneyVerifierad e-postadress på unsw.edu.au
- Henk SipsEm. Professor of Computer Science, Delft University of TechnologyVerifierad e-postadress på tudelft.nl
- Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalVerifierad e-postadress på isep.ipp.pt
- Kevin ElphinstoneUniversity of New South WalesVerifierad e-postadress på cse.unsw.edu.au
- Guillaume PierreProfessor of computer science, University of RennesVerifierad e-postadress på irisa.fr
- Anne-Marie KermarrecProfessor, EPFLVerifierad e-postadress på epfl.ch
- Yan LiuAssociate Professor, Concordia University, CanadaVerifierad e-postadress på concordia.ca
- Darren CoferRockwell CollinsVerifierad e-postadress på ieee.org
- Etienne Le SueurNICTAVerifierad e-postadress på nicta.com.au
- Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifierad e-postadress på unimelb.edu.au
- Adam FoltzerFastlyVerifierad e-postadress på acfoltzer.net
- Michael W WhalenAmazon, Inc. and the University of MinnesotaVerifierad e-postadress på cs.umn.edu
- Andrew GacekAmazon Web ServiceVerifierad e-postadress på amazon.com