Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 23860 | 13886 |
Índice h | 72 | 55 |
Índice i10 | 198 | 150 |
Acceso público
Ver todo111 artículos
4 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Randal BryantCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalDirección de correo verificada de sri.com
Wenchao LiAssistant Professor, Boston UniversityDirección de correo verificada de bu.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftDirección de correo verificada de csl.sri.com
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchDirección de correo verificada de microsoft.com
Shaz QadeerSoftware Engineer, MetaDirección de correo verificada de meta.com
Natarajan ShankarSRI International Computer Science LaboratoryDirección de correo verificada de csl.sri.com
Ofer StrichmanTechnion, Haifa, IsraelDirección de correo verificada de ie.technion.ac.il
Daniel HolcombAssociate Professor, University of MassachusettsDirección de correo verificada de engin.umass.edu
David WagnerProfessor of Computer Science, UC BerkeleyDirección de correo verificada de cs.berkeley.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaDirección de correo verificada de sssup.it
Stephen FreundComputer Science, Williams CollegeDirección de correo verificada de cs.williams.edu
Petros ManiatisStaff Research Scientist, GoogleDirección de correo verificada de google.com
Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaDirección de correo verificada de umn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Seguir![Sanjit A. Seshia](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=SlZavnIAAAAJ&citpid=2)
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Dirección de correo verificada de eecs.berkeley.edu - Página principal