Skapa en profil
Offentlig åtkomst
Visa alla3 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Cédric FournetMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Karthikeyan BhargavanINRIAVerifierad e-postadress på inria.fr
- Antoine Delignat-LavaudMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Nikhil SwamyMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Georges GonthierPrincipal Researcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Santiago Zanella-BéguelinMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Aseem RastogiResearcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Stephen ChongHarvard UniversityVerifierad e-postadress på seas.harvard.edu
- Owen ArdenAssistant Professor of Computer Science UCSCVerifierad e-postadress på soe.ucsc.edu