Edmund M. Clarke
News and Media
- Euiwoong Lee earns Inaugural Edmund M. Clarke Doctoral Dissertation Award
- Clarke featured at Science Summit in Singapore
- 2014 Honorary Doctorate from the University of Crete
- Symposium Celebrates Ed Clarke and Model Checking
- Ed Clarke receives Franklin Institute's Bower Award for 2014
- Turing Laureates Gather at Heidelberg Laureate Forum, September 23-27, 2013
- Chinese Academy of Sciences Honors Carnegie Mellon's Edmund Clarke With 2013 Einstein Professorship, February 4, 2013
- Clarke Receives Honarary Doctorate from Vienna University of Technology, January 26, 2012
- Clarke Elected to American Academy of Arts & Sciences, Spring 2011
- The Link, "Model Checking's Role Model", Summer 2009
- Pittsburgh Post Gazette, August 19, 2009
- CMU Press Release: NSF Expedition in Computing Program, August 19, 2009
- Business Week, May 28, 2009
- CMU Press Release, April 20, 2009
- Carnegie Mellon Today, “Role Model”, Vol. 5, No. 3, July 2008
- The Piper, February 2008 Issue
- Pittsburgh Post Gazette, February 5, 2008
- CMU Turing Award Press Release, February 4, 2008
- EMC2 Celebration