帕特里克·库索

帕特里克·库索（Patrick Cousot，）是一位法国计算机科学家。在2000年代，他一直致力于为关键嵌入式软件（如航空电子设备）提供实用的静态分析方法。自1991年以来，他一直在巴黎高等师范学院担任计算机科学教授。

参考资料

Short biography 

 外部链接 

 Patrick Cousot home page  at NYU
 Patrick Cousot home page  at ENS
 Patrick Cousot home page  at MIT



Category:法国计算机科学家
Category:程序语言研究者
Category:學術棕櫚勳章持有人
Category:综合理工学院教师
Category:欧洲科学院院士