Get my own profile
Public access
View all24 articles
3 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
Adrià GascónUniversity of EdinburghVerified email at inf.ed.ac.uk
Harald RuessfortissVerified email at fortiss.org
John RushbySRI InternationalVerified email at csl.sri.com
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified 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
Sam OwreSRI InternationalVerified email at sri.com
Souradeep DuttaUniversity of PennsylvaniaVerified email at colorado.edu
Bruno DutertreSRI InternationalVerified email at csl.sri.com
Sharad MalikProfessor of Electrical 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
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
