エドムンド・クラーク
1967年、バージニア大学で数学の学士号を取得。1968年、デューク大学で数学の修士号を取得。1976年、コーネル大学で計算機科学の博士号を取得した。その後2年間、デューク大学計算機科学科で教壇に立った。1978年、ハーバード大学に移り、応用科学部で計算機科学の助教授を務めた。1982年にハーバードを離れ、カーネギーメロン大学の計算機科学科に移った。1989年には教授になっている。1995年、Carnegie Mellon School of Computer Science の FORE Systems の教授職を最初に受領した。
2020年12月22日、新型コロナウイルス感染症(COVID-19)により死去したことが息子のジェームズによるTwitterに、次いでカーネギーメロン大学によって発表された。75歳没。