Mijn eigen profiel maken
Openbare toegang
Alles bekijken34 artikelen
3 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Sumit GulwaniPartner Research Manager, MicrosoftGeverifieerd e-mailadres voor microsoft.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalGeverifieerd e-mailadres voor sri.com
Natarajan ShankarSRI International Computer Science LaboratoryGeverifieerd e-mailadres voor csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
patrick lincolnSRIGeverifieerd e-mailadres voor sri.com
Adrià GascónGoogle ResearchGeverifieerd e-mailadres voor google.com
Harald RuessfortissGeverifieerd e-mailadres voor fortiss.org
John RushbySRI InternationalGeverifieerd e-mailadres voor csl.sri.com
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderGeverifieerd e-mailadres voor colorado.edu
Radu GrosuProfessor of Computer ScienceGeverifieerd e-mailadres voor tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityGeverifieerd e-mailadres voor cs.sunysb.edu
Leo BachmairProfessor of Computer Science, Stony Brook UniversityGeverifieerd e-mailadres voor cs.stonybrook.edu
Bruno DutertreAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
Sam OwreSRI InternationalGeverifieerd e-mailadres voor sri.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityGeverifieerd e-mailadres voor princeton.edu
Alessandro AbateProfessor of Verification and Control, University of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
Junxing YangStony Brook UniverisityGeverifieerd e-mailadres voor cs.stonybrook.edu
Pramod SubramanyanIndian Institute of Technology KanpurGeverifieerd e-mailadres voor cse.iitk.ac.in
Leonardo de MouraSenior Principal Researcher at MicrosoftGeverifieerd e-mailadres voor microsoft.com
Gaurav KhannaUniversity of Rhode Island & UMass DartmouthGeverifieerd e-mailadres voor umassd.edu
Volgen

Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Geverifieerd e-mailadres voor csl.sri.com - Homepage