Get my own profile
Co-authors
Mohammad Amin AlipourUniversity of HoustonVerified email at cs.uh.edu
Rahul GopinathCISPAVerified email at gopinath.org
Carlos JensenAssociate Professor School of EECS, Oregon State UniversityVerified email at eecs.orst.edu
Chaoqiang ZhangGoogleVerified email at google.com
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Iftekhar AhmedAssistant Professor, University of California, IrvineVerified email at uci.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Daniel KroeningAmazonVerified email at amazon.com
Josie HolmesNorthern Arizona UniversityVerified email at nau.edu
John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Weng-Keen WongAssociate Professor of Computer Science, Oregon State UniversityVerified email at eecs.oregonstate.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Yang ChenSchool of Computing, University of UtahVerified email at cs.utah.edu
Josselin FeistTrail of BitsVerified email at trailofbits.com
Eric EideUniversity of Utah School of ComputingVerified email at cs.utah.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Alex Groce
Associate Professor of Computer Science, Northern Arizona University
Verified email at nau.edu - Homepage