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