-
-
公众号
-
小程序
- TOP
| 工学硕士 | |||||
| 学科专业 | 部门 | 研究方向代码 及名称 |
指导 教师 |
预计 招生 人数 |
考试科目代码 及名称 |
| 计算机软件与理论 （081202） |
计算机科学国家重点实验室 | 01.网络与并发实时系统的设计与分析 | 林惠民 焦 莉 李广元 吕 毅 吴 鹏 |
36 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
| 02.概率并发系统的建模与检验 | 张立军 |
||||
| 03.多核并发系统的设计与验证 | 张 昱 |
||||
| 04.并发理论和形式化方法 | 柳欣欣 |
||||
| 05.硬件系统的形式化验证 | 李勇坚 |
||||
| 06.软件设计、分析与验证 | 陈海明 杨绍发 吴志林 |
||||
| 07.数据挖掘与语义web | 沈一栋 |
||||
| 08.自动推理与约束求解 | 张 健 |
||||
| 09.信息物理融合系统CPS | 詹乃军 |
||||
| 10.网络算法及其应用 | 李昂生 |
||||
| 并行软件与计算科学实验室 | 11.并行算法与并行软件 | 李玉成 龙国平 马菲菲 张常有 |
101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
| 12.数值并行计算 | 曹建文 李会元 徐 进 |
||||
| 基础软件国家工程研究中心 | 13.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用 | 李明树 丁治明 武延军 芮建武 淮晓永 |
101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
| 14.程序语言设计与编译技术，软件测试方法和工具 | 赵 琛 薛云志 刘 剑 |
||||
| 15.系统安全、可信计算与数字取证 | 贺也平 王永吉 丁丽萍 陆 迤 |
||||
| 16.文本信息处理与信息检索 | 吴 健 孙 乐 李文波 韩先培 马龙龙 |
||||
