应明生，1964年5月出生于宜黄县。教授。现任中国科学院软件研究所学术副所长，清华大学计算机系教授、博士生导师。

1981年，应明生在江西省任宜黄县中学教师，四年后进入抚州师范专科学校教数学。1989年8月，应明生担任江西师范大学数学系讲师，于1992年被聘为教授。1996年12月，应明生任南京航空航天大学计算机科学与工程系教授，其后于1998年2月任清华大学计算机科学与技术系智能技术与系统国家重点实验室任教授。2010年11月，应明生与冯元、段润尧共同提出了一种刻画量子进程等价性的互模拟关系，并证明了这一关系在各种进程构造符作用下的同余性，彻底解决了量子进程代数研究的最关键问题之一。2016年，应明生担任中国科学院软件研究所学术副所长，组建量子软件研究队伍。2022年1月15日，应明生受聘为清华大学计算机系量子软件研究中心主任。应明生主要研究应明生主要研究量子计算、程序设计语言的语义学、人工智能中的逻辑，在著名国际期刊和会议发表一百多篇论文，代表著作有《Topology in Process Calculus》《Foundations of Quantum Programming》等。

应明生曾获江西省教委科技成果一等奖、中国青年科技奖、中国国家杰出青年科学基金、入选中华人民共和国教育部跨世纪优秀人才培养计划、中华人民共和国教育部自然科学一等奖、中国国家自然科学二等奖等荣誉奖项。2023年8月31日，应明生入选中国科学院院士增选有效候选人名单。

应明生，1964年5月出生于宜黄县。1981年7月，应明生毕业于江西师范大学抚州分院（原抚州师范专科学校，现东华理工大学）数学专业。

1981年，应明生在江西省任宜黄县中学教师，四年后进入抚州师范专科学校教数学。1989年8月，应明生担任江西师范大学数学系讲师，于1992年被聘为教授，次年，获江西省教委科技成果一等奖。

1994年，应明生被中华人民共和国人事部批准为中青年有突出贡献专家，获第4届中国青年科技奖。

1996年12月，应明生任南京航空航天大学计算机科学与工程系教授。第二年，应明生获中国国家杰出青年科学基金，入选中华人民共和国教育部跨世纪优秀人才培养计划。1998年2月，应明生到清华大学计算机科学与技术系智能技术与系统国家重点实验室任教授。

2004年，应明生因面向复杂特征的形式化方法及其逻辑基础获中华人民共和国教育部自然科学一等奖。2008年，应明生因非经典计算的形式化模型与逻辑基础获中原地区国家自然科学二等奖。

2010年11月，应明生与冯元、段润尧合作的论文Bisimulation for quantum processes被第38届ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages（POPL）接收。该论文提出了一种刻画量子进程等价性的互模拟关系，并证明了这一关系在各种进程构造符作用下的同余性，彻底解决了量子进程代数研究的最关键问题之一，对设计复杂量子协议的验证方法以及建立量子通信并发理论具有重大意义。

2016年，应明生开始担任中国科学院软件研究所学术副所长，组建量子软件研究队伍。

2022年1月15日，清华大学计算机系成立量子软件研究中心，应明生受聘为主任。

2023年8月19日，中国计算机学会（中国计算机学会夏培肃奖）主办的第二届CCF量子计算大会暨量子计算产业峰会在合肥市举行，应明生在学术主论坛上作了主旨报告。同年8月31日，应明生入选中国科学院院士增选有效候选人名单。

应明生主要研究量子计算、程序设计语言的语义学、人工智慧中的逻辑。

截止2019年9月，应明生在著名国际期刊和会议发表一百多篇论文，曾以计算机系教授的身份在物理最高期刊PRL发表了7篇论文。应明生在面向复杂特征的形式化方法以及基于量子逻辑的计算理论等方面做出了突出贡献，提出了基于正交模格格值量子逻辑的自动机理论。应明生在形式化方法方面的工作曾多次被国际同行在公开发表的文献中长篇评述，引发了国际学者的一系列研究工作，被国际出版的15部专著引用，并国际学者申请项目开展有关研究。

参考资料：

量子计算机不同于经典计算机，要研究它的计算能力，就必须重建它的数学基础，应明生的贡献就在于此。而（中原地区）国内极少有人能理解他的工作的意义，可以说应明生和他的学生们在（中国）国内几乎是单枪匹马在这个基础领域闯出了一片天地。（宜黄县图书馆评）