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