软件工程学院
华东师范大学
鲍海勇
教授
hybao@sei.ecnu.edu.cn
区块链、隐私计算、网络与信息安全、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用
曹珍富
教授
zfcao@sei.ecnu.edu.cn
数论 密码学 网络空间安全新理论 （包括隐私计算4.0，云计算安全、云处理安全，大数据安全，区块链安全、人工智能安全和隐私保护，大模型安全和隐私保护等）
蔡方达
工程师
fdcai@sei.ecnu.edu.cn
主要研究与工程方向为同步语言Scade编译器、基于QEMU的嵌入式系统虚拟化环境、工业应用运行时环境等。 同步语言Scade编译器工作是所在团队基于模型的分析验证环境的组成部分。团队基于模型的...
陈仪香
职称未知
yxchen@sei.ecnu.edu.cn
领域：软件形式化方法、 智能嵌入式系统软硬件协同设计技术 兴趣：智能系统设计与优化、物联网、实时系统规范语言设计与语义、软件可信度量与评估、软硬件协同设计
陈小红
副教授
xhchen@sei.ecnu.edu.cn
理论研究： 关键词包括需求工程，基于知识的软件工程，形式化方法，信息物理融合系统，物联网，安全攸关系统，AI，最终用户编程，具体来说，包括： （1）基于环境建模的需求工程方法：面向CPS、嵌...
陈铭松
教授
mschen@sei.ecnu.edu.cn
信息物理融合系统设计自动化、可信人工智能、智能系统软硬件协同设计与优化、形式化方法与技术、计算机体系结构、物联网技术、智能教育信息技术
陈闻杰
副教授
wjchen@sei.ecnu.cn
人工智能与软硬件协同优化（类脑计算、脉冲神经网络、FPGA） 智能系统与机器感知（嵌入式系统、智能硬件、视觉与非视觉感知） 物联网与移动计算（无线传感器网络、车联网、App与微信）
蔡喁
高级工程师
ycai@sei.ecnu.edu.cn
近20年嵌入式特别是民用飞机机载软件开发和验证经验。参加过国外多个民用飞机机载系统软件研制。主导了十二五到十三五期间中国民用航空局机载软件安全性政策要求的制定、审查方法体系构建、人员培养等工作，...
陈程
副教授
chchen@sei.ecnu.edu.cn
我的研究目标是设计高效、鲁棒且有理论保证的机器学习算法，主要研究方向包括： 在线学习（Online Learning） 强化学习（Reinforcement...
杜德慧
教授
dhdu@sei.ecnu.edu.cn
可信人工智能、人工智能系统的正确性、安全性建模与验证 模型驱动及数据驱动式智能系统的建模、设计、开发 安全攸关信息物理融合系统的建模及验证 信息物理融合系统建模、验证方法及技术（自动驾驶、...