Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 23597 | 13533 |
h-індекс | 73 | 56 |
i10-індекс | 197 | 146 |
Доступні для всіх
Переглянути всі106 статей
2 статті
доступні
недоступні
За умовами фінансування
Співавтори
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyПідтверджена електронна адреса в eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityПідтверджена електронна адреса в cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalПідтверджена електронна адреса в sri.com
- Wenchao LiAssistant Professor, Boston UniversityПідтверджена електронна адреса в bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftПідтверджена електронна адреса в csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaПідтверджена електронна адреса в seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchПідтверджена електронна адреса в microsoft.com
- Shaz QadeerSoftware Engineer, MetaПідтверджена електронна адреса в meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryПідтверджена електронна адреса в csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelПідтверджена електронна адреса в ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsПідтверджена електронна адреса в engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyПідтверджена електронна адреса в cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityПідтверджена електронна адреса в cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaПідтверджена електронна адреса в sssup.it
- Stephen FreundComputer Science, Williams CollegeПідтверджена електронна адреса в cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleПідтверджена електронна адреса в google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaПідтверджена електронна адреса в umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignПідтверджена електронна адреса в illinois.edu
Підписатись
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Підтверджена електронна адреса в eecs.berkeley.edu - Домашня сторінка