|
学科专业 |
研究方向代码及名称 |
指导教师 |
招生人数 |
考试科目代码及名称 |
|
计 算 机 软 件 与 理 论 (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分(非应届生)。 |