博士生导师(学术学位)

*按姓氏拼音顺序排列

姓名

研究方向

邮箱

鲍海勇大数据安全与隐私保护、网络与信息安全、区块链、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用hybao@sei.ecnu.edu.cn

蔡海滨

普适计算,物联网/CPS,嵌入式软件

hbcai@sei.ecnu.edu.cn

曹桂涛

物联网与智能技术、智能识别与决策系统、边缘计算

gtcao@sei.ecnu.edu.cn

曹珍富

数论,密码学新理论,网络安全新理论,云计算、云处理安全和隐私保护,大数据安全和隐私保护

zfcao@sei.ecnu.edu.cn

陈洁

密码学,信息安全

jchen@cs.ecnu.edu.cn

陈小红
需求工程,形式化方法,最终用户编程,AI辅助的动画自动生成xhchen@sei.ecnu.edu.cn

陈铭松

物联网、智能系统设计自动化,可信智能软件,计算机体系结构,边缘计算

mschen@sei.ecnu.edu.cn

陈仪香

物联网、实时协同规范语言设计、程序语义模型、软件可信度量与评估

yxchen@sei.ecnu.edu.cn

陈志立安全多方计算,差分隐私,隐私保护,信息隐藏zhlchen@sei.ecnu.edu.cn
程鹏空间众包、智慧交通、隐私保护、图数据库pcheng@sei.ecnu.edu.cn

邓玉欣

并发理论,程序语义

yxdeng@sei.ecnu.edu.cn

董晓蕾

数论、密码学与网络安全

dongxiaolei@sei.ecnu.edu.cn

杜德慧

可信人工智能、人工智能系统的正确性、安全性的建模与验证;信息物理融合系统的建模及验证;实时系统建模及验证,建模、验证工具研发、应用研究dhdu@sei.ecnu.edu.cn
巩俊卿密码学与信息安全jqgong@sei.ecnu.edu.cn
宫学庆数据库技术、分布式数据管理系统xqgong@sei.ecnu.edu.cn

何积丰

高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论

jifeng@sei.ecnu.edu.cn

李成举编码密码、信息安全cjli@sei.ecnu.edu.cn
李钦

可信人工智能基础理论,人机物融合系统运行时自适应验证技术,
面向生成式大模型的可信评测与优化技术

qli@sei.ecnu.edu.cn
李建文自动化验证理论和应用技术、计算机逻辑理论和应用技术、自动机理论和应用技术jwli@sei.ecnu.edu.cn

李祥学

车联网安全,网络安全,密码学

xxli@cs.ecnu.edu.cn

LIN Xuemin

数据库理论、算法与技术研究,时空数据和流数据的查询、图和文本的匹配查询、不确定数据的概化查询及图数据可视化

xmlin@sei.ecnu.edu.cn

刘静

可信软件,模型驱动式软件开发方法,面向服务的软件架构

jliu@sei.ecnu.edu.cn

刘虹

智能网联汽车信息安全,预期功能安全,工业控制系统安全

hliu@sei.ecnu.edu.cn

缪炜恺

软件形式化方法,需求建模与分析,软件测试

wkmiao@sei.ecnu.edu.cn

蒲戈光

程序分析,软件验证,基于Web的工作流建模

ggpu@sei.ecnu.edu.cn

钱海峰

计算机安全、信息安全与密码学、计算机网络安全、密码理论与算法数论

hfqian@admin.ecnu.edu.cn

史建琦工业软件,形式化方法,可信人工智能,实时操作系统jqshi@sei.ecnu.edu.cn
苏亭软件分析与验证,软件测试,软件安全,可信人工智能,系统软件tsu@sei.ecnu.edu.cn
万成城智能软件系统、智能化软件工程ccwan@sei.ecnu.edu.cn

王高丽

密码学与网络安全

glwang@sei.ecnu.edu.cn

王廷人工智能、云计算、边缘计算、数据中心网络
twang@sei.ecnu.edu.cn
魏宪几何优化与机器学习,智能系统xwei@sei.ecnu.edu.cn
徐鸣软件理论、自动推理、量子计算mxu@cs.ecnu.edu.cn
杨争峰机器学习与优化,深度学习算法的设计与验证,形式化方法zfyang@sei.ecnu.edu.cn

张磊

车联网/物联网安全,密码学,人工智能(联邦学习)安全,区块链,云计算安全,隐私保护

leizhang@sei.ecnu.edu.cn

张民形式化方法、可信软件zhangmin@sei.ecnu.edu.cn
张敏形式化验证,可信人工智能mzhang@sei.ecnu.edu.cn
张新宇机器人技术、虚拟现实xyzhang@sei.ecnu.edu.cn
周俊密码学与信息安全、智能安全与隐私保护、区块链隐私保护与监管jzhou@sei.ecnu.edu.cn

朱惠彪

高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数

hbzhu@sei.ecnu.edu.cn

朱明华

无线传感器网络,嵌入式系统,无线通信,数字集成电路设计

mhzhu@sei.ecnu.edu.cn

曾鹏
大数据安全与隐私保护、区块链、云计算安全、抗量子攻击密码等pzeng@sei.ecnu.edu.cn

华东师范大学软件工程学院
学院地址:上海中山北路3663号理科大楼
院长信箱:yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
www.sei.ecnu.edu.cn Copyright Software Engineering Institute