Mijn eigen profiel maken
Openbare toegang
Alles bekijken48 artikelen
7 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftGeverifieerd e-mailadres voor csl.sri.com
Sumit Kumar JhaFlorida International University, MiamiGeverifieerd e-mailadres voor sumitkumarjha.com
Sumit GulwaniDistinguished Scientist, MicrosoftGeverifieerd e-mailadres voor microsoft.com
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderGeverifieerd e-mailadres voor colorado.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinGeverifieerd e-mailadres voor cs.wisc.edu
Wenchao LiAssociate Professor, Boston UniversityGeverifieerd e-mailadres voor bu.edu
Vasumathi RamanGeverifieerd e-mailadres voor cds.caltech.edu
Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Trent JaegerProfessor of Computer Science and Engineering, UC RiversideGeverifieerd e-mailadres voor ucr.edu
Volgen

Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Geverifieerd e-mailadres voor sri.com - Homepage