您位于: 首页 新闻动态

新闻动态

网站新闻

日本国立情报学研究所胡振江教授来实验室讲课

        2012年7月18日至8月1日,日本国立情报学研究所胡振江教授来高可信软件技术教育部重点实验室讲授了题为《Programming Algebra for formal Construction of Correct Software》的暑期课程,由赵海燕副教授主持该课程。实验室数名同学选修了该课程,反响良好。

973计划项目《基于网络的复杂软件的服务质量与可信度研究》在威海召开2012年度会议

        2012年8月6--7日,梅宏院士任首席科学家的973计划项目《基于网络的复杂软件的服务质量与可信度研究》在威海召开2012年度会议。

周明辉等参加MSRVision 2020

        周明辉副教授等参加了2012年8月20—24日在加拿大Queen University举行的MSRVision 2020会议。此次会议由Queen University赞助,只能受邀参加。会议聚集了国际软件工程领域知名专家,讨论软件工程数据挖掘所解决的问题和面向未来的挑战。会上周明辉副教授等宣讲了北大软件工程所在数据收集、开发过程模式分析、以及开源实践等方面的研究,与与会者进行了热烈的研讨。

日立集团IT使用者会代表团来访

        2012年9月7日下午,日立集团IT使用者会代表团一行25人来访。黄罡教授和杨光临副教授主持接待。交流见面会上,代表团负责人坂下忠夫首先介绍了他们此行主要是为了了解北京大学在信息技术教育方面对学生的培养情况,然后介绍了日立IT使用者会主要是从事有效、合理利用信息技术的相关研究,并定期出版会刊和论文集。随后,黄罡教授介绍了学院的发展历史和教学、科研现状,学生培养计划和就业去向,并针对客人的提问,具体介绍了多层次、多元化的软件工程教育体系,软件研究所与企业的合作以及成果转化情况。黄罡教授以及软件研究所“百人计划”研究员熊英飞带领客人参观高可信软件技术教育部重点实验室后,整个交流过程圆满结束。

周明辉副教授参加了第一届大数据科学与工程国际学术研讨会的大数据工程论坛

        2012年9月13日下午,周明辉副教授参加了在北航召开的第一届大数据科学与工程国际学术研讨会,作为大数据工程论坛的panelist陈述了关于软件工程大数据的观点。论坛其他的panelist包括南京大学的吕建老师、国防科大的王怀民老师、美国亚利桑那州立大学的蔡维德老师和北航的孙伟老师。周明辉副教授阐述了北京大学软件研究所在软件工程数据积累和数据驱动的软件度量方面的工作,尤其是Internet环境下大规模软件(网构软件)协同开发方法的研究,主张大数据应该在特定的领域、面向特定的问题进行讨论,并且受相应时代的技术条件及特定领域的技术积累的约束。

周明辉副教授参加了在瑞典隆德大学举行的Empirical Software Engineering International Week

        2012年9月17日应邀在ISERN(International Software Engineering Research Network)会议上陈述了北大软工所在实证软件工程领域的工作,与诸多与会者谈讨了合作兴趣。并在EAST(International Workshop on Evidential Assessment of Software Technologies)上宣读了受邀论文:Looking for Micro-process in Large-scale Data。

金芝教授等参加第20届IEEE国际需求工程会议

        2012年9月24-28日,实验室金芝教授、赵海燕副教授、张伟副教授和博士生易立等四人赴美国芝加哥参加第20届IEEE国际需求工程会议。本次会议共接受发表26篇正式论文和11项工具演示,其中,实验室有1篇正式论文和2项工具演示被接受发表。金芝教授等4人在会议上对学术论文和工具演示进行了介绍和展示,并与相关学者开展了学术交流。同时,金芝教授作为本届IEEE国际需求工程会议Program Board的唯一一名中国学者,还参加了本届会议的组织工作和下届会议的筹备工作。

赵俊峰副教授参加ISO/IEC JTC1 SC38的年会和SC38云计算工作组的讨论会。

        2012年9月25--28日,实验室赵俊峰副教授前往瑞典斯德哥尔摩参加了ISO/IEC JTC1 SC38的年会与SC38云计算工作组的讨论会。会上讨论了云计算术语、云计算参考架构两个国际标准提案,并形成了相应的修改稿,之后预计会在11月形成两个标准的最终草案,并提交工作组进行审议。

张路和郭耀参加第23届自动化软件工程国际会议(ASE 2012)

        2012年9月第23届自动化软件工程国际会议(ASE 2012)在德国埃森举行。实验室共有2篇文章被此次会议录用。张路教授和郭耀副教授参加了本次会议,宣读了相关论文,并与会人员进行了广泛交流。

梅宏、金芝等参加第十一届全国计算机软件及应用会议(NASAC 2012)

        2012年10月20-22日,第十一届全国计算机软件及应用会议(NASAC 2012)在南京召开。该系列会议是中国计算机学会软件工程专委与系统软件专委联合主办的主要学术活动,本次会议由南京航空航天大学承办。会议与《中国科学》、《计算机学报》的两个专刊交流同期举行,邀请到了三位国际知名的学者做大会特邀报告:苏黎世大学Harald C. Gall教授、波士顿大学Xi Hongwei副教授和Ivar Jacobson教授。实验室共有8篇论文被会议与刊物录用。梅宏、金芝等多位老师及学生参加了本次会议。中国计算机学会软件工程专委与系统软件专委的2个专委会议也在会议期间举行。

国家863计划重点项目“高可信软件生产工具与集成环境”通过验收。

        2012年10月25日,科技部在北京主持召开了“十一五”国家863计划重点项目“高可信软件生产工具与集成环境”的项目验收,实验室是该项目的主要承担单位之一,承担的分课题在2011年底已通过了课题验收,此次顺利通过了项目验收。

赵海燕副教授应邀赴德参加Dagstuhl Seminar on Requirements Management–Novel Perspectives and Challenges。

        2012年10月28-31日赵海燕副教授应邀赴德参加为期三天的Dagstuhl Seminar onRequirements Management–Novel Perspectivesand Challenges。Dagstuhl Seminar 是德国政府资助、目前世界上最具影响力的信息技术前沿论坛。本次论坛围绕“Complexity”和“Evolution”两个核心词探讨需求管理的概念、模型、理论、方法、技术等多个方面,30 多位来自世界各地的研究人员进行了全面深入地探讨,形成了若干关键性的共识。

国家973计划项目“基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究”年度研讨会在青岛举行。

        2012年10月30-31日,国家973计划项目“基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究”年度研讨会在青岛举行。项目六个课题组的核心骨干及咨询组专家(戴国忠老师,钱华林老师)和专家组专家(王怀民老师,刘超老师,赵文耘老师)共计五十多个人参加了会议。会上首席科学家梅宏院士总结了项目年度进展情况,与会人员就如何增进网构成果在国际上的影响力和对实际软件开发的帮助展开了热烈的讨论。

梅宏、金芝等参加第四届亚太网构会议

        2012年10月30-31日,第四届亚太网构会议(The Fourth Asia-Pacific Symposium on Internetware:Internetware 2012 )在青岛召开。该系列会议由梅宏院士担任首席科学家的国家973计划项目发起,中国计算机学会软件工程专委与系统软件专委联合主办,ACM 合作(In-Cooperation),已分别在北京、苏州、南宁举办过3届。作为网构软件方面的国际性学术研讨会议,Internetware重点关注和研讨Internet环境下新的软件形态(即网构软件,Internetware)在技术研究和应用发展等方面所面临的新挑战、新问题和取得的新进展,旨在为网构软件研究领域的研究人员和行业人士提供一个探讨和交流的平台。本次会议邀请到了5位国际知名学者做特邀报告:意大利 Department of Electronics and Information of Politecnico di Milano 的 Carlo Ghezzi教授、Arizona State University的Stephen S. Yau教授、Arizona State University的Wei-Tek Tsai教授,Dept. Electrical Engineering & Computer Science, University of California (Irvine)的Kwei-Jay Lin教授、以及De Montfort University 的Hongji Yang教授。实验室共有3篇文章被录用。梅宏、金芝等10多位老师及学生参加了本次会议,与参会人员开展了广泛、深入的交流。本次会议由北京大学与清华大学承办,中国海洋大学协办,并与第二届可信软件国际研讨会(2nd International Symposium on High Confidence Software :ISHCS 2012))同地举行。

实验室所开设的两门课程获得2012年北京大学教学成果一等奖。

        以“问题求解导向的数据结构与算法实践教学”(张铭、赵海燕、王腾蛟、宋国杰、郝丹)获得2012年北京大学教学成果一等奖,并获推荐北京市级二等奖;“以综合能力和创新能力培养为导向的软件工程课程体系建设”(孙艳春、王立福、梅宏、陈泓婕、王千祥)获得2012年北京大学教学成果一等奖。

张世琨和王亚沙被授予“国家工程研究中心先进工作者”称号。

        2012 年11月16日下午,国家发展改革委在深圳隆重召开国家创新能力建设和国家信息化建设授牌表彰大会。会议对长期以来在国家创新能力建设工作中做出突出贡献的个人、取得优秀成绩的工程中心集体和个人进行了表彰。软件工程国家工程研究中心荣获“国家工程研究中心优秀业绩奖”,张世琨和王亚沙等被授予“国家工程研究中心先进工作者”称号。

邵维忠教授等到西昌卫星发射中心进行“可信软件资源管理系统”的安装以及“面向对象建模和UML”的技术培训

        2012年11月24日至27日,邵维忠、邹艳珍、李萌和朱子骁一行四人到西昌卫星发射中心进行了“可信软件资源管理系统”的安装以及“面向对象建模和UML”的技术培训。针对实际开发应用中遇到的问题,西昌卫星发射中心希望和我们建立长期的合作关系。“可信软件资源管理系统”是国家863计划项目“可信的国家软件资源共享与协同生产环境”的重要研究成果,将被应用在西昌卫星发射中心技术部的实际开发过程中。同时,邵老师等此次的技术培训受到了西昌卫星发射中心技术部研究人员的欢迎,大家就软件开发过程中的一些面向对象分析和设计过程中的问题进行了讨论。

周明辉副教授入选教育部“新世纪优秀人才支持计划”。

2012年12月4日教育部发布公示:2012年度教育部“新世纪优秀人才支持计划”入选名单。北京大学共有22名老师入选,其中实验室周明辉副教授入选中。

高可信软件技术教育部重点实验室学术委员会会议在北京大学召开。

        2012年11月20日上午,高可信软件技术教育部重点实验室召开了第五次学术委员会会议,这也是高可信软件技术教育部重点实验室第二届学术委员会第一次举行会议。参加会议的有:学术委员会委员和大学科研部郑英姿主任、何洁副主任。会议由学术委员会主任林惠民院士主持,其主要内容为:梅宏院士宣读了新一届学术委员会委员,并做了实验室年度工作报告;高军教授做了“关于大规模图数据管理技术”的专题技术报告;金芝教授做了开放课题研究进展报告,并评审通过了新申请2013年3项开放课题项目;最后,委员就实验室未来发展提出了指导性的意见,对实验室的建设和发展将起到重要的作用。

梅宏院士获2012年度“何梁何利基金科学与技术进步奖”。

        2012年10月29日香港何梁何利基金2012年度颁奖大会在北京钓鱼台国宾馆隆重举行。中共中央政治局委员、国务委员刘延东出席并作重要讲话。,全国人大常委会副委员长路甬祥,全国政协副主席、科技部部长万钢等领导出席大会并向获奖者颁奖。

        今年共有50位中国科学家荣膺何梁何利基金奖,其中“科学与技术进步奖”35位,“科学与技术创新奖”15位,“科学与技术成就奖”空缺。实验室主任梅宏院士获“何梁何利基金科学与技术进步奖”

        何梁何利基金自1994年3月成立并设奖至今,已成功进行19届评选和颁奖活动,先后有1002名优秀科学家获奖,其中,29位杰出科学家获“科学与技术成就奖”,852位科学家获“科学与技术进步奖”,121位科学家获“科学与技术创新奖”。