Dexter_Kozen
“Dexter Kozen”
デクスター キャンベル コーゼン(1951 年 12 月 20 日生まれ) は、アメリカの理論計算機科学者です。彼は、コーネル大学工学部のジョセフ・ニュートン・ピュー・ジュニア教授です。1974 年にダートマス大学で学士号を取得し、1977 年にコーネル大学でコンピューター サイエンスの博士号を取得しました。彼は多くの博士号に助言しました。学生。
彼は、Association for Computing Machinery グッゲンハイム フェローのフェローであり、IBM Corporation から Outstanding Innovation Award を受賞しています。彼はまた、コーネル大学コンピュータ サイエンス学部生協会から年間最優秀教員に選ばれました。
Dexter Kozen は、オランダのRadboud University Nijmegenの Radboud Excellence Initiativeで教授の栄誉を受けた最初の教授の 1 人でした。
彼は、論理と複雑さが交差する分野での仕事で知られています。彼は動的論理の父の 1 人であり、今日最も使用されているモーダル μ 計算のバージョンを開発しました。さらに、彼は計算理論、 オートマトン理論、動的論理、およびアルゴリズムに関するいくつかの教科書を書いています。
Kozenは、バンド「Harmful if Swallowed」のギタリスト、シンガー、ソングライターでした。彼はまた、コーネル大学のラグビー フットボール クラブの教員顧問の地位にあり 、コートランド ホーマー サンダーリング ハード ラグビー チームでプレーしています。
参考文献
^ 数学系譜プロジェクトのデクスター・コーゼン
^ 「デクスター・コーゼン – 受賞者」 . コンピューティング機械協会。2013年 10 月 31 日閲覧。
^ 「デクスター・コーゼン教授」 . ru.nl。_ 2015 年3 月 17 日閲覧。【デッドリンク】
^ David Harel、Dexter Kozen、およびJerzy Tiuryn著「Dynamic Logic」. MIT プレス、2000 年。
^ デクスター・コーゼン (1983). 「命題μ-微積分の結果」。理論的コンピューター サイエンス 27 (3): 333–354。
^ デクスター・コーゼン （2006). 計算理論。スプリンガー。 ISBN 1-84628-297-7 .
^ 「アーカイブコピー」 . 2010 年 4 月 19 日にオリジナルからアーカイブされました。2010年10 月 7 日閲覧。
外部リンク
デクスター・コーゼンのホームページ
ホームページを飲み込むと有害