何积丰
中国科学院院士
研究方向：高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论
beat·365(中国)手机中文官方网站-welcome学院地址：上海中山北路3663号理科大楼院长信箱yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550sei.ecnu.edu.cn Copyright Software Engineering Institute
