Skapa en profil
Offentlig åtkomst
Visa alla13 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Stephen FreundComputer Science, Williams CollegeVerifierad e-postadress på cs.williams.edu
- Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityVerifierad e-postadress på felleisen.org
- Shaz QadeerSoftware Engineer, MetaVerifierad e-postadress på meta.com
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityVerifierad e-postadress på bias2build.com
- Tim DisneyUniversity of California Santa CruzVerifierad e-postadress på ucsc.edu
- Mark LillibridgeFacebookVerifierad e-postadress på cs.cmu.edu
- Caitlin SadowskiGoogleVerifierad e-postadress på google.com
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerifierad e-postadress på cs.ucsc.edu
- Patrice GodefroidLaceworkVerifierad e-postadress på lacework.net
- Robert Bruce FindlerNorthwestern UniversityVerifierad e-postadress på cs.northwestern.edu
- Amr SabryProfessor of Computer Science, Indiana UniversityVerifierad e-postadress på indiana.edu
- Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerifierad e-postadress på cs.brown.edu
- Matthew FlattProfessor, School of Computing, University of UtahVerifierad e-postadress på cs.utah.edu
- Jean YangMITVerifierad e-postadress på cs.cmu.edu
- Christopher SchusterVerifierad e-postadress på ucsc.edu
- John ClementsProfessor of Computer Science, Cal Poly State UniversityVerifierad e-postadress på calpoly.edu
- Mooly SagivTel Aviv UniversityVerifierad e-postadress på acm.org
- Armando Solar-LezamaMITVerifierad e-postadress på csail.mit.edu
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Yannis SmaragdakisUniversity of AthensVerifierad e-postadress på di.uoa.gr
Följ
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
Verifierad e-postadress på ucsc.edu - Startsida