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

南京大学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 虚拟化与云计算