Skapa en profil
Offentlig åtkomst
Visa alla36 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
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifierad e-postadress på csl.sri.com
- Sumit Kumar JhaUniversity of Texas at San AntonioVerifierad e-postadress på sumitkumarjha.com
- Sumit GulwaniPartner Research Manager, MicrosoftVerifierad e-postadress på microsoft.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerifierad e-postadress på colorado.edu
- Somesh JhaLubar Chair of Computer Science, University of WisconsinVerifierad e-postadress på cs.wisc.edu
- Wenchao LiAssistant Professor, Boston UniversityVerifierad e-postadress på bu.edu
- Vasumathi RamanVerifierad e-postadress på cds.caltech.edu
- Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideVerifierad e-postadress på ucr.edu
Följ
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Verifierad e-postadress på sri.com - Startsida