Skapa en profil
Offentlig åtkomst
Visa alla108 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerifierad e-postadress på sri.com
- Wenchao LiAssistant Professor, Boston UniversityVerifierad e-postadress på bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifierad e-postadress på csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerifierad e-postadress på seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Shaz QadeerSoftware Engineer, MetaVerifierad e-postadress på meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryVerifierad e-postadress på csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelVerifierad e-postadress på ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsVerifierad e-postadress på engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyVerifierad e-postadress på cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerifierad e-postadress på cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerifierad e-postadress på sssup.it
- Stephen FreundComputer Science, Williams CollegeVerifierad e-postadress på cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleVerifierad e-postadress på google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaVerifierad e-postadress på umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
Följ
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Verifierad e-postadress på eecs.berkeley.edu - Startsida