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