Get my own profile
Public access
View all12 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Mohammad Amin AlipourUniversity of HoustonVerified email at cs.uh.edu- Rahul GopinathCISPA, Germany (upcoming faculty at the University of Sydney)Verified email at gopinath.org
- Carlos JensenAssociate Professor School of EECS, Oregon State UniversityVerified email at eecs.orst.edu
- Chaoqiang ZhangGoogleVerified email at google.com
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Iftekhar AhmedAssistant Professor, University of California, IrvineVerified email at uci.edu
- Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
- 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
- Josselin FeistTrail of BitsVerified email at trailofbits.com
- Yang ChenSchool of Computing, University of UtahVerified email at cs.utah.edu
- 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