2024年硕士生招生目录.doc

《2024 年硕士研究生统考招生专业目录》 学科名称 计算机科 学与技术 （0812） 研究方向代码及名称 指导教师 01. 计算机图形学与虚拟现实 王文成 侯 飞 02. 形式化方法 詹博华 李勇坚 03. 软件设计与分析方法，新型计算 模型与应用 陈海明 04. 智能控制系统形式设计及验证 薛 白 05. 约束求解 蔡少伟 06. 实时操作系统的验证 王淑灵 07. 自动推理与软件分析 张 健 08. 可信智能计算 张立军 吴志林 09. 并行算法与并行软件 10. 自然语言理解 软件工 程（0835） 李会元 曹建文 张常有 陈 峰 马菲菲 黎雷生 孙 乐 韩先培 林鸿宇 11. 软硬件深度融合 杨秋松 慈轶为 12. 人机交互，实时智能 田 丰 乔 颖 韩 腾 13. 网络分布计算理论与技术 金蓓弘 王 伟 刘 杰 张扶桑 01. 软件分析与测试、软件安全 蔡 彦 02. 软件分析与测试、自动推理 晏荣杰 实验室 拟招收人数 计算机科 学国家重 点实验室 4 并行软件 与计算科 学实验室 中文信息 处理实验 室 基础软件 国家工程 研究中心 人机交互 技术与智 能信息处 理实验室 软件工程 技术研究 开发中心 计算机科 学国家重 点实验室 5 03. 可信智能系统 吴志林 04. 软件安全 苏璞睿 闫 佳 和 亮 贾相堃 路 远 可信计算 与信息保 障实验室 05. 新型操作系统和系统安全 马恒太 陶秋铭 李文波 基础软件 国家工程 研究中心 06. 用户界面技术 07. 分布式软件理论与技术 08 大数据与智能信息处理 马翠霞 陈 辉 邓小明 朱嘉奇 何小伟 黄 进 钟 华 魏 峻 叶 丹 张文博 严 俊 吴国全 窦文生 陈 伟 王 焘 许利杰 吴 恒 朱家鑫 郑昌文 赵军锁 吴玉泉 唐熊忻 09. 数据科学与数据智能 丁治明 10. 智能感知与类脑多模态信息处 理 刘 杰 11. 可视分析与数据智能 张凤军 12. 智能化软件开发方法及质量保 障 杨 立 13. 智能基础理论与系统 赵 琛 张立波 张 珩 李 鹏 郑 晨 人机交互 技术与智 能信息处 理实验室 软件工程 技术研究 开发中心 天基综合 信息系统 重点实验 室 时空数据 管理与数 据科学研 究中心 时空数据 管理与数 据科学研 究中心 时空数据 管理与数 据科学研 究中心 时空数据 管理与数 据科学研 究中心 智能软件 研究中心 14. 操作系统 武延军 李 玲 于佳耕 张 珩 郑 晨 智能软件 研究中心 15. 智能软件安全 吴敬征 智能软件 研究中心 16. 可信赖人工智能评估 薛云志 孟令中 智能软件 研究中心 01.密码学与安全协议 网络空间 安全 （0839） 02. 网络与系统安全 工程领域 研究方向代码及名称 张振峰 徐 静 吴文玲 张 斌 张 蕾 冯登国 张 敏 陈 华 李 昊 秦 宇 指导教师 可信计算 与信息保 障实验室 1 可信计算 与信息保 障实验室 备注 01. 图像分析与可视化 王文成 02. 量子计算 官 极 应圣钢 计算机科 学国家重 点实验室 吴 鹏 李勇坚 陈 隆 杨 晨 张颖君 白琨鹏 范丽敏 连一峰 张立武 芮建武 马 越 翟 健 可信计算 与信息保 障实验室 03. 机器学习与自动化验证 04. 软件安全与信息保障 电子信 息 (软件工 05. 软硬件深度融合 程领域 085405) 06. 交互式系统设计与开发 谢旭荣 冷 昶 07. 知识图谱与云计算 胡 军 胡渊喆 08. 分布式软件系统工程 钟 华 唐 震 王 帅 09. 智能化软件系统工程 杨 立 基础软件 国家工程 研究中心 人机交互 技术与智 能信息处 理实验室 智能博弈 重点实验 室 软件工程 技术研究 开发中心 时空数据 管理与数 据科学研 究中心 拟招收人数 12 10. 数据可视化与智能用户界面 张凤军 时空数据 管理与数 据科学研 究中心 11. 编程语言与编译工具链 赵 琛 武延军 李 鹏 于佳耕 智能软件 研究中心 12. 智能系统安全 吴敬征 智能软件 研究中心 13. 可信赖人工智能测试 14. 云计算与大数据 15. 智能系统软件 16. 智能算法测评 17. 智能无人系统测评 薛云志 孟令中 董 乾 张文博 吴国全 陈 伟 刘 杰 吴 恒 朱家鑫 唐 震 赵 琛 武延军 吴敬征 李 玲 于佳耕 张 珩 李 鹏 薛云志 孟令中 董 乾 薛云志 孟令中 董 乾 智能软件 研究中心 软件工程 技术研究 开发中心 代南京学 院招生 智能软件 研究中心 代南京学 院招生 智能软件 研究中心 代南京学 院招生 智能软件 研究中心 代南京学 院招生