报告人：应明生 

　　时  间：2014年4月24日（周四）下午2:30 

　　地  点：自动化所智能化大厦三层第一会议室 　  

　　报告人简介： 

　　澳大利亚科技大学量子计算与智能系统研究中心主任、教授；清华大学计算机科学与技术系，智能技术与系统国家重点实验室教授、博士生导师、教育部长江学者。1994年被人事部批准为中青年有突出贡献专家，获第4届中国青年科技奖；1997年获国家杰出青年科学基金，入选教育部跨世纪优秀人才培养计划；2004年获教育部自然科学一等奖；2008年获国家自然科学二等奖。 

　　主要研究方向为形式语义学、量子计算与量子信息、人工智能基础理论、计算机科学、模糊逻辑等。为了建立量子计算的数学模型，应明生教授独创性地提出并初步发展了基于量子逻辑的计算理论，在面向复杂特征的形式化方法以及基于量子逻辑的计算理论等方面做出了突出贡献，在形式化方法方面的工作曾多次被国际同行在公开发表的文献中长篇评述。 

    应明生教授是国际模糊系统学会（IFSA）副主席、中国系统工程学会模糊系统与数学专业委员会理事长、《Artificial Intelligence》、《Fuzzy Sets and Systems》、《Journal of Computer Science and Technology》、《中国科学》、《自动化学报》编委。在《Physical Review Letter》、《IEEE Trans. on Automatic Control》、《IEEE Trans. on Information Theory》、《Artificial Intelligence》、《Acta Informatica》等权威刊物上发表论文100余篇。 

　　量子程序：从理论到实现 

　　量子计算研究主要有物理学家和计算机科学家两支力量，前者关注的是量子计算的物理实现。众所周知，软件是计算机的“灵魂”。一旦量子计算机能够付诸实用，量子程序的开发必将处于真正发挥量子计算机作用的一个关键地位。由于量子系统与经典系统的本质差别，现有的软件技术无法应用于量子计算机，发展量子软件技术的一个基础是量子程序理论和实现。