Crea il mio profilo
Accesso pubblico
Visualizza tutto37 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail verificata su csl.sri.com
- Sumit Kumar JhaUniversity of Texas at San AntonioEmail verificata su sumitkumarjha.com
- Sumit GulwaniPartner Research Manager, MicrosoftEmail verificata su microsoft.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderEmail verificata su colorado.edu
- Somesh JhaLubar Chair of Computer Science, University of WisconsinEmail verificata su cs.wisc.edu
- Wenchao LiAssistant Professor, Boston UniversityEmail verificata su bu.edu
- Vasumathi RamanEmail verificata su cds.caltech.edu
- Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideEmail verificata su ucr.edu
Segui
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Email verificata su sri.com - Home page