帕特里克·库索

帕特里克·库索（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在数字书目索引与图书馆项目中的页面
• 帕特里克·库索在數學譜系計畫的資料。