ac3efd20afd566337636d43199b7e00a.docVIP

中国科学院软件研究所2009年博士生招生专业目录 单位地址：北京市海淀区中关村南四街4号 邮编: 100190 联系部门：部研究生 联系电话：010－座机电话号码 联系人：安老师，李老师 E-mail地址：yali@iscas.ac.cn 学科 专业 部门 研究方向 指导教师 预计 招生 人数 考试科目代码、名称 计算机软件与理论（081202） 计算 机科 学国 家重 点实 验室 01.并发理论与模型检测 林惠民　院 　士 7 1001. 英语 2796. 算法设计与分析 3798. 计算机科学基础 02.自动推论与约束处理 张　健　研究员 03.形式化方法 张文辉 　研究员 （只招硕博连读生） 04.数据挖掘，形式化方法 沈一栋 　研究员 （只招硕博连读生） 05.新型计算模型与应用 陈海明　研究员 （只招硕博连读生） 06.程序设计基础 蒋 　颖　研究员 （只招硕博连读生） 07.Petri网理论与应用 焦 　莉　研究员 1001. 英语 2796. 算法设计与分析 3798. 计算机科学基础 08. 计算模型与可计算性 李昂生　研究员 1001. 英语 2796. 算法设计与分析 3807. 计算理论 09. 计算复杂性与算法 李昂生 *蔡进一 10. 算法与生物信息** 李昂生 *钱玉麟 11.并行算法与并行软件 张云泉　研究员 （ （只招硕博连读生） 12.数值并行计算 曹建文　研究员 1001. 英语 2796. 算法设计与分析 3800. 分布式算法和程序设计 基础 软件 研究 中心 13.可信软件过程技术 李明树　研究员 6 1001. 英语 2795. 软件工程和方法学 3799. 人工智能原理 14.可信计算与系统安全 贺也平　研究员 1001. 英语 2796. 算法设计与分析 3802. 信息和网络安全 15.数据库与知识库系统 丁治明　研究员 1001. 英语 2796. 算法设计与分析 3799. 人工智能原理 16.实时系统 王永吉　研究员 17.编译技术及应用 赵　琛 　研究员 互联 网软件技术实 验室 18.软件过程技术与方法 李明树　研究员 王　青　研究员 王永吉　研究员 4 1001. 英语 2795. 软件工程和方法学 3799. 人工智能原理 计算机软件与理论 软件 工程技术研究 中心 19.网络分布计算和软件工程 黄　涛　研究员 魏　峻　研究员 钟　华　研究员 5 1001. 英语 2795. 软件工程和方法学 3800. 分布式算法和程序设计 计算机应用技术（081203） 计算 机科 学国 家重 点实 验室 01.计算机图形学 吴恩华　研究员 王文成　研究员 3 1001. 英语 2796. 算法设计与分析 3801. 计算机图形学 吴恩华 *徐迎庆 （只招硕博连读生） 人机 交互 技术 实验 室 02.人机交互技术、软件工程 戴国忠　研究员 2 1001. 英语 2795. 软件工程和方法学 3799. 人工智能原理 王宏安　研究员 （只招硕博连读生） 综合信息系统技术国家级重点实验室 03. 信息处理集成 胡晓惠　研究员 李　磊　研究员 2 1001. 英语 2795. 软件工程和方法学 3805. 网络与通信原理 ★ 信息安全（081220） 信息 安全 国家 重点 实验 室 01.网络与系统安全 冯登国　研究员 11 1001. 英语 2796. 算法设计与分析 3804. 网络安全 02.密码学与安全协议 林东岱　研究员 武传坤　研究员 吴文玲　研究员 王明生　研究员 1001. 英语 2797. 密码学 3803. 代数与编码 03.计算机网络与多媒体技术 孙利民　研究员 胡晓惠　研究员 1001. 英语 2796. 算法设计与分析 3805. 网络与通信原理 04. 现代密码学及其应用 冯登国　研究员 林东岱　研究员 吴文玲　研究员 5 1001. 英语 2797. 密码学 3803. 代数与编码 备 注 1．招生计划数中约有一半用于招收硕博连读生和提前攻博的学生。 2．招生计划数最终以国家下达的为准。 3．标有*号的导师为兼职博导。兼职导师需作为第2导师与所内合作导师联合招生。 2009年招收博士生入学考试专业课参考书目 代码 考试科目名称 参? 考? 书 主要覆盖范围 2795 软件工程和方法学 1、Software Engineering:A Practitioners Approach,Sixth Edition ， McGraw-Hill ，