量子计算是一种利用量子力学原理进行信息处理的新型计算方式，它有望在诸如密码学、人工智能、材料设计等领域实现超越传统计算机的性能。然而，量子计算的发展也面临着许多挑战，如量子比特的制备、操作和读取，量子纠错的实现，量子算法的设计和验证等。
为了解决这些问题，需要有一套完善的量子软件体系，包括量子程序设计语言、量子程序编译器、量子程序调试器、量子程序优化器等。而要开发出高效、可靠、易用的量子软件，就需要有一批具有深厚数学功底和创新精神的量子软件专家。
应明生教授就是这样一位从江西县城走出来的量子软件先驱，他在计算机科学的多个领域做出了卓越的贡献，并在国内外享有盛誉。他现任清华大学计算机系教授、博士生导师，2022年受聘为清华大学量子软件研究中心首任主任。他曾获得中国青年科技奖、教育部自然科学一等奖、国家自然科学二等奖等荣誉，是国际模糊系统学会副主席、中国系统工程学会模糊系统与数学专业委员会理事长，担任《Fuzzy Sets and Systems》等期刊编委。
01
自小城而来：江西宜黄县人
应明生出生于1964年5月，江西省宜黄县人。他1981年毕业于江西师范学院抚州分院数学专业，后考入江西师范大学数学系，师从著名数学家陈景润教授。他在江西师范大学任教期间，开始了对计算机科学的探索，尤其是对程序设计语言的语义学和人工智能中的逻辑感兴趣。
他从小就对数学和物理有着浓厚的兴趣，在江西师范学院抚州分院（现东华理工大学）数学专业毕业后，曾在江西师范大学、南京航空航天大学等高校任教，同时也不断自学和研究计算机科学和人工智能方面的知识。
在1990年代初期，他获得了国家留学基金委的资助，先后赴法国、意大利、德国、芬兰等国家的知名大学和研究机构进行访问研究，与国际上的顶尖科学家进行合作交流，拓宽了他的视野和思路。
他于在1997年获得了牛津大学计算机系的博士学位，他的博士论文《Topology in Process Calculus》是一部开创性的作品，提出了一种基于拓扑理论的进程代数，可以用来描述并发系统的近似行为和进化过程。
02
奔世界而去：应教授的贡献
1996年，应明生教授赴英国牛津大学访问，并与当时的牛津大学教授、后来获得图灵奖的姚期智教授相识。
姚期智教授对应明生教授的研究成果给予了高度评价，并邀请他加入自己的研究团队。应明生教授随后在牛津大学攻读博士学位，并在2000年毕业。他的博士论文题为《进程代数中的拓扑理论》，在该领域做出了开创性的贡献。
2001年，应明生教授回国加入清华大学计算机系，并开始了对量子计算的研究。他是国内最早从事量子计算理论研究的学者之一，也是国际上最有影响力的量子计算理论家之一。
他提出了一种基于代数方法的量子程序设计语言，可以方便地描述和分析复杂的量子算法和协议；他建立了一种基于Floyd-Hoare逻辑的量子程序公理语义，可以用来证明量子程序的部分正确性和完全正确性，并证明了其相对完备性；他还开发了一种基于互模拟关系的量子程序等价性和近似等价性判定方法，可以用来优化和比较不同的量子程序。
他提出了一种基于稳定模型语义和环绕原理的一阶逻辑片段，可以用来有效地处理不确定性和非单调性问题；他还研究了基于方向关系的空间推理方法，可以用来处理扩展对象之间的定性位置关系。
他在量子程序设计语言、量子程序验证、量子程序优化等方面取得了重要成果，并与姚期智教授合作开发了一种基于进程代数的量子程序设计语言QPL。他还在量子程序的Floyd-Hoare逻辑方面做出了突破性的工作，证明了其相对完备性，并提出了一种基于Hoare三元组的量子程序验证方法。
03
先驱者：推动我国量子力学的发展
2022年，清华大学成立了量子软件研究中心，旨在推动量子软件技术的发展和创新，并培养量子软件领域的人才。应明生教授受聘为该中心的首任主任，负责制定中心的发展规划和科研方向，并组织开展相关项目和合作。该中心将与清华大学量子信息中心、交叉信息研究院等相关单位紧密合作，共同打造成为世界一流的量子软件研究和教育基地。
从江西到清华，他以扎实的数学功底、敏锐的科学洞察力、勇于创新的精神，在计算机科学的多个领域做出了卓越的贡献。他不仅在国际上享有盛誉，也为国内的量子信息科学的发展和人才培养做出了重要的推动。他是中国计算机科学界的一面旗帜，也是中国量子软件事业的领军人物。
