|
学科专业 |
研究方向代码及名称 |
指导教师 |
招生人数 |
考试科目代码及名称 |
|
计
算
机
软
件
与
理
论
（081202） |
01. 模型检测与测试 |
林惠民 院 士 |
14 |
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础 |
|
02. 程序分析与测试 |
张 健 研究员 |
|
03. 数据挖掘，形式化方法 |
沈一栋 研究员 |
|
04. 有关不动点逻辑的判定问题 |
柳欣欣 研究员 |
|
05. 形式化方法 |
张文辉 研究员 |
|
06. 程序设计理论基础 |
蒋 颖 研究员 |
|
07. 软件设计方法和形式规约 |
陈海明 副 研 |
|
08. 实时系统的理论与工具 |
李广元 副 研 |
| 09. Petri网络理论与应用 |
焦 莉 副 研 |
| 10. 计算模型研究 |
李昂生 研究员 |
| 11. 中文信息处理,系统软件 |
孙玉芳 研究员
吴 健 副 研
孙 乐 副 研
石文昌 研究员 |
12 |
| 12. 嵌入式数据库系统的开发 |
*张 倪 研究员 |
|
13. 智能软件工程，实时系统 |
李明树 研究员
王永吉 研究员
王 青 研究员
周津慧 副 研
李怀璋 副 研
淮晓永 副 研 |
18 |
|
14. 软件测试方法和工具 |
赵 琛 研究员 |
|
15. 网络分布计算和软件工程 |
黄 涛 研究员
金蓓弘 副 研
钟 华 副 研
魏 峻 副 研
叶 丹 副 研 |
22 |
|
李 京 研究员
左 春 研究员
成理宙 高 工
许舒人 副 研 |
| 16. 并行计算与软件 |
李玉成 研究员
张云泉 副 研
曹建文 副 研 |
7 |
|
计
算
机
应
用
技
术
（081203） |
01. 计算机图形学 |
吴恩华 研究员
王文成 研究员
刘学慧 副 研 |
7 |
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础 |
|
02. 网络通信和多媒体技术 |
吴志美 研究员
方贵明 研究员
刘 琼 研究员
孙利民 副 研
石志强 高 工 |
11 |
| 03. 嵌入式系统 |
*高 悦 研究员
*王新社 研究员 |
|
04. 大型网络信息安全技术 |
贺也平 研究员
刘克龙 副 研 |
4 |
|
05. 人机交互技术，
软件工程 |
戴国忠 研究员
王宏安 研究员
王丹力 副 研
金 宏 副 研
张习文 副 研
张凤军 副 研 |
16 |
|
06.软件工程及应用 |
秦 晓 研究员
孙 静 高 工
刘瑞虹 高 工 |
|
07.数字化,并行化 |
佘春东 副 研 |
4 |
|
08.信息系统集成 |
李 磊 研究员 |
|
信
息
安
全
（081220） |
01.网络与系统安全 |
冯登国 研究员 |
13 |
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
475.信息安全基础
（469/475二选一） |
|
02.密码学与安全协议 |
林东岱 研究员
武传坤 研究员
王明生 研究员
薛 锐 副 研
吴文玲 研究员
张振峰 副 研 |
|
基
础
数
学
（070101） |
01.计算理论及其应用 |
李昂生 研究员 |
2 |
101.政治理论
201.英语
321.数学分析
933.线性代数与近世代数 |
|
备注 |
软件所不办辅导班，也不提供往年专业试题； 标有*的导师为兼职导师；
2004年复试分数线为350分；2003年复试线为320（应届生）/315分（非应届生）。 |
京ICP证040377 北京通信管理局
