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
- 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
- Iftekhar AhmedAssistant Professor, University of California, IrvineVerified email at uci.edu
- Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
- Daniel KroeningAmazonVerified email at cs.ox.ac.uk
- 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
- 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
- Eric EideUniversity of Utah School of ComputingVerified email at cs.utah.edu
- Josselin FeistTrail of BitsVerified email at trailofbits.com
Alex Groce
Associate Professor of Computer Science, Northern Arizona University
Verified email at nau.edu - Homepage