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

Awards

2018 CAV Award

2017 ETAPS Test of Time Award

2016 Honorary Doctorate from the Technion-Israel Institute of Technology

2015 CAV Award

2014 Honorary Doctorate from the University of Crete

2014 Bower Award from the Franklin Institute:
CMU announcement, Franklin Institute award page

2013 Einstein Professorship from the Chinese Academy of Sciences

2012 Honorary Doctorate from the Vienna University of Technology

2011 American Academy of Arts & Sciences

2008 CADE Herbrand Award

2007 ACM Turing Award

2005 National Academy of Engineering

2005 IEEE Fellow

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:

Content for class "clear" Goes Here