Crea el meu perfil
Accés públic
Mostra-ho tot36 articles
2 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Sumit GulwaniPartner Research Manager, MicrosoftCorreu electrònic verificat a microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalCorreu electrònic verificat a sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryCorreu electrònic verificat a csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderCorreu electrònic verificat a colorado.edu
- patrick lincolnSRICorreu electrònic verificat a sri.com
- Adrià GascónGoogle ResearchCorreu electrònic verificat a google.com
- Harald RuessfortissCorreu electrònic verificat a fortiss.org
- Radu GrosuProfessor of Computer ScienceCorreu electrònic verificat a tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityCorreu electrònic verificat a cs.sunysb.edu
- John RushbySRI InternationalCorreu electrònic verificat a csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityCorreu electrònic verificat a cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Sam OwreSRI InternationalCorreu electrònic verificat a sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityCorreu electrònic verificat a princeton.edu
- Junxing YangStony Brook UniverisityCorreu electrònic verificat a cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurCorreu electrònic verificat a cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthCorreu electrònic verificat a umassd.edu
Segueix
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Correu electrònic verificat a csl.sri.com - Pàgina d'inici