计算机科学与技术博士招生人数,南京大学2017年计算机科学与技术系博士招生目录.pdf...

南京大学2017年计算机科学与技术系博士招生目录.pdf

南京大学2017年计算机科学与技术系博士招生目录

专业代码、名称 指导

人数 考试科目 备注

及研究方向 教师

033 计算机科学

与技术系 该院系本年度采用“申请-考核”

40

制招博士研究生，具体申请方式

请查询该院系主页相关说明。

081200 计算机科学

“计算机科学与技术”为一级学

与技术

科国家重点学科

083500 软件工程

15 软件 自动化与 吕建 ①1107 “申请-考核”外语②院士。

Agent技术 2203 “申请-考核”专业课一③

16 网构软件技术 3323 “申请-考核”专业课二

陈贵海 ①1107 “申请-考核”外语②

01 分布计算与并行

2203 “申请-考核”专业课一③

处理

3323 “申请-考核”专业课二

02 网络与通信

04 软件安全和系统 茅兵 ①1107 “申请-考核”外语②本年度已招收2名直博生。

安全 2203 “申请-考核”专业课一③

05 虚拟计算及其安 3323 “申请-考核”专业课二

全

陆桑璐 ①1107 “申请-考核”外语②本年度已招收2名直博生。

01 分布计算与并行

2203 “申请-考核”专业课一③

处理

3323 “申请-考核”专业课二

03 普适计算

曾庆凯 ①1107 “申请-考核”外语②本年度已招收1名直博生。

06 操作系统安全与

2203 “申请-考核”专业课一③

软件安全

3323 “申请-考核”专业课二

07 网络安全

01 分布计算与并行 陈力军 ①1107 “申请-考核”外语②

处理 2203 “申请-考核”专业课一③

10 计算机网络新技 3323 “申请-考核”专业课二

术

李宣东 ①1107 “申请-考核”外语②本年度已招收1名直博生。

12 复杂软件系统分 2203 “申请-考核”专业课一③

析与验证 3323 “申请-考核”专业课二

赵建华 ①1107 “申请-考核”外语②

13 形式化方法 2203 “申请-考核”专业课一③

14 程序分析 3323 “申请-考核”专业课二

08 操作系统安全与 黄皓 ①1107 “申请-考核”外语②本年度已招收1名直博生。

形式化验证 2203 “申请-考核”专业课一③

09 虚拟化与云计算