何積豐

何積豐  ， 男 ， 上海人 ， 中國計算機科學家 ， 中國科學院院士 。 現任華東師範大學軟件學院院長 ， 華東師範大學終身教授 、 博士生導師 。 上海嵌入式系統研究所所長 。 研究方向爲形式化方法 ； 高可信與信息安全 ； 併發程序設計理論 ； 嵌入式系統設計方法和工具 ； 軟硬件混成系統協同設計等 。