エドムンド・クラーク
クラークはACMとIEEEのフェローである。1995年には、Semiconductor Research Corporation から Technical Excellence Award を授与され、1999年にはカーネギーメロン大学からアレン・ニューウェル賞を授与された。1999年、ランダル・ブライアント、アレン・エマーソン、Kenneth McMillan と共にACMパリス・カネラキス実践的理論賞を受賞した(記号的モデル検査の開発に対して)。2004年、IEEE Computer Society の Harry H. Goode Memorial Award を受賞(ハードウェアおよびソフトウェアシステムの形式的検証への多大な貢献と、それが電子産業にもたらした影響と貢献に対して)。2005年には全米技術アカデミーの会員に選ばれた。また、Sigma Xi と Phi Beta Kappa の会員でもある。