Get my own profile
Co-authors
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Qi ZhuAssociate Professor of Electrical Engineering and Computer ScienceVerified email at northwestern.edu
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Shankar SastryUniversity of CaliforniaVerified email at berkeley.edu
Daniel HolcombAssistant Professor, University of MassachusettsVerified email at engin.umass.edu
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Adrià GascónUniversity of EdinburghVerified email at inf.ed.ac.uk
Alberto PuggelliPh.D., Apple Inc.Verified email at eecs.berkeley.edu
patrick lincolnSRIVerified email at sri.com
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGVerified email at tttech.com
Alessandro ForinPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Bowen ZhengPony.AI / University of California, RiversideVerified email at ucr.edu
Roozbeh JafariTexas A&M UniversityVerified email at tamu.edu
Steven D GlaserberkeleyVerified email at berkeley.edu
Victor ShiaUC BerkeleyVerified email at eecs.berkeley.edu