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