帕特里克·庫索

Patrick Cousot
Patrick Cousot
	2007年12月照
出生	1948年12月3日（75歲）; 美國紐約
國籍	法國
母校	南錫國立高等礦業學校,; 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)

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

參考資料

這是一篇關於法國人物的小作品。您可以透過編輯或修訂擴充其內容。

Patrick Cousot
2007年12月照
出生	(1948-12-03) 1948年12月3日（75歲）美國紐約
國籍	法國
母校	南錫國立高等礦業學校, 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)