Crea el meu perfil
Accés públic
Mostra-ho tot37 articles
2 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftCorreu electrònic verificat a csl.sri.com
- Sumit Kumar JhaUniversity of Texas at San AntonioCorreu electrònic verificat a sumitkumarjha.com
- Sumit GulwaniPartner Research Manager, MicrosoftCorreu electrònic verificat a microsoft.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderCorreu electrònic verificat a colorado.edu
- Somesh JhaLubar Chair of Computer Science, University of WisconsinCorreu electrònic verificat a cs.wisc.edu
- Wenchao LiAssistant Professor, Boston UniversityCorreu electrònic verificat a bu.edu
- Vasumathi RamanCorreu electrònic verificat a cds.caltech.edu
- Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideCorreu electrònic verificat a ucr.edu
Segueix
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Correu electrònic verificat a sri.com - Pàgina d'inici