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