Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu- Tommaso DreossiStaff ML Scientist, insitroVerified email at amazon.com
- Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
- Edward KimPostdoc at UC Berkeley, Electrical Engineering and Computer Science (EECS)Verified email at eecs.berkeley.edu
- Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaVerified email at usc.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
- Xiangyu YueAssistant Professor at The Chinese University of Hong KongVerified email at eecs.berkeley.edu
- Ankush DesaiPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Mark HoAssistant Professor, New York UniversityVerified email at nyu.edu
- Xiaoqing JinApple Inc.Verified email at cs.ucr.edu
- Sara MohammadinejadUniversity of Southern CaliforniaVerified email at usc.edu
- Alexandre DonzeDecyphirVerified email at decyphir.com
- Niklas LaufferPh.D. Student at UC BerkeleyVerified email at berkeley.edu
- Beyazit YalcinkayaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
- Steven HoltzenNortheastern UniversityVerified email at northeastern.edu
- Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
- Guy Van den BroeckProfessor and Samueli Fellow, UCLAVerified email at cs.ucla.edu
