博士生导师（专业学位）-k8凯发官方网
*按姓氏拼音顺序排列
| 姓名 | 研究方向 | 邮箱 |
| 大数据安全与隐私保护、网络与信息安全、区块链、虚拟/增强/混合现实、人工智能、智慧旅游、智慧城市、智能电网、智能教育、计算机软件理论及应用 | [email protected] | |
| 普适计算，物联网/cps，嵌入式软件 | [email protected] | |
| 民用飞机（包括大型无人机和evlot）安全关键软件研制、验证和适航技术；民用飞机机载网络安保；嵌入式高安全操作系统和运行环境 | [email protected] | |
| 物联网与智能技术、智能识别与决策系统、边缘计算 | [email protected] | |
| 数论，密码学新理论，网络安全新理论，云计算、云处理安全和隐私保护，大数据安全和隐私保护 | [email protected] | |
| 密码学，信息安全 | [email protected] | |
| 物联网、智能系统设计自动化，可信智能软件，计算机体系结构，边缘计算 | [email protected] | |
| 安全多方计算，差分隐私，隐私保护，信息隐藏 | [email protected] | |
| 空间众包、智慧交通、隐私保护、图数据库 | [email protected] | |
| 并发理论，程序语义 | [email protected] | |
| 数论、密码学与网络安全 | [email protected] | |
| 可信人工智能、人工智能系统的正确性、安全性的建模与验证；信息物理融合系统的建模及验证;实时系统建模及验证，建模、验证工具研发、应用研究 | [email protected] | |
| 密码学与信息安全 | [email protected] | |
| 编码密码、信息安全 | [email protected] | |
| 自动化验证理论和应用技术、计算机逻辑理论和应用技术、自动机理论和应用技术 | [email protected] | |
| 车联网安全，网络安全，密码学 | [email protected] | |
| 可信软件，模型驱动式软件开发方法，面向服务的软件架构 | [email protected] | |
| 智能网联汽车信息安全，预期功能安全，工业控制系统安全 | [email protected] | |
| 软件形式化方法，需求建模与分析，软件测试 | [email protected] | |
| 算法与智能计算、机器学习与深度学习、网络与优化、区块链与分布式计算 | [email protected] | |
| 程序分析，软件验证，基于web的工作流建模 | [email protected] | |
| 计算机安全、信息安全与密码学、计算机网络安全、密码理论与算法数论 | [email protected] | |
| 工业软件，形式化方法，可信人工智能，实时操作系统 | [email protected] | |
| 软件分析与验证，软件测试，软件安全，可信人工智能，系统软件 | [email protected] | |
| 密码学与网络安全 | [email protected] | |
| 几何优化与机器学习，智能系统 | [email protected] | |
| 机器学习与优化，深度学习算法的设计与验证，形式化方法 | [email protected] | |
| 车联网/物联网安全，密码学，人工智能(联邦学习)安全，区块链，云计算安全，隐私保护 | [email protected] | |
| 形式化方法、可信软件 | [email protected] | |
| 形式化验证，可信人工智能 | [email protected] | |
| 机器人技术、虚拟现实 | [email protected] | |
| 密码学与信息安全、智能安全与隐私保护、区块链隐私保护与监管 | [email protected] | |
| 高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数 | [email protected] |