Get my own profile
Public access
View all31 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Qi ZhuProfessor of Computer EngineeringVerified email at northwestern.edu
- Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
- Shankar SastryUniversity of CaliforniaVerified email at berkeley.edu
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- patrick lincolnSRIVerified email at sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
- Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
- Adrià GascónGoogle ResearchVerified email at google.com
- Alberto PuggelliPh.D., Apple Inc.Verified email at eecs.berkeley.edu
- Daniel HolcombAssociate Professor, University of MassachusettsVerified email at engin.umass.edu
- Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGVerified email at tttech.com
- Bowen ZhengPony.AIVerified email at ucr.edu
- Alessandro ForinPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
- Victor ShiaUC BerkeleyVerified email at eecs.berkeley.edu
- Katherine Driggs-CampbellAssistant Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Roozbeh JafariMassachusetts Institute of TechnologyVerified email at mit.edu