Edmund M. Clarke

cmu
Computer Science Department

[画像:banner]

Biographical Sketch

Research Interests

Research Support

Selected Publications

Research on Hoare Logic

Graduate Students,
Post-Docs and Visitors

Awards and
Professional Activities

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
- Franklin Institute video

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

Content for class "clear" Goes Here