デクスター・コーゼン

デクスター・キャンベル・コーゼン（1951年12月20日生まれ）は、アメリカの理論計算機科学者である。コーネル大学の名誉教授であり、ジョセフ・ニュートン・ピュー・ジュニア工学教授でもある。^{[ 1 ]}

コゼンは1974年にダートマス大学で数学の学士号を取得し、1977年にコーネル大学でコンピュータサイエンスの博士号を取得した。博士論文の指導教官はジュリス・ハートマニスで、論文タイトルは「有限表示代数の複雑性」である。^{[ 2 ] [ 3 ]}

彼は論理と複雑性の交点における研究で知られています。彼は動的論理の創始者の一人であり^{[ 4 ]} 、今日最もよく使われている様相μ計算のバージョンを開発しました^{[ 5 ]} 。テスト付きクリーネ代数^{[ 6 ]}に関する彼の研究は、 2022年にアロンゾ・チャーチ賞を受賞しました^{[ 7 ]。}さらに、彼は計算理論^{[ 8 ]} 、オートマトン理論^{[ 9 ]} 、動的論理^{[ 4 ]}、アルゴリズム^{[ 10 ]}に関する教科書を数冊執筆しています。

コゼンはバンド「Harmful if Swallowed」のギタリスト、歌手、ソングライターだった。^{[ 11 ]}また、コーネル大学のラグビーフットボールクラブの顧問も務めている。^{[ 12 ]}

• ジョン・G・ケメニー賞（コンピューティング分野）、ダートマス大学^{[ 13 ]}（1974年）
• IBMコーポレーション優秀イノベーション賞^{[ 13 ]} (1974年)
• ジョン・サイモン・グッゲンハイム財団フェロー^{[ 14 ]}（1991年）
• スティーブン・アンド・マージェリー・ラッセル優秀教育賞、コーネル大学芸術科学部^{[ 13 ]} (2001)
• ACMフェロー、理論計算機科学への貢献に対して^{[ 15 ]}（2003年）
• 米国科学振興協会（AAAS）フェロー^{[ 16 ]}（2008年）
• 2001年LICS Test-of-Time Award受賞論文「クリーネ代数と正則事象の代数に対する完全性定理」^{[ 17 ]}（2011年）
• ACSU（コーネル大学コンピュータサイエンス学部生協会）年間最優秀教員賞^{[ 13 ]}（2013年）
• ラドバウド大学ナイメーヘン校ラドバウド優秀教授職^{[ 18 ]} (2014)
• EATCSフェロー（2015年）
• EATCS優秀業績賞（2016年）
• マクドウェル賞（計算複雑性から代数計算の解析、プログラム論理、検証に至るまでの分野における画期的な貢献に対して）（2016年）
• ワイス大統領フェロー^{[ 19 ]} (2018)
• 論文「テスト付きガード付きクリーネ代数：ほぼ線形時間での未解釈プログラムの検証」^{[ 21 ]}（2020年）でPOPL優秀論文賞^{[ 20 ]を受賞}
• アロンゾ・チャーチ賞^{[ 7 ]}は、反復プログラムについて推論するための等式システムであるテスト付きクリーネ代数の理論と応用の開発に関する基礎的な研究に対して授与され、その研究成果は論文「テスト付きクリーネ代数」^{[ 6 ]}（2022年）に掲載された。
• OOPSLA優秀論文賞^{[ 22 ]}を論文「パケットスケジューリングのための形式的抽象化」^{[ 23 ]}で受賞（2023年）

• デクスター・コーゼンのホームページ