Get my own profile
Public access
View all46 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