学术研究

一、学术荣誉

(一)人才队伍建设

1.中国科学院院士:杨芙清、陆汝钤、梅宏

2.发展中国家科学院院士:梅宏

3.欧洲科学院外籍院士:梅宏、胡振江、张大庆、谢涛

4.发展中国家科学院院士:梅宏

5.日本工程院外籍院士:胡振江

6.国家杰出青年科学基金获得者:梅宏、苏开乐、金芝、张路、谢冰、黄罡、周明辉、刘云淮

5.海外杰出青年科学基金合作者:周源源、谢涛、胡振江、梅俏竹

6.国家优秀青年科学基金获得者:黄罡、郝丹、熊英飞、许辰人

7.讲席教授:张大庆、谢涛、胡振江

8.国家青年项目计划入选者:王乐业、张昕、李锭、金鑫

9.北京大学百人计划学者:陈一峯、崔斌、熊英飞

10.新世纪百千万人才工程国家级人选:梅宏

11.入选国家高层次人才特殊支持计划(万人计划)科技创新领军人才:梅宏、黄罡

12.教育部“长江学者奖励计划”--特聘教授:梅宏、张路、崔斌、郝丹;

                        --讲座教授:蔡进一、胡振江;

                        --特岗学者:王腾蛟、李戈、王亚沙;

                        --青年学者:郝丹、刘譞哲

13.教育部“新世纪优秀人才支持计划”入选者:苏开乐、谢冰、王腾蛟、王千祥、张路、黄罡、周明辉

14.担任国家计划项目首席科学家和负责人:

   国家973计划首席科学家:梅宏、金芝、熊英飞(青年973);

   重点研发计划负责人:谢冰、黄罡、金芝、许进、王亚沙、刘云淮、黄雨、胡振江、金鑫、吴中海

15.中国科协青年人才托举工程青年托举人才:张颖

16.入选北京市卓越青年科学家计划:黄罡


(二)获得学术荣誉

1.何梁何利基金科学与技术进步奖获得者:杨芙清、梅宏

2.国际电气工程学会计算机分会技术成就奖(2015 IEEE Computer Society Technical Achievement Awards,是唯一入选的非美国学者)获得者:梅宏

3.中国青年科技奖获得者:梅宏、陈钟、黄罡

4.政府特殊津贴获得者:邵维忠

2.光华科技基金一等奖获得者:杨芙清

3.科技部、财政部、国家计委、国家经贸委联合授予“九五”国家重点科技攻关计划先进个人:杨芙清

4.荣获国家火炬计划软件产业基地十周年荣誉个人:杨芙清

5.中科院“中国科学:信息科学”编辑委员会执行主编(2003-2007)颁发荣誉证书:杨芙清

6.中国计算机学会(CCF)终身成就奖获得者:杨芙清

7.荣获科技部2008年“科技奥运先进个人”荣誉称号:梅宏

8.IEEE TCSVC Rising Star Award获得者:刘譞哲

9.荣获推动中国软件产业发展的功勋人物:杨芙清

10.论文发表在国际智能交通领域顶级期刊,于2016年10月获美国电气工程师学会的旗舰出版物《IEEE Spectrum》特别报道:张大庆

11.荣获中科院颁发“中国科学”、“科学通报”编委荣誉:杨芙清

12.“微软青年教授奖”获得者:崔斌

13.“电子学报”、“CHinese Journal of Electronics"两刊终身荣誉奖:杨芙清

14.荣获2013年法国欧洲之星荣誉(欧盟第七框架项目 CONNECT 项目组):黄罡

15.荣获国家发展改革委授予”国家工程研究中心先进工作者“称号:张世琨、王亚沙

16.第三届蔡元培奖获得者:杨芙清

17.荣获2013年日本大川研究助成奖:王千祥、王腾蛟、郝丹

18.荣获第十一届国际自动与可信计算大会杰出领导力奖:王亚沙

19.澳门科技大学荣誉博士学位:杨芙清

20.中国青年科技奖获得者:梅宏、陈钟、黄罡

21.中国计算机学会(CCF)青年科学家获得者:崔斌、张路、黄罡、刘譞者

22.北京市科技新星获得者:谢冰、张世琨、黄雨

23.中创软件人才奖获得者:梅宏、金芝、王千祥、谢冰、张路、黄罡、周明辉、李戈

24.全国信息技术标准化技术委员会2014年度标准化工作先进个人:赵俊峰

25.ACM杰出科学家、会员:谢涛、胡振江

26.CCF杰出会员:谢涛、吴中海、黄罡

27.获“科学探索奖”:黄罡、谢涛

28.“东软--NASAC青年软件创新奖”:张伟、郝丹、熊英飞、张颖

29.中国计算机学会人工智能与模式识别专业委员会多智能体系统专业学组智能体与多智能体系统研究成就奖:金芝

30.日本大川研究助成奖获得者:王千祥、王腾蛟、崔斌、郝丹、许辰人

31.法国欧洲之星( Étoile de l’Europe)荣誉(盟第七框架项目CONNECT):黄罡

32.获得2022年陈嘉庚科学奖信息技术科学奖:梅宏、黄罡

33.获得2022年世界互联网领先科技成果:黄罡

34.IEEE TCSVC2022卓越领导力奖:金芝

35.国际电工技术委员会(IEC)2022年1906奖:赵俊峰

36.获软件工程子领域奠基性2022年贡献奖:谢涛

37.ESEC/FSE 2022杰出审稿人奖、ICSE最佳审稿人奖:熊英飞

38.获2024年IEEE TCSVC服务计算杰出女性奖:孙艳春

39.获2024年CCF-IEEE CS 青年科技奖:金鑫 

40.Bench Councils2023年度世界开源系统杰出成果:蔡华谦、黄罡

41.Bench Councils2023年度开源系统杰出人才



(三)获得集体荣誉

1.国家科技部2008年授予《奥运信息系统模型研究项目组》“科技奥运先进集体”称号,成员:梅宏、陈泓婕、邵维忠、麻志毅、张继伟、张伟、孙连山、朱文辉

2.获2014年“中国高校十大科技进展”(网构软件理论、方法与技术):梅宏等

3.入选高可信软件技术学科创新引智基地

4.科技部基础软件技术重点领域创新团队 负责人:梅宏;成员:张伟、刘儇哲、熊英飞、张世琨、谢冰、王千祥、张路、王腾蛟、黄罡、金芝、陈钟、苏开乐

5.连续三次获得国家自然科学基金委创新研究群体;

6.软件工程研究所获2020IEEE TCSE Distinguished Synergy Award.

 

四)术机构任职

1.国际电机电子工程学会(IEEE Fellow)会士:杨芙清、梅宏、张大庆、谢涛、胡振江

2.国际普适计算旗舰期刊IEEE Pervasive Computing的编委(国内首个担任该期刊编委):张大庆

3.入选美国科学促进会(AAAS)会士:谢涛

4.“中国新一代IT产业推进联盟”理事长:梅宏

5.中国计算机学会常务理事:金芝、陈钟;会士:梅宏、金芝、陈钟

6.中国电子学会常务理事:梅宏

7.国务院软件工程学科学科评议组成员:金芝

9.国务院学位委员会第六届学科评议组计算机科学与技术组成员:梅宏

10.国家自然科学基金委第十三届信息科学部专家评审组成员:邵维忠

11.2014年全国信息技术标准化技术委员会大数据标准工作组组长、国家智慧城市标准化专家咨询组副组长:梅宏

12.第六届教育部科学技术委员会委员及信息学部委员:梅宏

13."中国新一代IT产业推进联盟“理事长:梅宏(2014)、咨询委员会委员:黄罡

14.北京市高等教育自学考试线性代数课程考试委员:刘田

15.2013-2017年教育部高等学校计算机类专业教学指导委员会副主任委员:陈钟

16.2013-2017年教育部高等学校信息安全专业教学指导委员会委员:许进

17.中国计算机学会(CCF)软件工程专业委员会主任:金芝

18.中国计算机学会(CCF)普适计算专委副主任:张大庆

19.Trustee of VLDB Endowment:崔斌

20.中国网络空间安全协会常务理事:陈钟

21.中国网络空间安全协会常务会员:许进

22.中国计算机学会(CCF)的专委工委委员、青工委委员、ADL工委委员:黄罡

二、科技奖励

  (一)获国家级

 

 

 

           项 目 名 称

       奖 种

   年度

       获  奖  人

    1

基于lnternet、以构件库为核心的软件开发平台

国家科技进步二等奖

   2007

杨芙清、梅宏、谢冰、赵文耘、赵俊峰、张路、张世琨、王亚沙、麻志毅、赵海燕

   2

构件化应用服务器核心技术与应用

国家技术发明二等奖

   2008

梅宏、杨芙清、黄罡、王千祥、周明辉、曹东刚

   3

跨安全域隔离与信息交换技术及应用

国家科技进步二等奖

   2010

陈钟(1)、胡建斌(3)、唐礼勇(10)

   4

全生命周期软件体系结构建模理论与方法

国家自然科学二等奖

   2012

梅宏、黄罡、张路、张伟

   5

生物计算与优化计算若干基础理论研究

国家自然科学二等奖

   2013

许进

   6

基于网络的软件开发群体化方法及核心技术

国家技术发明二等奖

   2015

王怀民(国防科大)、谢冰、孙海龙(北航)、魏峻(中科院)、尹刚(国防科大)、周明辉

   7

云-端融合系统的资源反射机制及高效互操作技术

国家技术发明一等奖

   2018

梅宏、黄罡、张颖、刘譞哲、郭耀、熊英飞

 

 

(二)获省部级

 

  序

  号

 

   项 目 名 称 奖 种 年度   获  奖  人

   1

全生命周期软件体系结构建模理论与方法

教育部科学研究优秀成果自然科学一等奖

  2010

梅宏、黄罡、张路、张伟

   2

DNA计算机相关理论应用研究

教育部自然科学一等奖

  2011

许进、王捍贫、于江生、王燕、张成、杨静

   3

可信软件资源生产与共享环境

教育部科学技术进步一等奖

  2012

谢冰(1)、王亚沙(4)、赵俊峰(6)、马志毅(8)、邹艳珍(10)

   4

军用安全移动存储系统

军队科技进步二等奖

  2009

陈钟

   5

国产中间件集成套件’四方国件’及其应用

中国电子学会信息科学技术一等奖(第二完成单位)

  2011

梅宏(1)、曹东刚(6)

   6

青鸟软件质量保证支撑工具体系

北京市科学技术奖技术发明类二等奖

  2009

谢冰、王亚沙、张晨东、张路、赵俊峰、段来盛、李戈、汤君烽、邹艳珍、杨芙清、赵锐锋、王华、唐祥菊、王海运、高瑞华

   7

基于知件的知识获取、管理和知识服务平台

教育部科技进步一等奖

  2013

金芝、李戈、赵海燕、张伟

   8

不确定性系统的建模与分析

教育部自然科学二等奖(北大、陕西师大、清华)

  2014

曹永知、李永明、陈国青

   9

对等网络数据共享系统设计的理论与方法

教育部自然科学二等奖

  2014

崔斌、杨智、代亚非、李晓明

   10

软件定义的云管理关键技术及系统

教育部科技进步一等奖

  2015

黄罡、张颖、刘譞哲、梅宏、熊英飞、曹东刚、郭耀、孙艳春、陈向群

   11

电网信息安全主动防御关键技术与自主可控装备

中国电力科学技术进步一等奖

  2015

关志

   12

基于值依赖分析的C程序通用缺陷检测方法研究

中国质量评价协会科技创新优秀奖

  2015

马森、赵文、张世琨

   13

面向现代服务业的应用支撑平台

山东省科技进步一等奖

  2016

曹东刚(3)

   14

云--端融合计算的资源反射机制与互操作技术及其平台应用

中国电子学会技术发明特等奖

  2017

梅宏、黄罡、刘譞哲、郭耀、熊英飞

   15

基于知件的知识获取和知识服务关键技术与应用

CCF科学技术奖技术发明一等奖

  2018

金芝、陆汝钤、张霞、李戈、张松懋、赵立军、崔朝辉、牟克典、平安

   16

智能化软件测试

吴文俊人工智能技术发明二等奖

  2018

郝丹、张路

17

支持国密技术规范的企业级应用服务器研发与应用

国网信息通信产业集团有限公司科技进步一等奖

  2018

关志(北大第二,个人第三)

18

匿名多因素身份认证理论与方法

教育部自然科学一等奖

2018

王平等

19

智能化软件开发关键技术-需求知识建模与代码自动推荐研究与应用

北京市技术发明二等奖

2021

李戈、金芝、赵海燕等

20

大规模跨语言代码安全检测技术及应用

北京市科技进步二等奖

2021

张世琨、高庆等

21 数据驱动的软件测试与修复

中国电子学会自然科学学一等奖

2022 熊英飞、郝丹、张路、陈俊洁、姜佳君
22 大规模异质知识计算技术及应用

北京市科技进步一等奖

2023 张世琨、叶蔚、谢睿、刘扬、柳军飞

   23

面向大规模数据的Angel机器学习平台关键技术及应用

中国电子学会科技进步一等奖

  2023

崔斌(2)

 

三、教学奖

 (一)精品课程

 1.《数据结构与算法》获国家级和北京市精品课程:赵海燕、王腾蛟、高军

 2.《数据结构》获国家级精品课程和北京市精品课程:张铭,赵海燕,王腾蛟,宋国杰,高军

 3.《计算概论》2008年获国家级精品课程:代亚非、李戈、曹东刚、黄罡、刘学洋、张伟等

 4.《计算概论A》获国家级精品课程:李戈、张伟、黄罡

 5.《离散数学》获国家级精品课程:屈婉玲、王捍贫、刘田;获2009年教育部普通高等教育精品教材,作者:屈婉玲、耿素云、张立昂

 6.《方案工程》获得“教育部- IBM 精品课程”建设项目批准,建设日期从2008.9.1-2009.9.1。

 7.《软件工程》获第一批“国家级精品资源共享课”:孙艳春

 8.《软件工程实习》课程获教育部“2013年产学合作专业综合改革项目IBM公司建设课程”:孙艳春

 9.《软件工程》国家级线上一流课程 负责人:孙艳春

 10.《计算概论A》国家级线下一流课程 负责人李戈

 11.《计算概论与程序设计基础国家级线上一流课程 负责人:李戈

 12.《操作系统原理》国家级线上一流课程 负责人:陈向群

 

 (二)教学获奖

1.《北京大学软件与微电子学院—示范性软件学院建设》获国家级教学成果一等奖:杨芙清、陈钟

2.2007年北京市高等院校计算机基础教育研究会学术年会,“精彩教学片段交流”活动,获特等奖:李戈

3.2007年北京高校第五届青年教师基本功比赛中,获理工组一等奖和最佳教案奖:李戈

4.“新型构件化应用服务器(PKUAS)”获2009年中日韩开源大赛的优胜奖:梅 宏 周明辉等

5.“面向网构软件的云平台的资源管理工具”获2010年中国开源软件竞赛银奖:李研、陈峰宏、杨果、周明辉

6.2010年第十届全国多媒体课件大赛高教工科组优秀奖:孙艳春

7.2010年北京大学第三届多媒体课件和网络课程大赛二等奖:孙艳春

8.2010年北京大学第三届多媒体课件和网络课程大赛二等奖:李戈

9.2010年北京大学2009-2010学年度教学优秀奖:李戈

10.2010年北京大学第十届青年教师教学演示竞赛优秀奖:郝丹、王昭

11.《软件工程》于2010-2014年被评为国家级精品课程,成员:王立福、梅宏、孙艳春、陈弘婕、王千祥;2013年入选第三批国家级精品资源共享课立项项目,课程负责人:孙艳春

12.赵俊峰、谢冰、李戈分别获2010年OW2第一、二、三等奖

13.《数据结构与算法B》2011年网络课程获第十一届全国多媒体课件大赛高教工科组一等奖、最佳教学设计奖和北京大学第四届多媒体课件和网络课程大赛一等奖:王昭

14.2011年北京大学教学信息化(教学系列)先进个人:王昭

15.《应用顺序表模拟实现表约瑟夫问题》获得首届全国高校微课教学比赛理工类优秀奖:邹艳珍

16.《问题求解导向的数据结构与算法实践教学》获2012年北京大学教育成果一等奖:张铭、赵海燕、王腾蛟、宋国杰、郝丹

17.《以综合能力和创新能力培养为导向的软件工程课程体系建设》获2012年北京大学教学成果一等奖:孙艳春、王立福、梅宏、陈泓婕、王千祥

18.北京大学2011-2012年度教学优秀奖:郭耀

19.黄庭方/信和奖教金:张路

20.荣获2012-2013年度北京大学优秀班主任:李戈

21.获2013年教学优秀奖、优秀班主任奖、宝洁奖教金:刘田

22.“2014年北京市政务数据资源网应用创意大赛”团体组优秀创意奖:黄罡指导

23.《顺序表约瑟夫问题》获北京大学第五届多媒体课件和网络课件大赛三等奖:邹艳珍

24.“北京市高等教育学会计算机教育研究会2012年学术年会”上,“Introduction to Cyber-Physical Systcm"(英文课件)获得”教学精彩片段交流“一等奖:刘譞哲

25.2010年北京大学2009-2010学年度教学优秀奖:李戈

26.中国软件出口和服务外包人才培养贡献奖:陈钟

27.北京大学第18届”挑战杯“系列赛事优秀指导教师:陈钟

28.“中日韩开源软件推进特别贡献奖”:陈钟

29.“金企鹅杯”两岸四地开源软件大赛--开源软件杰出贡献奖:陈钟

30.“杨芙清--王阳元院士”奖教金:梅宏、陈向群、邵维忠、王立福、屈碗玲、陈钟、谢冰、王捍贫、王亚沙、赵文、胡文蕙

31.《面向对象分析与设计(第二版)》获2016年度北京大学优秀教材:麻志毅

32.获第10届语义评测国际比赛立场侦测无监督学习任务冠军:陈薇

33.获2016年度北京大学优秀班主任标兵:郝丹

44.《面向创新型和个性化人才培养需求的软件工程课程体系建设》获北京市高等教育教学成果二等奖:孙艳春、黃罡、刘譞哲、陈泓婕

45.荣获北京市优秀教师称号:陈钟

46.获得2009年IBM奖教金:孙艳春

47.北京大学优秀教学奖:孙艳春

48.方正教师特等奖:黄罡

49.北京大学第二十三届“十佳教师”:刘譞哲

50.计算概论与程序设计基础MOOC课程教育部国家精品在线开放课程:李戈

51.腾讯犀牛鸟基金精英人才培养计划优秀导师奖:王平

52.“普惠中拔尖”:面向优秀学生的本科计算机人才国际化培养体系获北京市高等教育教学成果一等奖

53.计算+社会科学:一门交叉学科课程的建设与推广获北京市高等教育教学成果一等奖

54.面向创新型和个性化人才培养需求的软件工程课程体系建设北京市高等教育教学成果二等奖

55.“赛课合一”创新实践教育模式的实践与探索北京市高等教育教学成果二等奖

56.信息学科本科生创新科研训练体系的探索与实践北京市高等教育教学成果二等奖

57.产教深度融合的创新型软件工程技术领军人才培养体系探索与实践获2022年北京市高等教育教学成果奖一等奖,获奖人:杨芙清、吴中海、李影、王平等

58.创新导向的计算机学科拔尖人才培养体系建设2022北京市教学成果二等奖获奖人:郭耀等

59.第21届北京大学青年教师教学基本功比赛(理工科类)二等奖、最佳教学演示奖:王乐业

60.高校计算机专业获2021优秀教师奖励计划孙艳春

61.获2024年北京市高等学校青年教师名师奖:刘譞哲

62.博士研究生陈嘉尊、夏逸宽和高军教授组成的DB3竞赛团队在Meta KDD Cup 24 CRAG挑战的WEB-BASED RETRIEVAL SUMMARIZATION、KNOWLEDGE GRAPH AND WEB AUGMENTATIONEND-TO-END RAG全部三项任务,包揽了该赛道的冠军。

63.赵潇晗、张佳琪、孙艳春,“基于图挖掘的GitHub Awesome仓库推荐服务”,获CCF 2024中国数字服务大会服务计算创新大赛三等奖。



四、优秀论文奖

1.黄罡论文“反射式软件中间件原理与技术研究”,获2006年全国百篇优秀博士论文奖

2.刘譞哲论文“基于社区的服务组装技术研究”,获2011年全国百篇优秀博士论文提名奖

3.张伟论文“面向特征的领域建模技术研究”,获2007年中国计算机学会优秀博士学位论文奖

4.刘譞哲论文“基于社区的服务组装技术研究”,获2010年中国计算机学会优秀博士学位论文奖

5.周明辉论文“DeveloperFluency:Achieving True Mastery in Software Projects”论文,获FSE2010优秀论文奖

6.崔斌等“For the Paper Entitiled Evolutionary Taxonomy Construction from Dynamic Tag Space”论文,获WISE2010最佳论文奖

7.张伟、张海燕、梅宏论文“Binary-Search Based Verification of Feature Models”于2011年获12届INTERNATIONAL CONFERENCE ON SOFTWARE REUSE(2011年第12届国际软件复用会议(ICSR 2011)最佳论文奖

8.黄罡等论文“Towards Service Composition Middleware Embedded in Web Browser”论文,获CyberC2009最佳论文奖

9.赵祺、刘譞哲等论文“A Browser-bassd Muddleware for servile-Oriented Rioh Chent”论文,获2010年BEST PAPER AWARD 最佳论文奖

10.王腾蛟等论文“Dynamic Data Migration Policies for Query-Intensive Distrifuted Data Environmen”论文,获APWEB-WAIM2009年优秀论文奖

11.张颖论文“网络环境中应用的按需部署技术研究”,获2013年中国计算机学会优秀博士学位论文奖

11.金芝等论文"A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems",获第20届面向软件质量的需求工程国际会议最佳论文奖(2014年)

12.林泽琦、赵俊峰、谢冰论文“一种基于图数据库的代码结构解析与搜索方法”,获第十三届全国计算机软件与应用会议优秀论文奖(2014年)。

13.杨楠、吴凌、王千祥论文“POIDE-PHP:应用的在线集成开发环境”在中国计算机学会主办的2013年第一届软件研究成果原型竞赛中荣获一等奖

14.王千祥论文"Open Stack based Self-Elastic Paas"IBM Global Shared University Research Award"

15.尤朝、周明辉、林洪武、肖赞、梅宏论文“Towards online Localization and Recovery for Faulty Components in Component-Based Applications"获第34届国际计算机软件与应用会议(COMPSAC 2012)优秀论文奖

16.熊英飞、张汉生、王杰论文"Range Fixes:Interactive Error Resolution for Software Configuration"被选为封面论文

17.董秋香、关志、陈钟论文获”APWEB2015"最佳论文奖亚军

18.张大庆论文"Bike-Share Station Placement Levcraging Heterogeneous Urban Open Data"获ACM UbiComp2015 Honorable Mention

19.张大庆论文“DynamicCluster-based over-demand Prediction in Bike Sharing Systems"获Honorable Mention Award of UbiComp2016

20.王春晖、张伟、赵海燕、金芝论文“Eliciting Activity Requirements from Crowd Using Genetic Algorithm”获Asia Pacific Requirements Engineering Symposium (APRES), 2017会议最佳论文.

21.刘譞哲、黄罡论文“iMashup: a mashup-based framework for service composition”获SCIENCE CHINA Information Science 2019年度五年高影响力论文 

22.孙可、王迪、陈森、王萌、郝丹论文“Formalizing, Mechanizing, and Verifying Class-based Refinement Types”,获ECOOP Distinguished Paper Award

 23.汪思涵、孙艳春、江惠珍、蔡华谦论文“一种基于内容提取的异构科技资源标识识别与融合服务"获CCF 2024中国数字服务大会最佳学生论文奖

博士生贺宁宇论文《SoK: On the Security of Non-Fungible Tokens》 获 BCRA’24 最佳论文奖;

64.汪思涵,孙艳春,江惠珍,蔡华谦,“一种基于内容提取的异构科技资源标识识别与融合服务”,获CCF 2024中国数字服务大会最佳学生论文奖。

65.博士生徐大亮论文“Niagara: Scheduling DNN Inference Services on Heterogeneous Edge Processors”获得2023年国际服务计算领域旗舰会议International Conference on Service-Oriented Computing(ICSOC 2023)杰出论文奖(Distinguished Paper Award);

66.博士生符芳诚获2024年ACM SIGMOD中国优秀博士论文奖

67.博士生朱琪豪论文“语言定义感知的深度代码学习技术及应用”获CCF软件工程专委博士论文激励计划

68.高晴阳、王冰倩,2024中国高校计算机大赛AIGC创新赛一等奖