资源描述
计算机 科学 技术 系介绍 光辉历史造就高水平专业学科 1955 年，北京大学建立计算数学专业，标志着计算机科学与技术学科在北京大学的诞生。上世纪七十年代初，北京大学与国内其他单位联合攻关全国第一台百万次集成电路电子计算机（ 150 机），并研制成功配套的国产大型操作系统。北京大学还将计算机技术应用于新闻出版行业，并取得重大突破，引发新闻出版行业的技术变革，取得了重大的社会与经济效益。北京大学的计算机科学与技术一级学科包括计算机系统结构、计算机软件与理论、计算机应用技术、软件服务工程等主要学科方向。本学科还建设有软件工 程国家工程研究中心、电子出版新技术国家工程研究中心、教育部软件科学网上合作研究中心、教育部高可信软件技术重点实验室、教育部中国文字字体设计与研究中心、教育部微处理器及系统工程研究中心、中关村网络与信息安全开放实验室等科研基地，形成了基础研究、关键技术研发、技术应用三个层次的科研体系。 近年来，本学科不断发展壮大，为国家培养、输送了一大批优秀的计算机科学与技术人才，取得了人才培养、科学研究与成果转化等多方面的丰收，为我国计算机科学研究与应用的发展做出了重大贡献。 优秀导师荟萃之地，研究生 创新成长沃土 北京大 学计算机科学与技术一级学科包含三个二级学科，其中计算机软件与理论、计算机应用技术均为国家重点二级学科。计算机软件与理论 二级学科在前两轮学科评估中均排名第一。本学科 拥有一支结构合理 、 学术水平高的学术梯队 ， 现有 博士生导师 70 人，硕士生导师 70 人，其中科学院院士 2 人、工程院院士 1 人，千人计划教授 3 人，长江学者 6 人，杰青 9 人，优青 3 人， 973 首席 科学家 3 人 ， 教育部新世纪人才 9 人。本学科拥有 1 个 2011 协同 创新中心（ 共 建） 、 1 个 国家 工程 实验室 、 1 个国家 工程研究 中心、7 个省部级重点实验室。拥有 2 个国家自然基金委创新群体 、 1 个教育部创新团队。近五年，共 承担 500 多项 国家 级科研 项目 /课题 ， 科研经费 5 亿多元 。 近五年发表论文 2500 余篇，出版教材、译著、专著 32.5 部，获得国家自然科学奖二等奖 2 项；国家技术发明奖二等奖 2 项；国家科技进步奖二等奖 6 项；教育部高等学校自然科学奖一等奖 2 项；教育部高等学校科技进步奖一等奖 3 项；教育部技术发明奖一等奖 1 项； 2009年度中国高等学校十大科技进展 1 项；北京市科技三等奖 1 项和技术发明 2 等奖 1 项；何梁何利科学与技术进步奖 1 项；中 国科协求是杰出青年奖成果转化奖 1 项。在人才培养方面， 1 人获全国百篇优 博； 6 人获中国计算机学会优秀博士论文奖。本学科点是我国计算机科学技术领域高素质、多层次、创新性人才培养和科学研究的重要基地之一。我们紧密结合国家重大需求和国际前沿，围绕已有优势和战略必争的研究方向，经长期发展，形成合理的学科布局，研究方向涵盖各个方面，并突出重点和特色。 北京大学的计算机科学与技术系目前已经形成了一支结构合理、个体素质高、具有合作精神，产学研结合的创新团队。本学科的研究生无论选择哪个研究方向，都能获得一流导师的精心指导，从而为未来的深造或工作打下坚实的基础。 一流成果涌现之处，研究生成长有 力保障 进入新世纪以来，本学科在国际期刊、重要国际学术会议以及国内一级学报上发表论文 900 余篇，多次受邀在国际会议做特邀报告，在国际一流的学术会议和期刊上发表了一批 高水平的 学术论文。申请发明专利上百项，每年承担科研项目经费达数千万元，参与制定包括国际标准、国家标准、行业标准等 10 余项。 计算机系统结构研究方向，在现代微处理器结构、优化编译、操作系统、软硬件协同设计、系统芯片设计、 VPU 和 GPU 开发设计等方向深入开展科研和教学工作，研制出我国第一颗支持 16 位 /32 位两套指令系统的微处理器 UniCore32、北 大众志 CPU 系统芯片及配套系统软件，并设计开发 64 位超标量多核处理器 UniCore-3。 计算机网络与信息系统方向，长期开展与网络及信息系统相关的研究，在搜索引擎、网络信息处理 、分布式系统、数据库理论及应用、云存储、 云计算 与大数据、 虚拟化 技术、高效能计算技术、移动互联网关键技术及应用等 方面 有丰富的积淀；在数据挖掘、数据库索引和查询技术，社会网络等新的研究领域取得了可喜的成绩。此外，随着 大数据时代的到来，本研究所开展了和大数据处理相关的分布式计算、 云计算、 内存计算和图计算等方面的理论、技术和方法研究。 高能效 计算与应用研究方向主要研发在计算机辅助设计、体系结构、无线网络、编译和系统级优化等方面与高性能、低能耗计算相关的新型和关键技术及其应用。目前已拥有由一名千人计划教授、一名副教授、一名副研究员以及五名特聘研究员组成的研究团队，并聘任到包括美国 UCLA、 UCSD、 Penn State、MIT 等高校的国际知名学者担任兼职教授和客座教授。目前已开展基于新型存储技术的高能效存储体系结构、高能效可重构逻辑 /FPGA 体系结构与计算、计算机体系结构、无线局域网、电子医疗、移动云计算、大规模数据中心等方面的研究。 在计算机软 件与理论研究方向，在大型软件开发平台、软件中间件、构件化嵌入式操作系统及其相关工具以及大型通用数据库等领域均取得国内先进水平的研究成果。大型软件开发平台为中国软件产业带来显著的经济效益，软件中间件与大型通用数据库已经成功应用于实际系统，嵌入式操作系统研制取得显著进展，程序理论的时态逻辑、协议验证和工作流描述方面做出了有影响的工作，其中近似算法和某些生物算法研究方面达到了世界先进水平；在高性能安全网关、网络信息搜索与发现、网络与信息安全体系结构等方面进行了深入研究，承担了国防和安全部门多个研究课题，为我国信息 安全建设做出了重要贡献。虚拟仿真技术已经成为理论验证和实验验证之外的第三种重要科学验证手段，多通道人机交互理论、超大规模分布式复杂虚拟现实技术以及基于 GPU 的仿真模拟技术等理论和方法在工程和国防等领域得到了成功的应用，并产生了显著的社会和经济效益。软件服务工程技术及系统研制研究，包括物联网信息融合、智能数据处理、情境建模与推理、服务发现与组装、高可信云服务、移动互联网服务、数字内容服务等，已取得了国内先进的研究成果，国际合作研究和产学合作研究均取得了重要进展。 在语言信息处理方向，长期开展以中文为核心的自然 语言处理研究，研制开发了语言核心基础资源 综合型语言知识库，被国内外研究机构和著名 IT 公司使用，转让使用许可权数百次，产生了广泛的影响；设计开发了一系列的语言处理工具和平台，为相关应用提供了有力的支持。 在计算机应用技术研究方向，开展视频编码和图像识别核心算法研究，成为本领域核心专利的重要产出中心，组织领导视频技术国家标准和国际标准制定，引领基于生物视觉的视觉信息处理研究，推进我国类脑计算发展；图形学在电子出版领域的应用取得突破，高端彩色打印控制技术达到了国际先进水平，部分技术居国际领先；面向内容的海量 信息处理，互联网信息处理及大型网络分布式系统等获得多项重要成果；数字版权保护技术已成功应用；在智能科学技术领域，高度智能化的机器感知系统、自主友好的人机交互以及海量多媒体信息的智能处理等，取得了一系列具有较大影响的科研成果 。 深入研究大型园区网运行中的网络管理、网络安全、流量控制、身份认证等问题，研究解决高性能计算、云计算与大数据相关作业管理、权限分配、资源限制、资源计费和应用管理等问题，取得了一系列国内领先研究应用成果。通过研究数据库的结构、存储、设计及应用的理论和方法，实现对数据高效管理、挖掘、分析和应用 ，取得了一批具有较大影响力的应用成果。 近年来，北京大学计算机科学与技术学科的研究工作获得的重要科技成果奖包括： 2006 年，“基于 Internet、以构件库为核心的软件开发平台”获得国家科技进步二等奖。 2006 年，“报业数字资产管理系统”获国家科技进步二等奖，第九届中国专利优秀奖。 2007 年，“数字化视音频控制技术研究及应用”获国家科技进步二等奖。 2007 年，“构件化应用服务器核心技术与应用”获教育部 “高等学校科学技术奖 ”技术发明一等奖。 2007 年，“综合型语言知识库”获教育部 “高等学校科学技术奖 ”技术发明一等奖。 2008 年，“构件化应用服务器核心技术与应用”获国家技术发明二等奖。 2008 年，“中国教育科研网格 (北大为第三完成单位 ) ”获国家科技进步二等奖。 2008 年，“超大规模分布式虚拟现实综合集成支撑平台及其应用”获教育部科技进步一等奖。 2009 年，“基于数字版权保护的电子图书出版及应用系统”获国家科技进步二等奖。 2009 年，“数字音视频编码技术研究与国家标准制定”获“中国高校十大科技进展”奖。 2009 年，“大规模数字图书与视频资源库建设和智能服务系统” 获教育部高等学校科技进步一等 奖。 2009 年 ，“ 青鸟软件质量保证支撑工具体系 ”获 北京市科学技术奖技术发明类二等奖 。 2010 年， “ 综合型语言知识库 ” 获 中国电子学会电子信息科学技术奖一等奖 。 2010 年， “ 百万册数字图书馆的多媒体技术和智能服务系统”获国家科技进步二等奖。 2010 年， “ 跨安全域隔离与信息交换技术及应用 ”获 国家科技进步二等奖。 2010 年， “ 数字视频编解码国家标准制定及应用 ” 获中国电子学会电子信息科学技术一等奖。 2011 年，“ 综合型语言知识库”获国家科技进步二等奖。 2011 年，“ DNA 计算机相关理论与应用研究 ”获教 育部高等学校自然科学一等奖。 2011 年，“ 面向多种终端的大型网络视频系统关键技术及应用”获教育部高等学校科技进步二等奖。 2011 年，“ 国产中间件集成套件四方国件及其应用”获中国电子学会电子信息科学技术一等奖。 2011 年，“ 一种数字内容按时间控制的版权保护方法及系统”获 第十三届中国专利优秀奖。 2012 年，“全生命周期软件体系结构建模理论与方法”获国家自然科学奖二等奖。 2012 年，“ 数字视频编解码技术国家标准 AVS 与产业化应用 ”获 国家科学技术进步二等奖 。 2012 年，“可信软件资源生产与共享环境”获 教育部高等学校科技进步一等奖 。 2013 年，“基于知件的知识获取、管理和知识服务平台”获教育部高等学校科技进步一等奖。 2013 年，“生物计算中数据编码与模型构建理论方法研究”获国家自然科学二等奖。 2015 年，“监控视频高效编码与智能分析技术及其在城市智能交通中的应用”获中国电子学会技术发明一等奖。 2016 年，“视觉特征紧凑表示方法及高性能图像搜索技术”获高等学校技术发明一等奖。 2016 年， “基于变形敏感的软级联模型的视频拷贝检测方法及系统 ”， 第十八届 中国专利优秀奖 。 根据北京大学建设世界一流大 学的总目标，计算机科学与技术专业的建设目标是，在计算机科学与技术的关键领域达到国际一流水平，为建设创新型国家的战略服务。 北京大学计算机科学与技术学科各个领域的丰硕研究成果以及面向世界一流学科的建设目标，为研究生们提供了参与高水平的科学研究的众多机遇，也是研究生们完成高水平学位论文研究工作的学术保障。 过去是历史，是创造未来的坚实基础；未来是希望，是弘扬历史的雄伟构想。 欢迎有志于从事高水平研究工作的学生们，报考北京大学计算机科学与技术专业的各个研究方向！ 你们的参与，是创造一流研究成果的鲜活力量！ 你们的 奋斗，是建设创新型国家的重要保障！ 让我们在共同的科学研究殿堂里，并肩战斗，努力创造中华民族复兴的辉煌！ 计算机 科学技术 系 博 士生 导 师 介绍 杨芙清 中国科学院院士，教授，博士生导师 1958 年 研究生（北京大学） 办公地址：北京大学理科 1 号楼 1505 室 联系电话： 62756233 E-mail： yangsei.pku.edu.cn 招生专业： 计算机软件与理论 主要研究领 域： 系统软件，软件复用与软件构件技术的理论体系，软件工程环境，软件工业化生产技术及系统 梅宏 教授，博士生导师 ，长江特聘教授， 国家杰出青年科学基金获得者 1992 年获得博士学位（上海交通大学） 办公地址：北京大学理科 1 号楼 1620 室 联系电话： 62753048 E-mail： meihpku.edu.cn Webpage： http:/ sei.pku.edu.cn/meih/index.html 招生专业： 计算机软件与理论 主要研究领域 ： 软件工程及软件开发环境， 软件复用及软件构件技术，（分布）对象技术，软件工业化生产技术及支持系统，系统软件，新型程序设计语言 金芝 教授，博士生导师，国家杰出青年科学基金获得者 1992 年获得博士学位（国防科技大学） 办公地址：北京大学理科 1 号楼 1619 室 联系电话： 62765977 E-mail： zhijinsei.pku.edu.cn 招生专业： 计算机软件与理论 主要研究领域 ： 软件需求工程，知 识工程，基于知识的软件工程，面向服务的计算 陈向群 教授，博士生导师 1986 年获 得理 学 硕 士学位（ 北京 大学） 办公地址：北京大学理科一号楼 1429 室 联系电话： 62757160 E-mail： cherrysei.pku.edu.cn 招生专业： 计算机软件与理论 主要研究领域 ： 操作系统，嵌入式软件 谢冰 教授，博士生导师 ，教育部“新世纪优秀人才” 1998 年 获 得 博士学位 （国防科技大学） 办公地址：北京大学理科 1 号楼 1508 室 联系电话： 62759627 E-mail： xiebingsei.pku.edu.cn Webpage： http:/www.sei.pku.edu.cn/xiebing 招生专业： 计算机软件与理论 主要研究领域： 软件工程，计算机科学理论 张路 教授，博士生导师 ，教育部“新世纪优秀人才” 2000 年 获 得 博士学位 （ 北京 大学） 办公地址：北京大学理科 1 号楼 1542 室 联系电话： 62751794 E-mail： zhanglusei.pku.edu.cn Webpage： http:/sei.pku.edu.cn/zhanglu 招生专业： 计算机软件与理论 主要研究领域： 软件工程与软件工程环境， 软件 测试 ， 程序分析 黄罡 教授，博士生导师 ，教育部“新世纪优秀人才” 2003 年 获 得 博士学位 （ 北京 大学） 办公地址：北京大学理科 1 号楼 1809 室 联系电话： 62757670-16 E-mail： hgpku.edu.cn Webpage： http:/www.sei.pku.edu.cn/huanggang 招生专业： 计算机软件与理论 主要研究领域： 系统软件，网络软件与服务计算 焦文品 教授，博士生导师 2000 年 获 得 博士学位 （ 中国科学院软件研究所 ） 办公地址：北京大学理科 1 号楼 1809 室 联系电话： 62757670 转 13 E-mail： jwpsei.pku.edu.cn Webpage： http:/www.sei.pku.edu.cn/jwp 招生专业： 计算机软件与理论 主要研究领域： 软件工程， 智能软件，软件理论与方法学 熊英飞 研究员 ，博士生导师 ， 百人计划 2009 年 获 得 博士学位 （ 日本东京大学 ） 办公地址：北京大学理科 1 号楼 1431 室 联系电话： 62757008-12 E-mail： xiongyfpku.edu.cn Webpage： http:/www.sei.pku.edu.cn/xiongyf04 招生专业： 计算机软件与理论 主要研究领域： 软件工程， 程序设计语言 陆汝钤 教授，博士生导师 ， 中国科学院院士 1959 年 获 得硕士 学位 （ 德国耶拿 大学） 办公地址：北京大学理科 1 号 楼 1619 室 联系电话： 62765977 E-mail： rqlumath.ac.cn Webpage： http:/www.sei.pku.edu.cn/people/rqlu 招生专业： 计算机软件与理论 主要研究领域： 知识 工程， 基于知识的软件工程 ， 计算机科学理论 张大庆 教授，博士生导师 ，国家 “ 千人计划 ” 学者 1996 年 获 得 博士学位 （ 罗马 大学） 办公地址：北京大学理科 1 号楼 1438 室 联系电话： 6275 3026 E-mail： dqzhang sei.pku.edu.cn Webpage： http:/www.sei.pku.edu.cn/people/dqzhang 招生专业： 计算机软件与理论 主要研究领域： 普适计算软件技术 ， 普适大数据分析 郝丹 副 教授，博士生导师 ， 国家自然科学基金（优青） 2008 年 获 得 博士学位 （ 北京 大学） 办公地址：北京大学理科 1 号楼 1431 室 联系电话： 62757008-11 E-mail： haodan pku.edu.cn Webpage： http:/www. sei.pku.edu.cn/haod 招生专业： 计算机软件与理论 主要研究领域： 软件 工程 郭耀 教授，博士生导师 2007 年 获 得 博士学位 （ 美国马萨诸塞大学 UMass） 办公地址：北京大学理科 1 号楼 1428 室 联系电话： 62753496 E-mail： yaogoupku.edu.cn Webpage： http:/www.sei.pku.edu.cn/yaoguo 招生专业： 计算机软件与理论 主要研究领域： 操作系统、移动计算、软件安全 刘譞哲 副 教授，博士 生导师 ，教育部“ 青年长江学者 ” 2009 年 获 得 博士学位 （ 北京 大学） 办公地址：北京大学理科 1 号楼 1428 室 联系电话： 62758707 E-mail： liuxuanzhe pku.edu.cn Webpage： http:/www. sei.pku.edu.cn/liuxzh 招生专业： 计算机软件与理论 主要研究领域： 智能化网络软件系统（如移动、 Web、可穿戴设备等）与服务、分布式机器学习 王捍贫 教授，博士生导师 1993 年 获 得 理学博士学位（北京师范大学） 办公地址：北 京大学理科 1 号楼 1627 室 联系电话： 62765818 E-mail： whpxhypku.edu.cn Webpage： http:/tcs.pku.edu.cn 招生专业： 计算机软件与理论 主要研究领域 ： 软件理论，程序逻辑，程序语义与验证 许进 教授，博士生导师 1993 年获得工学博士学位（西安交通大学） 1995 年获得理学博士学位（北京理工大学） 办公地址：北京大学理科 1 号楼 1627 室 联系电话： 62750359 E-mail： jxupku.edu.cn 招生专业： 计算机软件与理论 主要研究领域 ： 生物计算机，生物信息处理，图论与网络，最优化计算 陈一峯 研究员 ， 博士生导师 ， 百人计划 2001 年 获博士学位（ 英国牛津大学 ） 办公地址：北京大学理科楼 联系电话： E-mail： cyfpku.edu.cn 招生专业： 计算机软件与理论 主要研究领域 ： 多核与众核并行程序设计，面向对象语言理论 ， 指针程序验证 曹永知 教授，博士生导师 2003 年 获 得 理学 博士学位 （ 北京师范 大学） 办公地址：北京大学理科 1 号楼 1623 室 联系电话： 62765818 E-mail： caoyzpku.edu.cn Webpage： https:/www.researchgate.net/profile/Yongzhi_Cao2 招生专业： 计算机软件与理论 主要研究领域： 形式化 方法 ， 算法 设计与分析 陈钟 教授，博士生导师 1989 年获得博士学位（北京大学） 办公地址：北京大学理科一号楼 1531 室 联系电话： 62765808 E-mail： chensei.pku.edu.cn Webpage： http:/infosec.pku.edu.cn/zhongchen 招生专业： 计算机软件与理论 主要研究领域 ： 网络与信息安全理论与技术，面向领域的软件工程（金融信息化、企业信息化） 汪国平 教授，博士生导师 1997 年获得博士学位（复旦大学） 办公地址：北 京大学理科 1 号楼 1315 室 联系电话： 62751781 E-mail： wgppku.edu.cn Webpage： http:/www.graphics.pku.edu.cn 招生专业： 计算机软件与理论 主要研究领域 ： 计算机图形学，虚拟现实，人机交互 吴中海 教授，博士生导师 1997 年 获得 工学博士学位（浙江大学） 办公地址：北京大学理科一号楼 1544 室 联系电话： 62745052， 61273696 E-mail： wuzhpku.edu.cn Webpage：http:/www.ss.pku.edu.cn/index.php/teacherteam/teacherlist/1669 招生专业： 计算机软件与理论 主要研究领域 ： 大数据系统与分析、大数据与云安全、高可信嵌入式系统 王平 教授，博士生导师 1996 年 获得 理学博士学位（美国麻省大学） 办公地址：北京大学理科一号楼 1544 室 联系电话： 62745292 E-mail： pwangpku.edu.cn Webpage： http:/www.ics.pku.edu.cn 招生专业： 计算机软件与理论 主要研究领域： 物 联 网 软件技术 ， 操作系统与 中间件 ， 信息安全 张世琨 教授，博士生导师 2000 年获得理学博士学位（北京大学） 办公地址：北京大学理科 1 号楼 1428 室 联系电话： 82888218 E-mail： zhangskpku.edu.cn 招生专业： 计算机软件与理论 主要研究领域 ： 软件工程与软件工程环境，软件工业化生产技术，面向领域的软件工程环境
展开阅读全文