Get my own profile
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
Harald RuessfortissVerified email at fortiss.org
Adrià GascónUniversity of EdinburghVerified email at inf.ed.ac.uk
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
John RushbySRI InternationalVerified email at csl.sri.com
Leo BachmairProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.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
Souradeep DuttaUniversity of PennsylvaniaVerified email at colorado.edu
Sam OwreSRI InternationalVerified email at sri.com
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
Gaurav KhannaUniversity of Rhode Island & UMass DartmouthVerified email at umassd.edu
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
