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