Skapa en profil
Offentlig åtkomst
Visa alla16 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Clark BarrettStanford UniversityVerifierad e-postadress på cs.stanford.edu
- Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerifierad e-postadress på uiowa.edu
- Liana HadareanAmazon Web ServicesVerifierad e-postadress på amazon.com
- Cesare TinelliProfessor of Computer Science, The University of IowaVerifierad e-postadress på uiowa.edu
- Bruno DutertreAmazon Web ServicesVerifierad e-postadress på amazon.com
- Morgan DetersSenior Research Scientist, NYUVerifierad e-postadress på cs.nyu.edu
- Tim KingGoogle IncVerifierad e-postadress på google.com
- Leonardo de MouraAmazon Web ServicesVerifierad e-postadress på amazon.com
- Ákos HajduMeta / WhatsAppVerifierad e-postadress på meta.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifierad e-postadress på csl.sri.com
- Stéphane Graham-LengrandSRI InternationalVerifierad e-postadress på csl.sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerifierad e-postadress på princeton.edu
- Gabriela (Cretu) CiocarlieAssociate Professor at The University of Texas at San AntonioVerifierad e-postadress på cs.columbia.edu
- Jorge A NavasCertoraVerifierad e-postadress på certora.com
- Kshitij Bansalkshitij.ioVerifierad e-postadress på kshitij.io
- Martin SchaefAmazon Web ServicesVerifierad e-postadress på amazon.com
- patrick lincolnSRIVerifierad e-postadress på sri.com
- John RushbySRI InternationalVerifierad e-postadress på csl.sri.com
- Dorsa SadighStanford UniversityVerifierad e-postadress på cs.stanford.edu
- Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeVerifierad e-postadress på matf.bg.ac.rs