Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 23758 | 13693 |
indeks-h | 73 | 56 |
indeks-i10 | 197 | 146 |
Akses publik
Lihat semua108 artikel
2 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalEmail yang diverifikasi di sri.com
- Wenchao LiAssistant Professor, Boston UniversityEmail yang diverifikasi di bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail yang diverifikasi di csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaEmail yang diverifikasi di seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchEmail yang diverifikasi di microsoft.com
- Shaz QadeerSoftware Engineer, MetaEmail yang diverifikasi di meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryEmail yang diverifikasi di csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelEmail yang diverifikasi di ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsEmail yang diverifikasi di engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyEmail yang diverifikasi di cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityEmail yang diverifikasi di cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaEmail yang diverifikasi di sssup.it
- Stephen FreundComputer Science, Williams CollegeEmail yang diverifikasi di cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleEmail yang diverifikasi di google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaEmail yang diverifikasi di umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail yang diverifikasi di illinois.edu
Ikuti
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Email yang diverifikasi di eecs.berkeley.edu - Beranda