应明生 (长江学者、中科院软件所学术副所长)
应明生，男，1964年5月出生，江西宜黄人。清华大学计算机科学与技术系智能技术与系统国家重点实验室教授，博士生导师，澳大利亚悉尼科技大学工学与信息技术学院量子计算与智能系统中心（QCIS）杰出教授。“长江学者奖励计划”特聘教授，中青年有突出贡献专家。曾获得国家自然科学二等奖、中国青年科技奖、国家杰出青年科学基金。国际模糊系统学会（IFSA）副主席、中国系统工程学会模糊系统与数学专业委员会理事长、《Fuzzy Sets and Systems》、《Journal of Computer Science and Technology》、《自动化学报》编委。
长期研究形式语义学、人工智能基础理论、模糊逻辑、量子计算。在国外刊物发表论文60余篇，其中被SCI收录40余篇，SCI他人引用100余次，在面向复杂特征的形式化方法以及基于量子逻辑的计算理论等方面做出了突出贡献，在形式化方法方面的工作曾多次被国际同行在公开发表的文献中长篇评述，这些工作有着较为广泛的引用并引发了国外学者的一系列研究工作，有的工作已被国外出版的15部专著引用，他的工作还引发了一些国外学者申请项目开展有关研究。
* 江西省宜黄县中学，教师，1981年8月-1985年5月
* 抚州师范专科学校数学系教师、讲师（1987.9），1985年6月-1989年7月
* 江西师范大学数学系讲师、教授（1992.6）， 1989年8月-1996年11月
* 南京航空航天大学计算机科学与工程系教授，1996年12月-1998年1月
* 清华大学计算机科学与技术系智能技术与系统国家重点实验室教授，1998年2月
1981年毕业于江西师范学院抚州分院（原抚州师范专科学校前身）数学科。曾在抚州师范专科学校数学系、江西师范大学数学系、南京航空航天大学计算机科学与工程系任教。
1992年在江西师范大学评聘为教授，
1993年获江西省教委科技成果一等奖，
1994年被人事部批准为中青年有突出贡献专家，获第4届中国青年科技奖。
1997年获国家杰出青年科学基金，入选教育部跨世纪优秀人才培养计划。先后在法国巴黎第六(居里夫妇)大学、意大利Salerno大学与Napoli大学、德国慕尼黑大学与Mannheim大学、芬兰Turku计算机科学中心作访问研究。
2007、2009、2011、2015年中国科学院院士候选人。
2016年开始担任中国科学院软件研究所学术副所长，组建量子软件研究队伍。
（马扬书记向应明生教授颁发聘书）
应明生作风正派，治学严谨，具有很强的创造性，是一位在科学上勤奋进取的科技工作者。在姚期智回归中国之前，应明生是事实上的中国理论计算机第一人，是真正做研究的人，国内极少有人能达到他的境界。国内确实有不少老院士，但是，能跟的上甚至引领国际潮流的只有应明生一个人。最难得的是，此人出身于一个不知名的师范学校，他在清华也做出了一系列极为瞩目的成绩。
应明生目前主要从事形式化方法、量子计算与量子信息、计算机科学与人工智能中的逻辑学、模糊逻辑等方面的科研工作。近10年来，他致力于系统地建立量子程序设计的理论基础，包括能够发挥量子计算特有优势的程序设计模型、量子程序的分析与验证方法。
他早期做概率程序与进程方面的研究，并因此拿了“王选奖”，国外同行的评价是“beyond what we have seen so far”，“really novel ideas”,“a new angle, … which other researchers in this filed may not have”。
应明生到清华后，大概02年左右做量子计算，并且以计算机系教授的身份在物理最高期刊PRL发表了7篇论文。其中最重要的贡献是提出基于正交模格格值量子逻辑的自动机理论。这个工作具有颠覆性的基础意义。量子计算机不同于经典计算机，要研究它的计算能力，就必须重建它的数学基础，应明生的贡献就在于此。而国内极少有人能理解他的工作的意义，可以说应明生和他的学生们在国内几乎是单枪匹马在这个基础领域闯出了一片天地。
有人认为“应明生没有入选中国科学院院士是滑天下之大稽”。现在量子信息国内宣传潘建伟宣传得很厉害，但是却没什么人提应明生。如果将来真有什么量子计算机做出来，那应明生的贡献将是奠基性的，因为他做的是数学基础的工作，前面说的他提出的基于量子逻辑的计算理论已经被写入Handbook of Quantum Logic，Elsevier 2006。
