Skapa en profil
Offentlig åtkomst
Visa alla3 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jade AlglaveARM and University College LondonVerifierad e-postadress på ucl.ac.uk
- Peter SewellComputer Laboratory, University of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Susmit SarkarProfessor of Computer Science, University of St AndrewsVerifierad e-postadress på st-andrews.ac.uk
- Cédric FournetMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Didier RémyINRIAVerifierad e-postadress på inria.fr
- Georges GonthierPrincipal Researcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Shaked FlurCambridge UniversityVerifierad e-postadress på cl.cam.ac.uk
- Christopher PulteUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
- Scott OwensUniversity of KentVerifierad e-postadress på kent.ac.uk
- Cosimo LaneveProfessor of Computer Science, University of BolognaVerifierad e-postadress på unibo.it
- Michael TautschnigQueen Mary University of LondonVerifierad e-postadress på qmul.ac.uk
- ali sezginUniversity of CambridgeVerifierad e-postadress på cam.ac.uk
- Kathryn E. GrayUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Qin MaUniversity of LuxembourgVerifierad e-postadress på uni.lu
- Paul McKenneySoftware Engineer, FacebookVerifierad e-postadress på meta.com
- Alan SchmittInria, IRISAVerifierad e-postadress på inria.fr
- Louis MandelIBM ResearchVerifierad e-postadress på us.ibm.com
- Sela Mador-HaimComputer Information Science, University of PennsylvaniaVerifierad e-postadress på xcitedb.com
- Michael BattyBartlett Professor, Chair CASA, University College LondonVerifierad e-postadress på ucl.ac.uk