ゴードン・プロトキン

プロトキンは1992年に王立協会フェロー（FRS）に 選出され、エジンバラ王立協会フェロー（FRSE）にも選出された。また、アカデミア・エウロペア^{[ 22 ]}およびアメリカ芸術科学アカデミー^{[ 23 ]}の会員でもある。さらに、王立協会ウルフソン研究功労賞も受賞している。プロトキンは2012年に「プログラミング言語の原理と設計の両方に永続的な影響を与えたプログラミング意味論に関する基礎研究」によりミルナー賞を受賞した^{[ 24 ]} 。王立協会への推薦文は以下の通り。

プロトキンは、人工知能、論理学、言語学、そして特にコンピュータ科学に貢献してきた。AIでは仮説形成と普遍的統一に取り組み、論理学では任意の論理の枠組みに取り組み、言語学では状況理論の形式化に取り組んだ。彼の主な貢献は、コンピュータ科学、特にプログラミング言語のための意味論的枠組みを確立したことである。特に重要な成果は、ラムダ計算（基本モデル、定義可能性、値渡し）、非決定性（パワードメイン理論）、意味論的形式（構造化操作意味論、メタ言語）、および意味ドメインのカテゴリ（一貫性、プロ有限、具体）にある。その他の貢献は、完全抽象化の意味論的パラダイム、並行性理論（イベント構造）、プログラミング論理、型理論に関するものである。^{[ 25 ]}