Get my own profile
Public access
View all116 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 QadeerSoftware Engineer, MetaVerified email at meta.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