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