Mijn eigen profiel maken
Openbare toegang
Alles bekijken111 artikelen
4 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Randal BryantCarnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalGeverifieerd e-mailadres voor sri.com
Wenchao LiAssistant Professor, Boston UniversityGeverifieerd e-mailadres voor bu.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftGeverifieerd e-mailadres voor csl.sri.com
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaGeverifieerd e-mailadres voor seas.upenn.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchGeverifieerd e-mailadres voor microsoft.com
Shaz QadeerSoftware Engineer, MetaGeverifieerd e-mailadres voor meta.com
Natarajan ShankarSRI International Computer Science LaboratoryGeverifieerd e-mailadres voor csl.sri.com
Ofer StrichmanTechnion, Haifa, IsraelGeverifieerd e-mailadres voor ie.technion.ac.il
Daniel HolcombAssociate Professor, University of MassachusettsGeverifieerd e-mailadres voor engin.umass.edu
David WagnerProfessor of Computer Science, UC BerkeleyGeverifieerd e-mailadres voor cs.berkeley.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityGeverifieerd e-mailadres voor cs.huji.ac.il
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaGeverifieerd e-mailadres voor sssup.it
Stephen FreundComputer Science, Williams CollegeGeverifieerd e-mailadres voor cs.williams.edu
Petros ManiatisStaff Research Scientist, GoogleGeverifieerd e-mailadres voor google.com
Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaGeverifieerd e-mailadres voor umn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignGeverifieerd e-mailadres voor illinois.edu
Volgen![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
Geverifieerd e-mailadres voor eecs.berkeley.edu - Homepage