Skapa en profil
Offentlig åtkomst
Visa alla27 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Qi ZhuAssociate Professor of Computer EngineeringVerifierad e-postadress på northwestern.edu
- Natarajan ShankarSRI International Computer Science LaboratoryVerifierad e-postadress på csl.sri.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerifierad e-postadress på sri.com
- Shankar SastryUniversity of CaliforniaVerifierad e-postadress på berkeley.edu
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerifierad e-postadress på princeton.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifierad e-postadress på csl.sri.com
- Pramod SubramanyanIndian Institute of Technology KanpurVerifierad e-postadress på cse.iitk.ac.in
- Adrià GascónGoogle ResearchVerifierad e-postadress på google.com
- patrick lincolnSRIVerifierad e-postadress på sri.com
- Alberto PuggelliPh.D., Apple Inc.Verifierad e-postadress på eecs.berkeley.edu
- Daniel HolcombAssociate Professor, University of MassachusettsVerifierad e-postadress på engin.umass.edu
- Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGVerifierad e-postadress på tttech.com
- Bowen ZhengPony.AIVerifierad e-postadress på ucr.edu
- Alessandro ForinPrincipal Researcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerifierad e-postadress på cs.huji.ac.il
- Victor ShiaUC BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Katherine Driggs-CampbellAssistant Professor, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- Roozbeh JafariTexas A&M UniversityVerifierad e-postadress på tamu.edu