您位于: 首页 新闻动态

新闻动态

网站新闻

梅宏院士被选为中国电子学会常务理事。

2012年4月18日,中国电子学会第9次全国会员代表大会在北京召开,会上,梅宏院士被选为常务理事。

梅宏教授被聘为“十二五”863计划信息技术领域先进计算技术主题专家组专家(召集人)。

2012年3月27日,科技部在北京召开“十二五”863计划专家委员会和主题专家组成立大会。44名专家被聘为863计划专家委员会委员,273名专家被聘为863计划各领域的主题专家组专家。梅宏教授被聘为信息技术领域先进计算技术主题专家组专家(召集人),梅宏教授作为主题专家代表在成立大会上发言。

Barbara Kitchenham教授和Jacky Keung博士访问实验室并做交流。

2012年2月14日,Keele University, UK的Barbara Kitchenham教授和香港理工大学的Jacky Keung博士访问高可信软件技术教育部重点实验室并进行了交流。Kitchenham教授做了学术报告"Systematic Literature Reviews – What, Why and How", 香港理工大学Jacky Keung博士做了学术报告"云计算和软件工程的挑战"。梅宏教授和谢冰教授接待了来访,在交流中,张路教授介绍了实验室情况,周明辉副教授介绍了“Big data and empirical software engineering”的工作。

杨芙清院士获"CCF终身成就奖"。

2012年1月7日,2011中国计算机学会(CCF)颁奖大会于在北京长城饭店隆重举行。杨芙清院士与南京大学徐家福教授被授予"CCF终身成就奖"。

热烈祝贺梅宏教授当选中科院院士

高可信软件技术教育部重点实验室主任、北京大学教授梅宏教授于2011年当选中科院院士。

关于公布2011年中国科学院院士增选和外籍院士选举结果的公告


文章来源:院士工作局 发布时间:2011-12-09 【字号:

http://www.cas.cn/xw/zyxw/yw/201112/t20111209_3410911.shtml

根据《中国科学院院士章程》和《中国科学院院士增选工作实施细则》的规定,各学部院士投票选举,各学部常委会审查确认,并经中国科学院学部主席团六届十三次会议审议批准,共产生了51名新院士。

根据《中国科学院院士章程》和《中国科学院外籍院士选举办法》的规定,经各学部院士对外籍院士有效候选人进行通信预选,各学部常委会讨论排序,学部主席团六届十二次会议审议并投票产生正式候选人,并经参加院士增选评审暨选举会议的全体院士投票选举,共产生了9名外籍院士。

现予公布。

中国科学院

二〇一一年十二月九日

 

2011年中国科学院院士增选当选院士名单

(共51人,分学部按姓氏笔画为序)

数学物理学部(9人)

序号

姓名

年龄

专业

工作单位

1

王广厚

71

原子分子与团簇物理

南京大学

2

张维岩

55

激光聚变与等离子体物理、理论物理

中国工程物理研究院

3

张肇西

70

粒子物理理论

中国科学院理论物理研究所

4

陈永川

47

应用数学

南开大学

5

武向平

50

天体物理

中国科学院国家天文台

6

袁亚湘

51

运筹学

中国科学院数学与系统科学研究院

7

高鸿钧

47

凝聚态物理

中国科学院物理研究所

8

鄂维南

47

数学

北京大学、普林斯顿大学

9

潘建伟

41

量子信息、原子分子与光物理

中国科学技术大学

 

化学部(7人)

序号

姓名

年龄

专业

工作单位

1

田 禾

48

精细化工

华东理工大学

2

刘忠范

48

物理化学

北京大学

3

严纯华

50

无机化学

北京大学

4

张俐娜

(女)

70

天然高分子与高分子物理

武汉大学

5

李亚栋

46

无机化学

清华大学

6

杨学明

48

物理化学

中国科学院大连化学物理研究所

7

赵进才

50

环境化学

中国科学院化学研究所

 

生命科学和医学学部(9人)

序号

姓名

年龄

专业

工作单位

1

朱玉贤

55

植物生理学

北京大学

2

张学敏

47

医学

军事医学科学院

3

张明杰

44

结构生物学

香港科技大学

4

李 林

50

生物化学与分子生物学

中国科学院上海生命科学研究院

5

赵玉沛

56

外科学(普通外科)

北京协和医院

6

康 乐

52

昆虫学

中国科学院动物研究所

7

黄路生

46

动物遗传育种与繁殖

江西农业大学

8

舒红兵

44

细胞生物学

武汉大学

9

葛均波

48

心血管内科

复旦大学

 

地学部(10人)

序号

姓名

年龄

专业

单位

1

万卫星

52

空间物理

中国科学院地质与地球物理研究所

2

石广玉

68

大气物理

中国科学院大气物理研究所

3

刘丛强

55

地表地球化学

中国科学院地球化学研究所

4

周忠和

46

古生物学

中国科学院古脊椎动物与古人类研究所

5

郭华东

60

遥感科学与应用

中国科学院对地观测与数字地球科学中心

6

高 山

49

地球化学

中国地质大学(武汉)

7

龚健雅

54

测绘科学与技术

武汉大学

8

傅伯杰

53

自然地理学、景观生态学

中国科学院生态环境研究中心

9

焦念志

48

生物海洋学

厦门大学

10

舒德干

65

古生物学及进化生物学

西北大学

 

信息技术科学部(7人)

序号

姓名

年龄

专业

工作单位

1

李树深

48

半导体器件物理

中国科学院半导体研究所

2

杨学军

48

计算机体系结构与系统软件

国防科学技术大学

3

郑建华

54

密码学

中国人民解放军保密委员会技术安全研究所

4

金亚秋

64

电磁散射与空间遥感信息

复旦大学

5

徐宗本

56

智能信息处理

西安交通大学

6

梅 宏

48

计算机软件

北京大学

7

黄 维

48

有机光电子学

南京邮电大学

 

技术科学部(9人)

序号

姓名

年龄

专业

工作单位

1

朱 荻

57

机械制造及其自动化

南京航空航天大学

2

张统一

61

力学

香港科技大学

3

沈保根

58

磁性材料

中国科学院物理研究所

4

郑 平

75

工程热物理

上海交通大学

5

南策文

48

复合材料

清华大学

6

赖远明

48

土木工程(寒区工程)

中国科学院寒区旱区环境与工程研究所

7

翟婉明

47

载运工具运用工程

西南交通大学

8

雒建斌

49

机械设计及理论

清华大学

9

魏炳波

47

材料科学与工程

西北工业大学

 

2011年当选中国科学院外籍院士名单

(共9人,分学科领域按姓氏音序为序)

 

序号

姓名

年龄

国籍

专 业

工作单位

1

戴维•格罗斯

David Gross

70

美国

理论物理

美国加州大学圣巴巴拉分校

2

弗朗斯瓦•马蒂

Francois Mathey

70

法国

化学

中国郑州大学

新加坡南洋理工大学

3

野依良治

Ryoji Noyori

73

日本

有机化学

日本独立行政法人理化学研究所

4

阿夫拉姆•赫什科

Avram Hershko

74

以色列

生物化学

以色列理工学院

5

蒲慕明

Muming Poo

63

美国

神经生物学

中国科学院神经科学研究所

美国加州大学伯克利分校

6

罗伯塔•鲁德尼克(女)Roberta L. Rudnick

53

美国

地质学-地球化学

美国马里兰大学

7

刘必治

Bede Liu

77

美国

信息处理

美国普林斯顿大学

8

饭岛澄男

Sumio Iijima

72

日本

纳米科学

日本名古屋名城大学

9

罗格•欧文

D. Roger J. Owen

69

英国

计算力学与工程

英国斯旺西大学

国家973计划项目“高效可信的虚拟计算环境基础研究”2011年度工作会议在北大举行

2011年12月8日-9日,由国防科技大学并行与分布处理重点实验室主持的国家重点基础研究发展规划973项目“高效可信的虚拟计算环境基础研究”2011年度工作会议在北京大学英杰交流中心星光厅举行。会议由项目首席科学家、中国工程院院士、总装备部科学技术委员会副主任卢锡城中将主持。国家科技部基础研究管理中心李非博士、宋海刚博士,以及项目组专家李德毅院士、梅宏院士、王怀民教授、吕建教授、徐洁教授、吕荣聪教授等应邀参加本次工作会议。来自国防科技大学、北京大学、北京航空航天大学、清华大学、哈尔滨工业大学、国家计算机网络与信息安全管理中心、阿里巴巴公司的课题负责人和学术骨干32人参加本次会议。

会议中,各单位分别就自己所关注的研究点进行学术交流,我校软件工程研究所2007级博士生柳毅同学作了《非功能需求:从分析到设计》的专题报告。随后,各课题负责人分别汇报了一年来各课题的工作进展和取得成果,曹东刚副教授作了题为《领域特定的虚拟计算环境程序设计》的发言,项目专家组和项目内部针对各个课题的进展进行了深入的研讨。

项目专家组和领导对项目的工作进展予以肯定,希望项目研究团队在接下来的研究中更加紧密地围绕项目总目标开展研究工作,为来年的项目中期验收做好准备。

喜讯:我室在2011年度信息科学领域教育部重点实验室评估中名列前茅

高可信软件技术教育部重点实验室(北京大学)被评为2011年度优秀实验室。

根据教育部科技司11月28日发布的消息(http://www.dost.moe.edu.cn/outpart/moduledetail.jsp?id=1475),在2011年教育部组织的对信息科学领域的27个教育部重点实验室的评估中,高可信软件技术教育部重点实验室(北京大学)被评为优秀实验室(共四个优秀实验室)。

高可信软件技术教育部重点实验室(香港中文大学分实验室)成立

      2010年12月15日,“高可信软件技术教育部重点实验室(香港中文大学分实验室)”成立揭牌仪式在香港中文大学工程学院举行。北京大学林建华常务副校长、“高可信软件技术教育部重点实验室”主任梅宏教授、副主任金芝教授、北京大学港澳台办公室主任夏红卫博士等一行应邀参加了揭牌仪式。在揭牌仪式上,国家教育部科学技术司明炬处长、香港中文大学副校长黄乃正院士分别致辞并祝贺香港中文大学分实验室的成立。林建华常务副校长在致辞中代表北京大学祝贺香港中文大学分实验室的成立,并表示这将成为两校合作历程中一个新的里程碑。梅宏教授在仪式上介绍了高可信软件技术教育部重点实验室的发展概况、双方已有项目合作以及未来合作发展的目标。香港中文大学副校长程伯中教授、中联办教育科技部副巡视员曹国英先生、香港科技创新署余安正教授等领导以及香港中文大学工程学院师生一同参加了揭牌仪式。香港中文大学黄锦辉教授担任该分实验室主任。

      “高可信软件技术教育部重点实验室(香港中文大学分实验室)”由国家教育部科技司于2010年9月26日正式批准成立。

973课题"虚拟计算环境的程序设计方法学"通过结题验收

      国家973计划项目“虚拟计算环境聚合与协同机理研究”于2010年9月26日在北京组织了课题结题验收会议,北京大学软件所邵维忠教授承担的项目第五课题“虚拟计算环境的程序设计方法学”(2005CB321805)顺利通过专家组验收。该项目自2005年启动,历时5年。在项目进行期间,北京大学课题组按照任务书要求,以虚拟计算环境体系结构和概念模型为指导框架,开展虚拟计算环境程序设计方法学研究,形成了基于自主元素、面向服务的虚拟计算环境程序设计方法技术体系,为虚拟计算环境中资源的按需聚合与自主协同提供了程序设计方面的有效支持,并在 虚拟计算环境程序设计方法、自主流程执行语言、 模型驱动、面向服务的建模等方面取得了突破性进展。作为项目的服务支撑性课题,研究内容和研究成果紧密围绕虚拟计算环境概念模型,并和其他课题形成了有机联系,在程序设计层面有效地支持了相关课题在协同、可信等方面取得的研究成果,对项目的整体目标起到了良好的支撑作用。经过五年的研发,全面完成了计划任务,实现了预期的研究目标。邵维忠教授、曹东刚副教授、肖赞博士生参加了此次验收会议,曹东刚副教授受课题负责人邵维忠教授委托代表课题组进行了课题结题验收汇报。

我所参与的973项目“高效可信的虚拟计算环境基础研究”立项

      邵维忠教授担任课题4“领域特定的虚拟计算环境程序设计”课题负责人。国防科技大学牵头的973项目“高效可信的虚拟计算环境基础研究”日前获得国家科技部批准立项。我所邵维忠教授担任课题4“领域特定的虚拟计算环境程序设计”(编号:2011CB302604)课题负责人。课题实施时间: 2011.1-2015.12.虚拟计算环境程序设计是支撑互联网新型应用设计和实现的基本途径,需要在虚拟计算环境体系结构研究的基础上,从问题空间、软件形态和运行环境等多维度开展研究,探索新型的程序设计理论、方法与关键技术。本课题首先从问题空间维度,研究互联网新型应用模式的需求特征,特别是针对大规模并行数据处理、大规模协同服务等应用场景,建立领域特定的业务模型;其次从软件形态维度,研究面向特定业务领域的编程模型,以及面向服务、基于自主元素的程序构造方法;第三,从运行环境维度,探索新型应用模式的程序运行机理,建立新型应用模式的运行支撑机制。最后,在上述工作的基础上,研究相应的语言设施、框架和工具,建立面向互联网新型应用模式的程序设计模式及开发框架。通过上述研究,发现大规模数据处理和协同服务等典型互联网新型应用的基本特征,建立面向特定领域的编程模型;在此基础上,为基于虚拟计算环境的互联网新型应用探索新的构造方法,提高基于新型编程模型的软件开发效率和开发质量;通过研究新模型下的程序运行支撑机制,建立支撑互联网新型应用开发与运行的方法、框架和工具,支持虚拟计算环境应用的高效设计与实现。

软件所与IBM中国研究院启动了2010年度网构软件联合研究

      7月13日下午,IBM中国研究院的杨顺祥、朱俊、李影、郭常杰等多位经理来到北大软件所,与梅宏、黄罡、焦文品、张路、王亚沙、曹东刚、李戈、张伟、郭耀等教师探讨了2010年度的网构软件联合研究内容,双方初步确定了以物联网为应用背景、以软件模型为主要问题的研究思路,为网构软件的应用提供了机会。

中国中间件产业技术创新战略联盟(四方国件联盟)成立

      北京大学等11家单位组成四方国件联盟, 中国中间件产业技术发展翻开新篇章 日前,北京大学等11家单位签署中国中间件产业技术创新战略联盟(四方国件联盟)协定书,中国中间件产业技术发展走向新的一页。为发挥企业、高校、科研院所等各方优势,提高我国计算机软件中间件产业的自主创新能力和核心竞争力,按照“应用驱动、合作共赢、倍增价值”的原则,以国家重大专项“核高基”基础软件中间件的研发和应用推广为契机,北京大学等11家中间件研发单位组建成立了中国中间件产业技术创新战略联盟——四方国件联盟。联盟将整合及协调产业、社会资源,形成以“核高基”中间件软件“产学研用”的合作平台,提升联盟成员在中间件相关领域的研究、开发、服务和应用水平,提炼形成中国中间件标准体系,促进国产中间件产业的快速健康发展,为中国以及全球中间件发展做出贡献。

北京大学信息科学技术学院“软件工程”课程获得2010年度国家精品课程

      北京大学信息科学技术学院“软件工程”课程获得2010年度国家精品课程,杨芙清院士为教学顾问,王立福教授和梅宏教授为课程负责人,主讲教师为孙艳春副教授、陈鸿婕副教授和王千祥教授。

软件所赵祺等人论文荣获2010年国际服务科学大会唯一的最佳论文奖

      2010年5月12-14日,国际服务科学大会(International Conference on Service Science)在杭州召开。经过大会评审,软件所赵祺等所撰写的论文"A Browser-based Middleware for Service Oriented Rich Client" 在所有被录用的88篇论文中脱颖而出,荣获唯一的“最佳论文奖” (Best Paper Award) 。刘譞哲博士参加大会并宣读论文。

2010年1月8日和9日,高可信软件技术教育部重点实验室2009年度工作总结会在九华山庄举行

      2010年1月8日和9日,高可信软件技术教育部重点实验室2009年度工作总结会在九华山庄举行,实验室的62位老师出席了会议。本次会议首先由实验室主任梅宏教授介绍了2009年实验室的整体研究进展,然后20多名老师分别汇报了各自所在的研究方向2009年的研究进展,金芝教授宣布了2009年实验室的学术奖励名单,最后老师们对实验室2010年的规划进行了热烈的讨论。