帕特里克·库索

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年以来，他一直在巴黎高等师范学院担任计算机科学教授。

参考资料

这是一篇關於法國人物的小作品。您可以通过编辑或修订扩充其内容。