Crea el meu perfil
Accés públic
Mostra-ho tot11 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- David O'HallaronProfessor of CS and ECE, Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Miroslav N. VelevAries Design Automation, LLCCorreu electrònic verificat a aries-da.com
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchCorreu electrònic verificat a microsoft.com
- Somesh JhaLubar Chair of Computer Science, University of WisconsinCorreu electrònic verificat a cs.wisc.edu
- Carl SegerWASP Professor at Chalmers University of TechnologyCorreu electrònic verificat a chalmers.se
- Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Jiří ŠimšaGoogleCorreu electrònic verificat a google.com
- Manish PandeyAdjunct Professor, ECE Department at Carnegie Mellon UniversityCorreu electrònic verificat a andrew.cmu.edu
- Garth Alan GibsonPresident & CEO, Vector Institute; Consulting Professor of Computer Science, Carnegie MellonCorreu electrònic verificat a vectorinstitute.ai
- Ofer StrichmanTechnion, Haifa, IsraelCorreu electrònic verificat a ie.technion.ac.il
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Tom ShefflerRoche Sequencing SolutionsCorreu electrònic verificat a alumni.virginia.edu
- Dawn SongProfessor of Computer Science, UC BerkeleyCorreu electrònic verificat a cs.berkeley.edu
- Mihai ChristodorescuGoogleCorreu electrònic verificat a christodorescu.org
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusCorreu electrònic verificat a mpi-sws.org
- Daniel KroeningAmazonCorreu electrònic verificat a amazon.com
- Randy KatzUniversity of California, BerkeleyCorreu electrònic verificat a cs.Berkeley.edu
- Armin BiereProfessor of Computer Science, University of FreiburgCorreu electrònic verificat a informatik.uni-freiburg.de
- Ed LazowskaBill & Melinda Gates Chair in Computer Science & Engineering, University of WashingtonCorreu electrònic verificat a cs.washington.edu