Edmund M. Clarke
Awards
- 2016 Honorary Doctorate from the Technion-Israel Institute of Technology
- 2014 Bower Award from the Franklin Institute:
CMU announcement, Franklin Institute award page
- 2004 IEEE Harry M. Goode Memorial Award
- 1999 Allen Newell Award for Excellence in Researchl
- 1998 ACM Kanellakis Award
- 1998 ACM Fellow
- 1995 SRC Technical Excellence Award
- Former Editor-In-Chief:
- FORMAL METHODS IN SYSTEM DESIGN, Kluwer Academic Publishers.
- Steering Committee:
- Co-Founder of Conference on Computer-Aided Verification, 1990 - 2009.
- Logic in Computer Science
- Professional Organizations:
- ACM
- IEEE
- European Association for Theoretical Computer Science.
Professional Activities