Založit si vlastní profil
Veřejný přístup
Zobrazit všechny108 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalE-mailová adresa ověřena na: sri.com
- Wenchao LiAssistant Professor, Boston UniversityE-mailová adresa ověřena na: bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mailová adresa ověřena na: csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaE-mailová adresa ověřena na: seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchE-mailová adresa ověřena na: microsoft.com
- Shaz QadeerSoftware Engineer, MetaE-mailová adresa ověřena na: meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryE-mailová adresa ověřena na: csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelE-mailová adresa ověřena na: ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsE-mailová adresa ověřena na: engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyE-mailová adresa ověřena na: cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityE-mailová adresa ověřena na: cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaE-mailová adresa ověřena na: sssup.it
- Stephen FreundComputer Science, Williams CollegeE-mailová adresa ověřena na: cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleE-mailová adresa ověřena na: google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaE-mailová adresa ověřena na: umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
Sledovat
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
E-mailová adresa ověřena na: eecs.berkeley.edu - Domovská stránka