计算机科学国家重点实验室召开2019年學術委員會年度会议

文章來源:  |  發布時間:2019-11-06  |  【打印】 【關閉

  

   11月3日,中國科學院软件研究所计算机科学国家重点实验室學術委員會2019年度会议在软件所召开。实验室學術委員會委员梅宏院士、何积丰院士、林惠民院士等专家,中國科學院前沿科学与教育局重点实验室处副处长刁丽颖、软件所所长赵琛等出席了会议,學術委員會委员、软件所研究员应明生以通信方式参加会议。会议由學術委員會主任梅宏主持。

  赵琛首先致辞,感谢委员以及前沿局一直以来对软件所和实验室的大力支持,并简要介绍了研究所近期的发展情况。随后,实验室主任沈一栋作年度工作报告,介绍了实验室2018年度在科研進展、开放交流、人才隊伍等方面的情况,并对2019年工作提出规划。软件所青年骨干、副研究员詹博华作“量子算法的形式化验证”报告。
  委员们认真听取了工作报告,充分肯定了实验室在2018年取得的科研進展和成果,并结合目前国家科研环境及实验室特点,对实验室的未来发展、科研方向等方面提出了中肯的意见与建议。
會議合影