Edmund M. Clarke
News and Media
- 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