何积丰 何积丰年月男上海人中国计算机科学家中国科学院院士现任华东师范大学软件学院院长华东师范大学终身教授博士生导师上海嵌入式系统研究所所长研究方向为形式化方法高可信与信息安全并发程序设计理论嵌入式系统设计方法和工具软硬件混成系统协同设计等