Crea el meu perfil
Accés públic
Mostra-ho tot108 articles
2 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalCorreu electrònic verificat a sri.com
- Wenchao LiAssistant Professor, Boston UniversityCorreu electrònic verificat a bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftCorreu electrònic verificat a csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchCorreu electrònic verificat a microsoft.com
- Shaz QadeerSoftware Engineer, MetaCorreu electrònic verificat a meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryCorreu electrònic verificat a csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelCorreu electrònic verificat a ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsCorreu electrònic verificat a engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyCorreu electrònic verificat a cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityCorreu electrònic verificat a cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaCorreu electrònic verificat a sssup.it
- Stephen FreundComputer Science, Williams CollegeCorreu electrònic verificat a cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleCorreu electrònic verificat a google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaCorreu electrònic verificat a umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignCorreu electrònic verificat a illinois.edu
Segueix
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Correu electrònic verificat a eecs.berkeley.edu - Pàgina d'inici