派屈克·庫索

派屈克·庫索（Patrick Cousot，1948年12月3日—）是一位法國計算機科學家。在2000年代，他一直致力於為關鍵嵌入式軟體（如航空電子設備）提供實用的靜態分析方法。自1991年以來，他一直在巴黎高等師範學院擔任計算機科學教授。

Patrick Cousot
2007年12月照
出生	(1948-12-03) 1948年12月3日（76歲）  美國紐約
國籍	法國
母校	南錫國立高等礦業學校, Université Joseph Fourier Grenoble I
知名於	抽象釋義
配偶	Radhia Cousot（英語：Radhia Cousot）
科學生涯
論文	Définition interprétative et implantation de langages de programmation（1974） Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes（1978）
博士導師	Michael Griffiths (1974), Philippe Jorrand (1978)

參考資料

• Short biography （頁面存檔備份，存於網際網路檔案館）

外部連結

• Patrick Cousot home page （頁面存檔備份，存於網際網路檔案館） at NYU
• Patrick Cousot home page （頁面存檔備份，存於網際網路檔案館） at ENS
• Patrick Cousot home page （頁面存檔備份，存於網際網路檔案館） at MIT
• Patrick Cousot在數位書目索引及圖書館計畫中的頁面
• 派屈克·庫索在數學譜系計畫的資料。