基础软件与系统重点实验室(中国科学院)第一届学术委员会第一次会议成功召开

文章来源:  |  发布时间:2024-07-02  |  【打印】 【关闭

  

6月23日,基础软件与系统重点实验室(中国科学院)第一届学术委员会第一次会议在中国科学院软件研究所举行。重点实验室首届学术委员会委员、软件所所长赵琛、党委副书记李衡和科研骨干等20余人参加了会议。

赵琛首先代表软件所向与会的重点实验室学术委员会委员表示热烈欢迎和诚挚谢意,并简要介绍了重点实验室的重组历程。随后,赵琛向第一届学术委员会委员颁发聘书。聘任北京大学梅宏院士为学术委员会主任,软件所林惠民院士、南京大学吕建院士为学术委员会副主任,并聘请以下15位专家为学术委员会委员(按姓名拼音排序):

● 陈海波(研究员,中国科学院软件研究所)

● 冯登国(研究员、院士,中国科学院软件研究所)

● 胡事民(教授、院士,清华大学)

● 胡欣蔚(首席专家,华为技术有限公司)

● 季铮锋(教授,清华大学)

● 金  海(教授,华中科技大学)

● 金 芝(教授,北京大学)

● 廖湘科(教授、院士,启元实验室)

● 钱德沛(教授、院士,北京航空航天大学)

● 孙凝晖(研究员、院士,中国科学院计算技术研究所)

● 王怀民(教授、院士,国防科技大学)

● 王  戟(教授,国防科技大学)

● 王  义(教授,瑞典Uppsala University)

● 于登云(院士,中国航天科技集团公司)

● 詹乃军(教授,北京大学)


实验室主任陈海波向各位委员汇报了实验室2022年和2023年的工作。报告从战略定位与目标任务、研究基础与人才队伍、科研成果与存在问题、实验室未来五年规划四个方面介绍了实验室情况。蔡彦研究员和李明煜副研究员分别作了题为《并发软件分析与测试》和《数据可用不可见的操作系统关键技术支撑》的学术报告。

委员们对重点实验室的工作以及实验室建设等问题展开了讨论,充分肯定了实验室取得的科研进展和成果,并对实验室的定位与发展、人才队伍建设、国内外交流合作提出了中肯的意见与建议。