博士生导师（学术学位）-k8凯发平台
*按姓氏拼音顺序排列
姓名 | 研究方向 | 邮箱 |
| 大数据安全与隐私保护、网络与信息安全、区块链、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用 | 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 | |
数据库理论、算法与技术研究，时空数据和流数据的查询、图和文本的匹配查询、不确定数据的概化查询及图数据可视化 | 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 |