プロとしての評価
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/09 01:30 UTC 版)
「エドムンド・クラーク」の記事における「プロとしての評価」の解説
クラークは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 の会員でもある。
※この「プロとしての評価」の解説は、「エドムンド・クラーク」の解説の一部です。
「プロとしての評価」を含む「エドムンド・クラーク」の記事については、「エドムンド・クラーク」の概要を参照ください。
- プロとしての評価のページへのリンク