Get my own profile
Public access
View all48 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
Sumit Kumar JhaFlorida International University, MiamiVerified email at sumitkumarjha.com
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Wenchao LiAssociate Professor, Boston UniversityVerified email at bu.edu
Vasumathi RamanVerified email at cds.caltech.edu
Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Trent JaegerProfessor of Computer Science and Engineering, UC RiversideVerified email at ucr.edu
Follow

Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Verified email at sri.com - Homepage