Edmund M. Clarke
Awards
- Former Editor-In-Chief:
- FORMAL METHODS IN SYSTEM DESIGN, Kluwer Academic Publishers.
- Steering Committee:
- Conference on Computer-Aided Verification, 1990-present.
- Steering Committee:
- Logic in Computer Science, 1994-present.
- Professional Organizations:
- ACM
- IEEE
- European Association for Theoretical Computer Science.
Professional Activities