帕特里克·庫索

帕特里克 · 庫索  是一位法國計算機科學家 。 在2000年代 ， 他一直致力於爲關鍵嵌入式軟件 （ 如航空電子設備 ） 提供實用的靜態分析方法 。 自1991年以來 ， 他一直在巴黎高等師範學院擔任計算機科學教授 。