サムソン・アブラムスキー

サムソン・アブラムスキー（1953年3月12日生まれ）は、イギリスのコンピュータ科学者であり、ユニバーシティ・カレッジ・ロンドン（UCL）のコンピュータ科学教授である。2000年から2021年までは、オックスフォード大学ウルフソン・カレッジのクリストファー・ストレイチー記念コンピュータ科学教授を務めていた。

アブラムスキーの初期の研究には、領域理論と幾何論理との関連性への貢献が含まれていました。それ以来、彼の研究は、遅延ラムダ計算、厳密性解析、並行性理論、相互作用カテゴリと相互作用の幾何学、ゲーム意味論、量子コンピューティングを網羅しています。特に、彼はカテゴリ的量子力学の共同開拓者です。最近では、カテゴリ意味論の手法を有限モデル理論に適用し、記述的複雑性への応用を行っています。^{[ 4 ] [ 5 ] [ 6 ]}

アブラムスキーは、ヘンドンのハスモネアン・グラマー・スクール・フォー・ボーイズとケンブリッジ大学キングス・カレッジ（1975年学士号、1979年哲学修士号、コンピュータサイエンスのディプロマ）、ロンドン大学クイーン・メアリー校（1988年コンピュータサイエンス博士号、リチャード・ボーナットの指導）で教育を受けた。^{[ 3 ]}

アブラムスキーは2021年からユニバーシティ・カレッジ・ロンドン（UCL）のコンピュータサイエンス教授を務めている。2004年からは王立協会のフェローでもある。彼の研究分野は、ゲーム意味論、論理形式による領域理論、圏論的量子力学など多岐にわたる。

彼の過去の職歴は以下のとおりです。

• プログラマー、GECコンピュータ株式会社、1976年～1978年
• クイーン・メアリー大学ロンドン校 コンピュータ科学・統計学科 講師、1980年～1983年
• インペリアル・カレッジ・ロンドン計算機科学科講師 (1983年～1988年)、准教授 (1988年～1990年)、教授 (1990年～1995年)
• エジンバラ大学理論計算機科学教授（1996年～2000年）
• クリストファー・ストラッチーオックスフォード大学コンピューティング教授（2000年～2021年）

アブラムスキーは、ゲーム意味論の発展、およびプログラミング言語の意味論への応用において主導的な役割を果たしてきた。その他の注目すべき貢献としては、論理形式によるドメイン理論、遅延ラムダ計算、厳密性解析、並行性理論、相互作用カテゴリ、および相互作用の幾何学に関する研究が挙げられる。近年は、量子計算と量子情報のための高レベル手法の研究に取り組んでいる。

アブラムスキーは、王立協会フェロー（2004年）、エジンバラ王立協会フェロー（2000年）^{[ 8 ]} 、およびアカデミア・エウロパエア会員（1993年）です。彼は、North Holland Studies in Logic and the Foundations of Mathematics および Cambridge Tracts in Theoretical Computer Science の編集委員を務めています。彼は LiCS 2000～2003 の議長を務め、LiCS 組織委員会のメンバーでもあります。

• 彼は2024年にEATCS賞を受賞しました。この賞は、長年にわたる理論計算機科学への貢献に対して贈られるものです。賞賛の中で言及された彼の業績の中には、ドメイン理論、ゲーム意味論、量子計算と情報への圏論的アプローチへの貢献が含まれています。^{[ 9 ]}
• 彼は、論理形式、ゲーム意味論、圏論的量子力学、文脈意味論の分野への貢献により、 ACMのフェローに選出されました（2014年） 。 ^{[ 2 ]}
• 彼は2013年にBCSラブレースメダルを授与された^{[ 10 ]}
• 彼の論文のうち3つがLiCS Test-of-Time賞（20年間の回顧）を受賞した：^{[ 11 ]}
  • サムソン・アブラムスキー。「論理形式による領域理論」（1987年）。この賞はLiCS 2007で授与された。
  • サムソン・アブラムスキー、本田耕平、ガイ・マッカスケル。「一般参照のための完全抽象ゲーム意味論」（1998年）。この賞はLiCS 2018で授与された。
  • サムソン・アブラムスキーとボブ・コッケ。「量子プロトコルのカテゴリカル意味論」（2004年）。この賞はLiCS 2024で授与された。^{[ 12 ]}
• 彼は2007年に、量子情報学の基礎構造と手法に関するEPSRC（英国工学・物理科学研究会議）の上級研究員フェローシップを授与された。
• 王立協会フェロー（2004年）
• エディンバラ王立協会フェロー（2000年）

アブラムスキー氏の王立協会への推薦状には、次のように記されている。

サムソン・アブラムスキーは、計算の数学的基礎への先駆的な貢献で知られています。彼の傑出した業績は、計算過程間の情報フローの数学的構造を明らかにする計算過程の理論としてゲーム意味論を開発したことです。これはプログラミング言語の研究に強力な応用をもたらし、逐次性、状態、制御、その他多くの計算特性の本質に関する決定的な新しい洞察を提供しました。そして今、コンピュータ支援によるプログラム解析と検証の新たな発展につながっています。論理学への貢献でもある重要な流れは、ジラールの相互作用の幾何学の一般化であり、論理の「証明の空間」を特徴付ける完全性定理の新しいジャンルにつながっています。アブラムスキーは以前にも、抽象解釈、領域理論、ラムダ計算、並行性に重要な貢献をしてきました。彼は鋭く創造的な洞察によって幅広いトピックに光を当て続け、新たな地平を切り開き、既存の研究に秩序と統一性をもたらしています。^{[ 13 ]}