Loading article…
パトリック・クソ | |
|---|---|
 2007年12月 | |
| 生まれる | 1948年12月3日 |
| 国籍 | フランス語 |
| 母校 | ナンシー国立高等鉱山学校、 ジョゼフ・フーリエ大学グルノーブル第 1 校 |
| 知られている | 抽象的解釈 |
| 配偶者 | ラディア・クーソット |
| 受賞歴 | CNRS 銀メダル EADS財団の素晴らしい賞、ザールラント大学とヴェネツィアのカ・フォスカリ大学 |
| 科学者としてのキャリア | |
| 論文 |
|
| 博士課程の指導教員 | マイケル・グリフィス（1974）、 フィリップ・ジョラン（1978） |
パトリック・クゾー（1948年12月3日生まれ）はフランスのコンピュータ科学者で、現在は米国ニューヨーク大学クーラン数学研究所のコンピュータサイエンスのシルバー教授を務めています。以前は、フランスのパリ高等師範学校（ENS）、フランスのパレゾー工科大学、フランスのメス大学の教授であり、フランスのグルノーブルにあるジョセフ・フーリエ大学のフランス国立科学研究センター（CNRS）の研究科学者でもありました。
パトリック・クゾは、妻のラディア・クゾ（1947-2014）とともに、形式手法における影響力のある手法である抽象解釈の創始者です。2000年代には、航空電子工学などで見られる重要な組み込みソフトウェア（Astrée ）の静的解析の実用的な手法に取り組んできました。
1999年にCNRSシルバーメダルを受賞、2006年にはEADS財団の優秀賞を受賞。2001年にはドイツのザールラント大学から名誉博士号を授与された。 2013年にはRadhia CousotとともにACM SIGPLANプログラミング言語功績賞、2014年には「『抽象解釈』の発明、ツールサポートの開発、およびその実用化」に対してIEEEコンピュータソサエティのHarlan D. Mills賞を受賞した。2008年にはフンボルト研究賞、2018年には「検証と最適化に幅広く応用できるプログラムプロパティの自動計算のための強力なフレームワークである抽象解釈の導入」に対してIEEEジョン・フォン・ノイマンメダルを受賞。2020年には「抽象解釈の発明と開発によるプログラミング言語への貢献」によりACMフェローに選出された。 2022年、クスー氏はヴェネツィアのカフォスカリ大学から名誉博士号を授与されました。彼は2022年のEATCS賞を受賞しました。この賞は、生涯にわたる科学者としての経歴を通じて理論計算機科学に多大な貢献をしたことをEATCSが認めるために授与するものです。彼は、フランス国立功労勲章およびパルム・アカデミック勲章の騎士（シュヴァリエ）であり、ヨーロッパアカデミー情報科学部門の会員（2006年より）、およびIMDEAソフトウェア研究所の評議員会の会員です。
参考文献
- 略歴
外部リンク
ウィキメディア・コモンズには、パトリック・クゾーに関連するメディアがあります。
- NYUの Patrick Cousot ホームページ
- ENS の Patrick Cousot ホームページ
- MITの Patrick Cousot ホームページ
- DBLP書誌サーバーの Patrick Cousot
- 数学系譜プロジェクトのパトリック・クーソ