Harry H. Goode Memorial Award

Machinery フェロー 2005年 - Harry H. Goode Memorial Award (IEEE Computer Society) 2008年 - Karl V. Karlstrom Outstanding Educator Award 2009年 -

と共にACMパリス・カネラキス実践的理論賞を受賞した（記号的モデル検査の開発に対して）。2004年、IEEE Computer Society の Harry H. Goode Memorial Award を受賞（ハードウェアおよびソフトウェアシステムの形式的検証への多大な貢献と、それが電子産業にもたらした影響と貢献に対し

of J (Iverson Software Inc.)（1991年） 1970年 - IBMフェロー 1975年 - Harry H. Goode Memorial Award (IEEE Computer Society) 1979年 - チューリング賞 (Association for Computing

Pioneer, is dead.” (英語). om.co (2018年12月28日). 2019年1月1日閲覧。 ^ “Harry H. Goode Memorial Award”. IEEE. 2012年2月16日閲覧。 ^ a b c d e “Brief Summary of Recipients'

から授与された。受賞講演の記録は、Communications of the ACM 誌に掲載された。 1981年 - Harry H. Goode Memorial Award (IEEE Computer Society) 1982年 - 王立協会フェロー。 1985年 - ファラデー・メダル