Crea il mio profilo
Accesso pubblico
Visualizza tutto36 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Sumit GulwaniPartner Research Manager, MicrosoftEmail verificata su microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail verificata su sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryEmail verificata su csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderEmail verificata su colorado.edu
- patrick lincolnSRIEmail verificata su sri.com
- Adrià GascónGoogle ResearchEmail verificata su google.com
- Harald RuessfortissEmail verificata su fortiss.org
- Radu GrosuProfessor of Computer ScienceEmail verificata su tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityEmail verificata su cs.sunysb.edu
- John RushbySRI InternationalEmail verificata su csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityEmail verificata su cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesEmail verificata su amazon.com
- Sam OwreSRI InternationalEmail verificata su sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityEmail verificata su princeton.edu
- Junxing YangStony Brook UniverisityEmail verificata su cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail verificata su cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurEmail verificata su cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesEmail verificata su amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthEmail verificata su umassd.edu
Segui
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Email verificata su csl.sri.com - Home page