帕特里克·库索
外观
![]() |
![]() | 此条目可参照英语维基百科相应条目来扩充。 (2018年9月21日) |
Patrick Cousot | |
---|---|
![]() 2007年12月照 | |
出生 | ![]() | 1948年12月3日
国籍 | ![]() |
母校 | 南锡国立高等矿业学校, Université Joseph Fourier Grenoble I |
知名于 | 抽象释义 |
配偶 | Radhia Cousot |
科学生涯 | |
论文 |
|
博士导师 | Michael Griffiths (1974), Philippe Jorrand (1978) |
帕特里克·库索(Patrick Cousot,1948年12月3日—)是一位法国计算机科学家。在2000年代,他一直致力于为关键嵌入式软件(如航空电子设备)提供实用的静态分析方法。自1991年以来,他一直在巴黎高等师范学院担任计算机科学教授。
参考资料
[编辑]外部链接
[编辑]- Patrick Cousot home page at NYU
- Patrick Cousot home page at ENS
- Patrick Cousot home page at MIT
- Patrick Cousot在数字书目索引与图书馆项目中的页面
- 帕特里克·库索在数学谱系计划的资料。
![]() ![]() | 这是一篇关于法国人物的小作品。您可以通过编辑或修订扩充其内容。 |