Get my own profile
Public access
View all37 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Adrià GascónGoogle ResearchVerified email at google.com
patrick lincolnSRIVerified email at sri.com
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Harald RuessfortissVerified email at fortiss.org
John RushbySRI InternationalVerified email at csl.sri.com
Leo BachmairProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Sam OwreSRI InternationalVerified email at sri.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Junxing YangStony Brook UniverisityVerified email at cs.stonybrook.edu
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Gaurav KhannaUniversity of Rhode Island & UMass DartmouthVerified email at umassd.edu
Follow

Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Verified email at csl.sri.com - Homepage