人员构成
  

软件所的量子法式榜样项目组由应明生研究员引导,包含研究人员与先生十余人。

应明生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出版了国际上第一部量子法式榜样实际著作。 

 

 

组员:

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

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

博士后:官极、许兆伟

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