Get my own profile
Public access
View all12 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
David O'HallaronProfessor of CS and ECE, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Miroslav N. VelevAries Design Automation, LLCVerified email at aries-da.com
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Carl SegerWASP Professor at Chalmers University of Technology and University of GothenburgVerified email at chalmers.se
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jiří ŠimšaGoogleVerified email at google.com
Manish PandeyAdjunct Professor, ECE Department at Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Garth Alan GibsonPresident & CEO, Vector Institute; Consulting Professor of Computer Science, Carnegie MellonVerified email at vectorinstitute.ai
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Tom ShefflerRoche Sequencing SolutionsVerified email at alumni.virginia.edu
Dawn SongProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Mihai ChristodorescuGoogleVerified email at christodorescu.org
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Daniel KroeningAmazonVerified email at amazon.com
Randy KatzUniversity of California, BerkeleyVerified email at cs.Berkeley.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ed LazowskaBill & Melinda Gates Chair in Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu