デクストル・コーゼン - 百科事典

デクストァー・キャンベル・コーゼン（1951年12月20日生まれ）はアメリカの理論的コンピュータサイエンティストです。彼はコーネル大学の名誉教授であり、ジョセフ・ニュートン・ピュー・ジュニア教授です。

職務経歴
コーゼンは1974年にダートマス大学から数学の学士号を、1977年にコーネル大学からコンピュータサイエンスの博士号を取得しました。彼はユリス・ハートマニスに指導され、「有限表現の代数の複雑さ」というテーマで論文を執筆しました。彼は論理と複雑さの交差点での研究で知られており、動的論理の父の一員であり、現在最も使用されているモーダルμ-計算のバージョンを開発しました。彼のKleene代数とテストに関する研究は2022年にAlonzo Church賞で認められました。さらに、彼は計算理論、自動機構理論、動的論理、アルゴリズムに関するいくつかのテキストブックを執筆しました。

コーゼンはバンド「Harmful if Swallowed」のギタリスト、シンガー、ソングライターであり、コーネル大学のラグビーフットボールクラブのアドバイザーファシルティも務めています。

賞誉と栄誉
- コンピューティングにおけるジョン・G・ケメニ賞、ダートマス大学（1974年）
- IBM株式会社の優秀革新賞（1974年）
- ジョン・サイモン・ギュッゲンハイム財団のフェロー（1991年）
- スティーブンとマージャリー・ラッセル優秀教育賞、コーネル大学芸術・科学学部（2001年）
- ACMフェロー、理論的コンピュータサイエンスへの貢献に対して（2003年）
- AAASフェロー（2008年）
- 2001年LICSテスト・オブ・タイム賞「Kleene代数と定常事象の代数に関する完全性定理」の論文（2011年）
- ACSU（コーネル大学のコンピュータサイエンス学士生協会）の年間教員（2013年）
- ラドボウ大学ニジェンヘンのラドボウ優秀教授職（2014年）
- EATCSフェロー（2015年）
- EATCS優秀成果賞（2016年）
- McDowell賞、計算複雑さから代数的計算の解析、プログラムの論理と検証までの画期的な貢献に対して（2016年）
- ウェイス大統領フェロー（2018年）
- POPL優秀論文賞「Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time」の論文（2020年）
- アロンゾ・チャーチ賞、Kleene代数のテストに関する理論と応用の発展に対する基本的な研究に対して、論文「Kleene algebra with tests」で発表（2022年）
- OOPSLA優秀論文賞「Formal abstractions for packet scheduling」の論文（2023年）

参考文献
外部リンク
Dexter Kozenのホームページ