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