安博网页版在线登录-ANBO(中国):国家级领军人才
曹珍富 教授 研究方向：数论、密码学新理论、网络安全新理论、云计算、云处理安全 和隐私保护、大数据安全和隐私保护
| |
刘少英 教授 研究方向：高可靠软件工程理论与技术、软件开发的形式化工程方法、软件设计方法、智能化人机结对编程、程序验证、软件测试和复审、智能软件工程环境
| |
蒲戈光 教授 研究方向：形式化方法、软件验证与测试、人工智能安全
|
曹珍富 教授 研究方向：数论、密码学新理论、网络安全新理论、云计算、云处理安全 和隐私保护、大数据安全和隐私保护
| |
刘少英 教授 研究方向：高可靠软件工程理论与技术、软件开发的形式化工程方法、软件设计方法、智能化人机结对编程、程序验证、软件测试和复审、智能软件工程环境
| |
蒲戈光 教授 研究方向：形式化方法、软件验证与测试、人工智能安全
|
安博网页版在线登录-ANBO(中国)
安博网页版在线登录-ANBO(中国)地址：上海中山北路3663号理科大楼
上海市浦东新区楠木路111号
院长信箱：yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550
www.sei.ecnu.edu.cn Copyright Software Engineering Institute