计算机科学国家重点实验室召开2019年学术委员会年度会议

11月3日下午，计算机科学国家重点实验室学术委员会2019年度会议在中国科学院软件研究所五号楼四层中会议室召开。中科院前沿科学与教育局重点实验室处刁丽颖、软件所赵琛所长以及梅宏、何积丰、林惠民等委员出席了此次会议，应明生委员以通信方式参加会议。会议由学术委员会主任梅宏院士主持。

赵琛所长首先致辞，向委员们以及院基础局对实验室多年来给予的关心和支持表示感谢，并简单介绍了软件所近期发展情况。随后，沈一栋主任代表实验室作年度工作报告，向委员们汇报了实验室2018年度的科研工作进展、开放交流、人才队伍等情况，以及2019年工作规划。詹博华副研究员作了题为“量子算法的形式化验证”的学术报告并回答了委员提问。

委员们认真听取了工作报告，充分肯定了实验室在2018年取得的科研进展和成果，并结合目前国家科研环境以及实验室特点，对实验室的未来发展、科研方向等方面提出了中肯的意见与建议。