パトリックCousot（ ）は、フランスのコンピュータ科学者であり、1948年12月3日生まれ。Cousot抽象的な解釈については、正式な方法で影響力のある技術の創始者である。 2000年代には、彼はこのようなアビオニクスで発見の重要な組込みソフトウェアのための静的解析の実用的な方法に取り組んできました。彼は高等師範学校（ENS）パリで1991年以来教授コンピュータサイエンス専攻している。 2008年3月の時点で、Cousot教授コンピュータサイエンスニューヨークの大学です。彼は、本日午後6時国立デュMériteの騎士（シュヴァリエ）と、本日午後6時デパルメ教育学術です。 1999年にCNRSの銀メダルを獲得し、2006年にはEADSの財団の大きな賞を受賞。 2001年、彼はザールラント大学名誉博士号を取得、ドイツ授与された。