帕特里克·庫索

Patrick Cousot
Patrick Cousot
	2007年12月照
出生	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)

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

參考資料

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