一级学科代码及名称 0812计算机科学与技术
专业代码及名称 081201计算机系统结构
专业代码及名称 081201计算机系统结构
081202计算机软件与理论
081203计算机应用技术
一、学科（专业）研究方向
|
序号
|
专业
|
研究方向
|
导师（*为博导）
|
|
1
|
计算机系统结构
|
指令级并行处理与线程级并行处理
|
*程旭，
佟冬，刘锋
|
|
2
|
同上
|
系统芯片设计方法学
|
|
|
3
|
同上
|
微处理器设计技术
|
|
|
4
|
同上
|
软硬件协同设计
|
|
|
5
|
同上
|
高能效计算
|
*从京生
|
|
6
|
同上
|
异构计算体系结构、编译与运行时系统
|
|
|
7
|
同上
|
搜索引擎与网上信息挖掘
|
*李晓明，*代亚非
*肖臻 ，*罗英伟 严伟 闫宏飞， 汪小林，余华山
|
|
8
|
同上
|
计算机网络与分布式系统
|
|
|
9
|
同上
|
计算机网络与移动计算
|
|
|
10
|
同上
|
高效能计算
|
|
|
11
|
同上
|
云计算与虚拟化
|
|
|
12
|
同上
|
面向大规模计算的网格构件技术
|
|
|
13
|
同上
|
系统虚拟化技术
|
|
|
14
|
计算机软件与理论
|
软件工业化生产技术与系统
|
*杨芙清，*梅宏， *陈向群 *张世琨， *谢冰 *王千祥， *金芝 *张路， *李实恭 麻志毅， 孙艳春 黄罡， 赵海燕 赵俊峰，王亚沙 焦文品，陈泓婕 周明辉，赵文 曹东刚，郭耀 李戈 张伟，黄雨 胡文惠
|
|
15
|
同上
|
软件复用与软件构件技术
|
|
|
16
|
同上
|
操作系统
|
|
|
17
|
同上
|
嵌入式软件
|
|
|
18
|
同上
|
面向对象方法与技术
|
|
|
19
|
同上
|
软件项目管理
|
|
|
20
|
同上
|
计算机语言与编译系统
|
|
|
21
|
同上
|
软件需求工程
|
|
|
22
|
同上
|
网络与信息安全
|
*沈昌祥， *陈钟
*吴中海，唐礼勇
胡建斌
|
|
23
|
同上
|
人工智能
|
*李文新， 张宁
|
|
24
|
同上
|
知识表示与知识工程
|
|
|
25
|
同上
|
电子商务与电子政务
|
|
|
26
|
同上
|
模式识别与生物特征识别
|
|
|
27
|
同上
|
计算机图形学
|
*汪国平，王衡
陈毅松，李胜
|
|
28
|
同上
|
人机交互技术
|
|
|
29
|
同上
|
虚拟现实技术
|
|
|
30
|
同上
|
视觉计算
|
|
|
31
|
同上
|
Web环境下的数据库与信息集成技术
|
*崔斌
*张铭，陈立军
*王腾蛟，高军
|
|
32
|
同上
|
数据仓库与数据挖掘的方法和应用
|
|
|
33
|
同上
|
数据库管理系统实现技术
|
|
|
34
|
同上
|
多媒体数据库管理技术
|
|
|
35
|
同上
|
典型应用领域的数据库与信息系统
|
|
|
36
|
同上
|
语义网与社会网络分析
|
|
|
37
|
同上
|
自然语言处理
|
*王厚峰，*穗志方
孙斌， 常宝宝
李素建，刘扬
吴云芳，胡俊峰
|
|
38
|
同上
|
机器翻译技术
|
|
|
39
|
同上
|
信息检索与提取
|
|
|
40
|
同上
|
文本知识获取与知识工程
|
|
|
41
|
同上
|
Web 内容挖掘与舆情分析
|
|
|
42
|
同上
|
语言知识库系统
|
|
|
43
|
同上
|
计算语言学
|
|
|
44
|
同上
|
算法设计与分析
|
*王捍贫，*许进，
*苏开乐，*陈一峯
刘田，于江生
曹永知
|
|
45
|
同上
|
计算复杂性
|
|
|
46
|
同上
|
程序理论
|
|
|
47
|
同上
|
生物信息学
|
|
|
48
|
同上
|
图与组合优化
|
|
|
49
|
同上
|
模型检测多智能体系统与安全协议验证
|
|
|
50
|
同上
|
难解问题的算法与应用
|
|
|
51
|
同上
|
统计机器学习
|
|
|
52
|
同上
|
并发理论及应用
|
|
|
53
|
同上
|
并行软件与编程模型
|
|
|
54
|
同上
|
静态程序分析与验证
|
|
|
55
|
计算机应用技术
|
网络内容信息抽取与模式识别
|
*肖建国，*周秉锋
*汤帜，*郭宗明
*赵东岩，*邹维
*彭宇新，李平立
陈晓鸥，刘志红， 万小军，唐英敏
贾文华，吴於茜
吕肖庆， 杨斌 叶志远，杨德顺 陈昱， 杨建武
朱岩，孙俊
|
|
56
|
同上
|
数字视频信息处理
|
|
|
57
|
同上
|
互联网搜索与挖掘
|
|
|
58
|
同上
|
计算机图形学与虚拟现实技术
|
|
|
59
|
同上
|
信息安全保障技术
|
|
|
60
|
同上
|
网络攻防技术
|
|
|
61
|
同上
|
数字版权保护技术
|
|
|
62
|
同上
|
数字音频信息处理
|
|
|
63
|
同上
|
信息安全中的数字水印技术
|
|
|
64
|
同上
|
数字媒体技术
|
*高文， *王亦洲
*黄铁军，*熊瑞勤田永鸿，马思伟
段凌宇
|
|
65
|
同上
|
视频编码技术
|
|
|
66
|
同上
|
智能媒体计算
|
|
|
67
|
同上
|
计算机视觉与数字视觉艺术
|
|
|
68
|
同上
|
数字媒体安全
|
|
|
69
|
同上
|
多媒体分析与检索
|
|
|
70
|
同上
|
计算机网络及应用
|
种连荣， 张蓓
陈光， 李庭晏
李笑难，滕小玲
陈萍，马皓
|
|
71
|
同上
|
数据库技术及应用
|
二、培养目标、学习年限及应修学分
|
培养目标：
对于计算机科学与技术学科（包括计算机软件与理论、计算机系统结构和计算机应用技术三个二级学科）的硕士研究生，应掌握坚实的计算机科学与技术的基础理论知识，具有利用原理、方法和新技术进行系统分析、设计与开发的能力，在一、两个研究方向上，能深入、系统地掌握其理论、方法，并了解当前国内外最新发展动态。能够承担科学研究、工程课题以及高校教学工作，并可继续攻读计算机科学与技术以及相关技术学科、交叉学科的博士学位。
|
|
学习年限：
3年
|
|
应修学分：
总学分33 学分，其中
必修课：21学分
全校必修课：2门， 7学分（英语4学分，政治3学分）
专业必修课：5门，14学分
选修课：12学分
|
三、课程设置（包括专题研讨课等）
|
序号
|
课程编号
|
课 程 名 称
|
课程
类型
|
学分
|
开课
学期
|
任课教师
（职称）
|
适用专业
（本专业及其它专业）
|
|
1
|
30810030
|
硕士第一外国语
|
必修课
|
4
|
秋
|
|
所有专业
|
|
2
|
61410007
|
自然辩证法
|
必修课
|
1
|
春
|
|
所有专业
|
|
3
|
61410005
|
中国特色社会主义理论与实践研究
|
必修课
|
2
|
春
|
|
所有专业
|
|
4
|
04810000
|
科研实践
|
必修课
|
3
|
春秋
|
|
计算机专业
|
|
5
|
04812010
|
面向对象分析与设计
|
必修课
|
3
|
春
|
邵维忠（教授）
李戈（副教授）
|
计算机专业
|
|
6
|
04812020
|
高等计算机体系结构
|
必修课
|
3
|
春
|
程旭（教授）
|
计算机专业
|
|
7
|
04812030
|
算法分析和复杂性理论
|
必修课
|
3
|
秋
|
屈婉玲（教授）
|
计算机专业
|
|
8
|
04812620
|
教学实习
|
必修课
|
2
|
春秋
|
|
计算机专业
|
|
9
|
04811830
|
移动计算与无线网络
|
选修课
|
3
|
春
|
严伟（副教授）
|
计算机专业
|
|
10
|
04811982
|
自然语言处理高级专题
|
选修课
|
3
|
春
|
王厚峰（教授）
|
计算机专业
|
|
11
|
04811990
|
语义网与数字图书馆
|
选修课
|
3
|
春
|
张铭（教授）
|
计算机专业
|
|
12
|
04812000
|
先进技术专题
|
选修课
|
3
|
秋
|
|
计算机专业
|
|
13
|
04812040
|
分布式系统概念与设计
|
选修课
|
3
|
春
|
代亚非（教授）
闫宏飞（副教授）
|
计算机专业
|
|
14
|
04812050
|
人工智能
|
选修课
|
3
|
秋
|
陈昱（副研究员）
|
计算机专业
|
|
15
|
04812052
|
文本挖掘技术
|
选修课
|
3
|
秋
|
杨建武（副研究员）
|
计算机专业
|
|
16
|
04812070
|
形式语言与自动机引论
|
选修课
|
3
|
春
|
金芝（教授）
|
计算机专业
|
|
17
|
04812080
|
理论计算机科学基础
|
选修课
|
3
|
春
|
刘田（副教授）
|
计算机专业
|
|
18
|
04812100
|
高级操作系统
|
选修课
|
3
|
秋
|
陈向群（教授）
|
计算机专业
|
|
19
|
04812102
|
视频编码与理解
|
选修课
|
3
|
春
|
高文（教授）、
黄铁军（教授）、
王亦洲（教授）、
马思伟（讲师）、
田永鸿（副教授）、熊瑞勤（教授）
|
计算机专业
|
|
20
|
04812110
|
高级软件工程
|
选修课
|
3
|
春
|
王千祥（教授）
|
计算机专业
|
|
21
|
04812112
|
人机交互理论与技术
|
选修课
|
3
|
春
|
王衡（副教授）
|
计算机专业
|
|
22
|
04812120
|
数据库原理与技术
|
选修课
|
3
|
秋
|
高军（副教授）
|
计算机专业
|
|
23
|
04812122
|
贝叶斯数据分析
|
选修课
|
3
|
春
|
于江生（副教授）
|
计算机专业
|
|
24
|
04812130
|
网络和信息安全
|
选修课
|
3
|
春
|
陈钟（教授）
|
计算机专业
|
|
25
|
04812133
|
网络与信息系统前沿技术
|
选修课
|
3
|
暑期
|
代亚非（教授）
|
计算机专业
|
|
26
|
04812140
|
计算机图形学与多媒体
|
选修课
|
3
|
秋
|
汪国平（教授）、
李胜（副教授）、
陈毅松（副教授）
|
计算机专业
|
|
27
|
04812143
|
软件工程先进技术专题
|
选修课
|
2
|
暑期
|
周明辉（副教授）
|
计算机专业
|
|
28
|
04812150
|
程序设计语言的形式语义
|
选修课
|
3
|
秋
|
王捍贫（教授）
|
计算机专业
|
|
29
|
04812153
|
众核计算与并行程序设计
|
选修课
|
1
|
暑期
|
陈一峯（教授）
|
计算机专业
|
|
30
|
04812160
|
计算语言学
|
选修课
|
3
|
秋
|
常宝宝（副教授）
|
计算机专业
|
|
31
|
04812163
|
人工智能先进技术专题
|
选修课
|
2
|
暑期
|
李文新（教授）
|
计算机专业
|
|
32
|
04812170
|
数字图像处理
|
选修课
|
3
|
秋
|
陈晓欧（研究员）、彭宇新（教授）
|
计算机专业
|
|
33
|
04812172
|
计算视觉中的模型与方法
|
选修课
|
2
|
春
|
王亦洲（教授）
|
计算机专业
|
|
34
|
04812180
|
软件设计工具
|
选修课
|
3
|
秋
|
周秉锋（研究员）
|
计算机专业
|
|
35
|
04812181
|
海量图数据的管理和挖掘
|
选修课
|
3
|
秋
|
邹磊（讲师）
|
计算机专业
|
|
36
|
04812190
|
网络信息体系结构
|
选修课
|
3
|
春
|
李晓明（教授）、
彭波（讲师）
|
计算机专业
|
|
37
|
04812210
|
软件项目管理
|
选修课
|
3
|
春
|
孙艳春（副教授）
|
计算机专业
|
|
38
|
04812230
|
并行程序设计
|
选修课
|
3
|
秋
|
余华山（副教授）
|
计算机专业
|
|
39
|
04812330
|
软件体系结构
|
选修课
|
3
|
秋
|
张世琨（教授）
|
计算机专业
|
|
40
|
04812360
|
计算机高级图形学
|
选修课
|
3
|
秋
|
汪国平（教授）
|
计算机专业
|
|
41
|
04812370
|
软件建模理论与UML
|
选修课
|
3
|
秋
|
麻志毅（副教授）
|
计算机专业
|
|
42
|
04812490
|
高级逻辑学
|
选修课
|
3
|
秋
|
谢冰（教授）
|
计算机专业
|
|
43
|
04812510
|
密码学
|
选修课
|
3
|
秋
|
王昭（副教授）
|
计算机专业
|
|
44
|
04812520
|
多Agent技术
|
选修课
|
3
|
秋
|
焦文品（副教授）
|
计算机专业
|
|
45
|
04812540
|
软件度量学
|
选修课
|
3
|
秋
|
张路（教授）
|
计算机专业
|
|
46
|
04812550
|
XML数据管理
|
选修课
|
3
|
秋
|
王腾蛟（教授）
|
计算机专业
|
|
47
|
04812610
|
Web Service技术
|
选修课
|
3
|
秋
|
赵俊峰（副教授）
|
计算机专业
|
|
48
|
04812630
|
生物特征识别技术
|
选修课
|
3
|
秋
|
李文新（教授）
|
计算机专业
|
|
49
|
04812640
|
面向服务的计算
|
选修课
|
3
|
秋
|
张宁（副教授）
|
计算机专业
|
|
50
|
04812660
|
统计机器学习
|
选修课
|
3
|
秋
|
于江生（副教授）
|
计算机专业
|
|
51
|
04812670
|
方案工程
|
选修课
|
3
|
春
|
孙艳春（副教授）
|
计算机专业
|
|
52
|
04812680
|
网络攻防技术与实践
|
选修课
|
3
|
秋
|
诸葛建伟（副教授）
|
计算机专业
|
|
53
|
04812700
|
高级编译技术
|
选修课
|
3
|
秋
|
郭耀（副教授）
|
计算机专业
|
|
54
|
04812703
|
职业规划与领导力发展
|
选修课
|
1
|
暑期
|
张铭（教授）
|
计算机专业
|
|
55
|
04802001
|
语义计算与知识检索
|
选修课
|
3
|
秋
|
万小军（副研究员）
|
计算机专业
|
|
56
|
04802002
|
软件测试与分析
|
选修课
|
3
|
秋
|
张路（教授）
|
计算机专业
|
Programme of Master Student Courses
Discipline(一级学科)： Computer Science and Technology
Speciality(二级学科):Computer Architecture, Computer Software and Theory, Computer Applied Technology
|
N0.
|
Serial No.
|
The Title of Courses
|
The Type of courses*
|
Credit
|
Semestre**
|
Teacher and his/her Title
|
Speciality Suitable for
|
|
1
|
30810030
|
English (First Foreign Language)
|
R
|
4
|
A
|
|
|
|
2
|
61410007
|
Dialectics of Nature
|
R
|
1
|
S
|
|
|
|
3
|
61410005
|
|
R
|
2
|
S
|
|
|
|
4
|
04810000
|
Research Practice
|
R
|
3
|
S、A
|
|
|
|
5
|
04812010
|
Object Oriented Analysis and Design
|
R
|
3
|
S
|
Shao Weizhong Li Ge
|
|
|
6
|
04812020
|
Advanced Computer Architecture
|
R
|
3
|
S
|
Cheng Xu
|
|
|
7
|
04812030
|
Analysis of Algorithms and Theory of Computational Complexity
|
R
|
3
|
A
|
Qu Wanling
|
|
|
8
|
04812620
|
Teaching Practice
|
R
|
2
|
S、A
|
|
|
|
9
|
04811830
|
Mobile computing and Wireless network
|
S
|
3
|
S
|
Yan Wei
|
|
|
10
|
04811982
|
Advanced Natural Language Processing
|
S
|
3
|
S
|
Wang Houfeng
|
|
|
11
|
04811990
|
Semantic Web and Digital Libraries
|
S
|
3
|
S
|
Zhang Ming
|
|
|
12
|
04812000
|
Advanced Technical Topics
|
S
|
3
|
A
|
|
|
|
13
|
04812040
|
Distributed systems concepts and design
|
S
|
3
|
S
|
DaiYafei Yan Hongfei
|
|
|
14
|
04812050
|
Artificial Intelligence
|
S
|
3
|
A
|
Chen Yu
|
|
|
15
|
04812052
|
text Mining
|
S
|
3
|
A
|
Yang Jiangwu
|
|
|
16
|
04812070
|
Introduction to Formal Languages and Automata
|
S
|
3
|
S
|
Jin Zhi
|
|
|
17
|
04812080
|
Fundamentals of Theoretical Computer Science
|
S
|
3
|
S
|
Liu Tian
|
|
|
18
|
04812100
|
Advanced Operating System
|
S
|
3
|
A
|
Chen Xiangqun
|
|
|
19
|
04812102
|
Video Coding and Understanding
|
S
|
3
|
S
|
Gao Wen Huang Tiejun Wang Yizhou Ma Siwei Tian Yonghong Xiong Ruiqin
|
|
|
20
|
04812110
|
Advanced Software Engineering
|
S
|
3
|
S
|
Wang Qianxian
|
|
|
21
|
04812112
|
Human Computer Interaction: theory and techniques
|
S
|
3
|
S
|
Wang Heng
|
|
|
22
|
04812120
|
Principle and Technology of Database Systems
|
S
|
3
|
A
|
Gao Jun
|
|
|
23
|
04812122
|
Bayesian Data Analysis
|
S
|
3
|
S
|
Yu Jiangsheng
|
|
|
24
|
04812130
|
Network and Information Security
|
S
|
3
|
S
|
Chen Zhong
|
|
|
25
|
04812133
|
Advanced Technology of Networking and Information system
|
S
|
3
|
Summer
|
Dai Yafei
|
|
|
26
|
04812140
|
Computer Graphics and Multimedia
|
S
|
3
|
A
|
Wang Guoping Li Sheng Chen Yisong
|
|
|
27
|
04812143
|
Advanced Technologies on Software Engineering
|
S
|
2
|
Summer
|
Zhou Minghui
|
|
|
28
|
04812150
|
Formal Semantics of Programming Languages
|
S
|
3
|
A
|
Wang Hanpin
|
|
|
29
|
04812153
|
Many-Core Programming
|
S
|
1
|
Summer
|
Chen Yifeng
|
|
|
30
|
04812160
|
Computational Linguistics
|
S
|
3
|
A
|
Chang Baobao
|
|
|
31
|
04812163
|
Artificial Intelligence Advanced Technique Subject
|
S
|
2
|
Summer
|
Li Wenxin
|
|
|
32
|
04812170
|
Digital Image Processing
|
S
|
3
|
A
|
Chen Xiaoou Peng Yuxing
|
|
|
33
|
04812172
|
Models and Methods in Computational Vision
|
S
|
2
|
S
|
Wang Yizhou
|
|
|
34
|
04812180
|
Software Design Tools
|
S
|
3
|
A
|
Zhou Binfeng
|
|
|
35
|
04812181
|
Managing and Mining Large Graph Data
|
S
|
3
|
A
|
Zou Lei
|
|
|
36
|
04812190
|
Web-based Information Architecture
|
S
|
3
|
S
|
Li Xiaoming Peng Bo
|
|
|
37
|
04812210
|
Software Project Management
|
S
|
3
|
S
|
Sun Yanchun
|
|
|
38
|
04812230
|
Parallel Computing：Programming, Algorithm and Technology
|
S
|
3
|
A
|
Yu Huashan
|
|
|
39
|
04812330
|
Software Architecture
|
S
|
3
|
A
|
Zhang Shikun
|
|
|
40
|
04812360
|
Advanced Computer Graphics
|
S
|
3
|
A
|
Wang Guoping
|
|
|
41
|
04812370
|
Theory of Software Modelingand UML
|
S
|
3
|
A
|
Ma Zhiyi
|
|
|
42
|
04812490
|
Advanced Logics
|
S
|
3
|
A
|
Xie Bin
|
|
|
43
|
04812510
|
Cryptography
|
S
|
3
|
A
|
Wang Zhao
|
|
|
44
|
04812520
|
Agent Technology
|
S
|
3
|
A
|
Jiao Wenpin
|
|
|
45
|
04812540
|
Software Metrics
|
S
|
3
|
A
|
Zhang Lu
|
|
|
46
|
04812550
|
XML Data Management
|
S
|
3
|
A
|
Wang Tengjiao
|
|
|
47
|
04812610
|
Web Service Technology
|
S
|
3
|
A
|
Zhao Junfeng
|
|
|
48
|
04812630
|
Theories and applications of Biometrics Computing
|
S
|
3
|
A
|
Li Wenxin
|
|
|
49
|
04812640
|
Service-oriented Computing
|
S
|
3
|
A
|
Zhang Ning
|
|
|
50
|
04812660
|
Statistical Machine Learning
|
S
|
3
|
A
|
Yu Jiangsheng
|
|
|
51
|
04812670
|
Solutions Engineering
|
S
|
3
|
S
|
Sun Yanchun
|
|
|
52
|
04812680
|
Network Hacking and Defense: Technology and Practice
|
S
|
3
|
A
|
Zhuge Jianwei
|
|
|
53
|
04812700
|
Advanced Compiler Techniques
|
S
|
3
|
A
|
Guo Yao
|
|
|
54
|
04812703
|
Career Planning & Leadership Development
|
S
|
1
|
Summer
|
Zhang Ming
|
|
|
55
|
04802001
|
Semantic Computing and Knowledge Retrieval
|
S
|
3
|
A
|
Wang Xiaojun
|
|
|
56
|
04802002
|
Software Testing and Analysi
|
S
|
3
|
A
|
Zhang Lu
|
|
*.R—Required Courses; S—Selective Courses. **.S—Spring semester; A—Autumn semester
四、对科研能力和学位论文的要求
|
科研能力与水平的基本要求（列出可证明其科研能力与水平的检验标志）
掌握本学科坚实的基础理论和系统的专门知识，具备独立分析问题和解决问题的能力，对所研究的课题有新的见解，取得新的成果，并了解相关的学术研究动态。
|
|
学位论文的基本要求：（包括学术水平、创造性成果及工作量等方面的要求）
学位论文应表明作者在本学科上掌握坚实的理论基础和系统的专门知识，具有从事科学研究工作或独立担负专业技术工作的能力，对所研究的课题有新见解新成果。
学位论文必须是一篇系统完整的学术论文，使用规范的语言。严格按《北京大学研究生手册》中“北京大学研究生学位论文及论文摘要的基本要求与书写格式”的规定撰写，并打印。
|
五、对新生能力、水平的基本要求及入学考试科目设置
|
对新生能力、水平的基本要求：
1． 遵纪守法，品行端正；
2． 学习目的明确，学风严谨；
3． 对本学科有浓厚兴趣；有较好的专门训练，掌握本学科的基本理论，并能较熟练地阅读本学科外文资料；
4． 身体健康；
|
|
入学考试科目设置与录取方式：
计算机科学与技术学科（包括计算机软件与理论、计算机系统结构、计算机应用技术）
硕士生入学考试科目：
1. 英语
2. 政治
3. 数学一（全国统考）
4. 计算机学科专业基础综合（全国统考）
内容：数据结构、操作系统、计算机网络、计算机组成原理
|
