cmu
Computer Science Department
banner
Edmund M. Clarke
Awards
 
Professional Activities

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, 1994-present.

Professional Organizations:
  • ACM
  • IEEE
  • European Association for Theoretical Computer Science.

 

Content for class "clear" Goes Here