Crea il mio profilo
Accesso pubblico
Visualizza tutto108 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityEmail verificata su cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail verificata su sri.com
- Wenchao LiAssistant Professor, Boston UniversityEmail verificata su bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail verificata su csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaEmail verificata su seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchEmail verificata su microsoft.com
- Shaz QadeerSoftware Engineer, MetaEmail verificata su meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryEmail verificata su csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelEmail verificata su ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsEmail verificata su engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyEmail verificata su cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityEmail verificata su cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaEmail verificata su sssup.it
- Stephen FreundComputer Science, Williams CollegeEmail verificata su cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleEmail verificata su google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaEmail verificata su umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
Segui
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Email verificata su eecs.berkeley.edu - Home page