南京大学计算机科学与技术系博士招生目录.pdf
南京大学计算机科学与技术系博士招生目录
专业代码、名称 指导
人数 考试科目 备注
及研究方向 教师
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 虚拟化与云计算
