拟招人数

学科、专业名称、研究方向

导师

考     试     科     目

12

人

081202计算机软件与理论

01计算机自动推理与符号计算

02自动推理、弱小目标识别

03自动推理与机器证明

杨路

秦小林

刘忠

①英语②计算机软件③自动推理与符号计算

04信息安全方法与技术

05人工智能、信息安全

06形式化方法

王晓京

崔喆

吴尽昭

①英语②计算机软件③离散数学

07机器学习、图像处理1

08机器视觉与人工智能

09机器学习、图像处理2

付忠良

陈  斌

姚  宇

①英语②计算机软件③数字图像处理

10大数据及其智能处理技术

11公共大数据融合与集成

钟  勇

李少波

①英语②计算机软件③软件工程与方法

12计算智能、量子算法、并行计算

王  鹏

①英语②计算机软件③云计算与大数据技术

参                考                  书                目

计算机软件

《数据结构C语言版》 严蔚敏清华大学出版社

《数据库系统概论》王珊 萨师煊（第四版）高等教育出版社

《计算机算法设计与分析导论》朱清新 人民邮电出版社

软件工程与方法

《软件工程导论》、（第三版）清华大学出版社、张海藩；

自动推理与符号计算

《非线性代数方程组与定理机器证明》、上海科技教育出版社（96年）、杨路 张景中；

离散数学

《离散数学》（第四版）、电子工业出版社、王孝喜等译

数字图象处理

《数字图象处理》、电子工业出版社、（美）Kenneth R.Castleman著朱志刚等译

云计算技术

《云计算的关键技术与应用实例》 人民邮电出版社 王鹏著

并行计算技术

《并行计算应用及实战》机械工业出版社 王鹏主编

注：英语由中国科学院大学统一命题，其他专业课由本所命题，博士基本学制为4年。