Get my own profile
Public access
View all115 articles
4 articles
available
not available
Based on funding mandates
Co-authors
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Wenchao LiAssociate Professor, Boston UniversityVerified email at bu.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Shaz QadeerMicrosoftVerified email at microsoft.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Daniel HolcombAssociate Professor, University of MassachusettsVerified email at engin.umass.edu
David WagnerProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com
Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaVerified email at umn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Follow
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Verified email at eecs.berkeley.edu - Homepage