人员组成
  

软件所的量子程序项目组由应明生研究员领导,包含研究人员与学生十余人。

应明生1964 年生,1981年毕业于江西师范学院抚州分院,曾在江西师范大学、南京航空航天大学任教,1992年任教授。1998年任清华大学计算机系教授,2002 任智能技术与系统国家重点实验室学术委员会主任,2008 年任 University of Technology Sydney 杰出教授,2016年任中科院软件所研究员、学术副所长。曾在法国巴黎第六(居里夫妇)大学、意大利Napoli大学、德国慕尼黑大学、芬兰Turku计算机科学中心任访问研究员、访问教授、洪堡研究员等职。1997年获国家杰出青年科学基金,2001年被聘为教育部长江学者特聘教授,2003年作为学术带头人获国家自然科学基金优秀创新群体,2008 年获国家自然科学二等奖(单独), 2015 年入选国家千人计划。曾任国际人工智能领域最主要刊物AIJ副主编,国际量子信息理论领域最主要会议QIP大会主席。

主要研究成果: 应明生早年在数理逻辑、软件理论及人工智 能研究中做出重要贡献。近年来,他主要从事量子计算与量子信息研究,是量子程序理论的主要创建者之一。特别地,他建立了量子程序的 Floyd-Hoare型逻辑,奠定了量子程序设计的逻辑基础; 引入了量子程序分析与验证的核心概念 —— 不变量; 发现了量子程序终止性分析的SDP算法; 开辟了量子系统的模型检测领域。应明生在计算机科学顶级国际会议POPL、IJCAI等及刊物TOPLAS、AIJ等、物理学著名刊物PRL、数理逻辑最主要刊物JSL等发表一系列论文,应邀在Elsevier出版了国际上第一部量子程序理论著作。 

 

 

组员:

副研究员:朱雪阳、应圣钢

助理研究员:李杨佳、陈世腾

博士后:官极、许兆伟

博士生:周立(清华大学)、李日灵(清华大学)、刘君毅、王启圣(清华大学)、方望