Get my own profile
Public access
View all31 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
patrick lincolnSRIVerified email at sri.com
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Adrià GascónGoogle ResearchVerified email at google.com
Harald RuessfortissVerified email at fortiss.org
John RushbySRI InternationalVerified email at csl.sri.com
Souradeep DuttaUniversity of PennsylvaniaVerified email at colorado.edu
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
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
Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Junxing YangStony Brook UniverisityVerified email at cs.stonybrook.edu
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com