Založit si vlastní profil
Veřejný přístup
Zobrazit všechny37 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mailová adresa ověřena na: csl.sri.com
- Sumit Kumar JhaUniversity of Texas at San AntonioE-mailová adresa ověřena na: sumitkumarjha.com
- Sumit GulwaniPartner Research Manager, MicrosoftE-mailová adresa ověřena na: microsoft.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderE-mailová adresa ověřena na: colorado.edu
- Somesh JhaLubar Chair of Computer Science, University of WisconsinE-mailová adresa ověřena na: cs.wisc.edu
- Wenchao LiAssistant Professor, Boston UniversityE-mailová adresa ověřena na: bu.edu
- Vasumathi RamanE-mailová adresa ověřena na: cds.caltech.edu
- Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Trent JaegerProfessor of Computer Science and Engineering, UC RiversideE-mailová adresa ověřena na: ucr.edu
Sledovat
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
E-mailová adresa ověřena na: sri.com - Domovská stránka