何积丰
中国科学院院士
研究方向:高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论
bet体育365官网正规学院地址:上海中山北路3663号理科大楼院长信箱yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550bet体育365官网正规 - bet366体育在线平台【手机版下载】 Copyright Software Engineering Institute