![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/9/9e/Patrick_Cousot_0743-c.jpg/640px-Patrick_Cousot_0743-c.jpg&w=640&q=50)
帕特里克·库索
维基百科,自由的 encyclopedia
帕特里克·库索(1948年12月3日—)是一位法国计算机科学家。在2000年代,他一直致力于为关键嵌入式软件(如航空电子设备)提供实用的静态分析方法。自1991年以来,他一直在巴黎高等师范学院担任计算机科学教授。
参考资料
![]() ![]() | 这是一篇关于法国人物的小作品。您可以通过编辑或修订扩充其内容。 |
![]() |
![]() | 此条目可参照英语维基百科相应条目来扩充。 (2018年9月21日) |
Quick Facts Patrick Cousot, 出生 ...
Patrick Cousot | |
---|---|
![]() 2007年12月照 | |
出生 | (1948-12-03) 1948年12月3日(75岁)![]() |
国籍 | ![]() |
母校 | 南锡国立高等矿业学校, Université Joseph Fourier Grenoble I |
知名于 | 抽象释义 |
配偶 | Radhia Cousot(英语:Radhia Cousot) |
科学生涯 | |
论文 |
|
博士导师 | Michael Griffiths (1974), Philippe Jorrand (1978) |
Close