氢原子百科 
应明生，1964年5月出生于江西宜黄。[1]教授。[2]现任中国科学院软件研究所学术副所长，清华大学计算机系教授、博士生导师。[3]
1981年，应明生在江西省任宜黄县中学教师，四年后进入抚州师范专科学校教数学。[1]1989年8月，应明生担任江西师范大学数学系讲师，于1992年被聘为教授。[1]1996年12月，应明生任南京航空航天大学计算机科学与工程系教授，其后于1998年2月任清华大学计算机科学与技术系智能技术与系统国家重点实验室任教授。[1]2010年11月，应明生与冯元、段润尧共同提出了一种刻画量子进程等价性的互模拟关系，并证明了这一关系在各种进程构造符作用下的同余性，彻底解决了量子进程代数研究的最关键问题之一。[6]2016年，应明生担任中国科学院软件研究所学术副所长，组建量子软件研究队伍。[1]2022年1月15日，应明生受聘为清华大学计算机系量子软件研究中心主任。[7]应明生主要研究应明生主要研究量子计算、程序设计语言的语义学、人工智能中的逻辑，[2]在著名国际期刊和会议发表一百多篇论文，[8]代表著作有《Topology in Process Calculus》《Foundations of Quantum Programming》等。[4][5]
应明生曾获江西省教委科技成果一等奖、中国青年科技奖、中国国家杰出青年科学基金、入选中华人民共和国教育部跨世纪优秀人才培养计划、中华人民共和国教育部自然科学一等奖、中国国家自然科学二等奖等荣誉奖项。[1][2]2023年8月31日，应明生入选中国科学院院士增选有效候选人名单。[3]
早期经历
工作经历
1981年，应明生在江西省任宜黄县中学教师，四年后进入抚州师范专科学校教数学。[1]1989年8月，应明生担任江西师范大学数学系讲师，于1992年被聘为教授，[1]次年，获江西省教委科技成果一等奖。[1]
1994年，应明生被中华人民共和国人事部批准为中青年有突出贡献专家，获第4届中国青年科技奖。[1]
1996年12月，应明生任南京航空航天大学计算机科学与工程系教授。第二年，应明生获中国国家杰出青年科学基金，入选中华人民共和国教育部跨世纪优秀人才培养计划。1998年2月，应明生到清华大学计算机科学与技术系智能技术与系统国家重点实验室任教授。[1]
2004年，应明生因面向复杂特征的形式化方法及其逻辑基础获中华人民共和国教育部自然科学一等奖。[2]2008年，应明生因非经典计算的形式化模型与逻辑基础获中国国家自然科学二等奖。[2]
2010年11月，应明生与冯元、段润尧合作的论文Bisimulation for quantum processes被第38届ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages（POPL）接收。该论文提出了一种刻画量子进程等价性的互模拟关系，并证明了这一关系在各种进程构造符作用下的同余性，彻底解决了量子进程代数研究的最关键问题之一，对设计复杂量子协议的验证方法以及建立量子通信并发理论具有重大意义。[6]
2016年，应明生开始担任中国科学院软件研究所学术副所长，组建量子软件研究队伍。[1]
2022年1月15日，清华大学计算机系成立量子软件研究中心，应明生受聘为主任。[7]
2023年8月19日，中国计算机学会（CCF）主办的第二届CCF量子计算大会暨量子计算产业峰会在合肥举行，应明生在学术主论坛上作了主旨报告。[9]同年8月31日，应明生入选中国科学院院士增选有效候选人名单。[3]
社会任职
| 时间 | 职位 |
|---|---|
| 1981年8月—1985年5月 | 江西省宜黄县中学教师 |
| 1985年6月—1989年7月 | 抚州师范专科学校数学系教师、讲师 |
| 1989年8月—1996年11月 | 江西师范大学数学系讲师、教授 |
| 1996年12月—1998年1月 | 南京航空航天大学计算机科学与工程系教授 |
| 1998年2月 | 清华大学计算机科学与技术系智能技术与系统国家重点实验室教授 |
| 2008年 | 《Artificial Intelligence Journal》编委[2] |
| 2016年 | 中国科学院软件研究所学术副所长 |
| 2022年1月15日 | 清华大学（计算机系）量子软件研究中心主任[7] |
| — | 中华人民共和国教育部“长江学者奖励计划”特聘教授[8] |
| — | 智能技术与系统（中国）国家重点实验室学术委员会主任[8] |
| — | 华东师范大学上海市高可信计算重点实验室学术委员会成员[8] |
| — | 复旦大学兼职教授[8] |
| — | 悉尼科技大学教授[10] |
| — | 国际模糊系统学会（IFSA）副主席 |
| — | 法国巴黎第六(居里夫妇)大学访问学者 |
| — | 意大利Salerno大学与Napoli大学访问学者 |
| — | 德国慕尼黑大学与Mannheim大学访问学者 |
| — | 芬兰Turku计算机科学中心访问学者 |
| — | 中国系统工程学会模糊系统与数学专业委员会理事长 |
| — | 《Fuzzy Sets and Systems》编委 |
| — | 《Journal of Computer Science and Technology》编委 |
| — | 《自动化学报》编委 |
| — | 《ACM Transactions on Quantum Computing》主编[11] |
| 参考资料：[1] | |
研究方向
主要成就
截止2019年9月，应明生在著名国际期刊和会议发表一百多篇论文，[8]曾以计算机系教授的身份在物理最高期刊PRL发表了7篇论文。应明生在面向复杂特征的形式化方法以及基于量子逻辑的计算理论等方面做出了突出贡献，提出了基于正交模格格值量子逻辑的自动机理论。应明生在形式化方法方面的工作曾多次被国际同行在公开发表的文献中长篇评述，引发了国际学者的一系列研究工作，被国际出版的15部专著引用，并国际学者申请项目开展有关研究。[1]
主要英文论文
| 时间 | 论文名 | 刊物 | 作者 |
|---|---|---|---|
| 1989年 | On a class of non-causal triangle functions | Mathematical Proceedings of Cambridge Philosophical Society | M. S. Ying |
| 1991年 | Deduction theorem for many-valued inference | Zeitschr. f. math. Logik und Grundlagen d. Math. | M. S. Ying |
| 1992年 | Compactness、the Lowenheim-Skolem property and the direct product of lattices of truth values | Zeitschr. f. math. Logik und Grundlagen d. Math. | M. S. Ying |
| The fundamental theorem of ultraproduct in Pavelka's logic | Zeitschr. f. math. Logik und Grundlagen d. Math. | M. S. Ying | |
| 1994年 | A logic for approximate reasoning | The Journal of Symbolic Logic | M. S. Ying |
| 1996年 | When is the ideal completion of abstract basis algebraic | Theoretical Computer Science | M. S. Ying |
| 1999年 | A shorter proof to uniqueness of solutions of equations | Theoretical Computer Science | M. S. Ying |
| 2000年 | Approximate reasoning based on similarity | Mathematical Logic Quarterly | L. Biacino、G. Gerla and M. S. Ying |
| Weak confluence and -inertness | Theoretical Computer Science | M. S. Ying | |
| 2001年 | M. Wirsing、Recursive equations in higher-order process calculi | Theoretical Computer Science | M. S. Ying |
| 2002年 | A lattice-theoretical model of consequences、conjectures and hypotheses | Artificial Intelligence | M. S. Ying and H. Q. WangM. S. Ying |
| Additive models for probabilistic processes | Theoretical Computer Science | M. S. Ying | |
| Bisimulation indexes and their applications | Theoretical Computer Science | M. S. Ying | |
| 2003年 | Region connection calculus：its models and composition table | Artificial Intelligence | S. J. Li and M. S. Ying |
| Reasoning about probabilistic sequential programs in a probabilistic logic | Acta Informatica | M. S. Ying | |
| 2004年 | Characterization of quantum automata | Theoretical Computer Science | D. W. Qiu and M. S. Ying |
| Generalized region calculus | Artificial Intelligence | S. J. Li and M. S. Ying | |
| 2005年 | The existence of quantum entanglement catalysts | IEEE Transactions on Information Theory | X. M. Sun、R. Y. Duan、and M. S. Ying |
| Catalyst-assisted probabilistic entanglement transformations | IEEE Transactions on Information Theory | Y. Feng、R. Y. Duan and M. S. Ying | |
| Knowledge transformation and fusion for system diagnosis | Artificial Intelligence | M. S. Ying | |
| Pi-calculus with noisy channels | Acta Informatica | M. S. Ying | |
| A theory of computation based on quantum logic (I) | Theoretical Computer Science | M. S. Ying | |
| 2006年 | Similarity-based supervisory control of discrete-event systems | IEEE Transactions on Automatic Control | Y. Z. Cao and M. S. Ying |
| Partial recovery of quantum entanglement | IEEE Transactions on Information Theory | R. Y. Duan、Y. Feng and M. S. Ying | |
| Identification and distance measures of measurement apparatus | Physical Review Letters | Z. F. Ji、Y. Feng、R. Y. Duan and M. S. Ying | |
| Linguistic quantifiers modeled by Sugeno integrals | Artificial Intelligence | M. S. Ying | |
| 2007年 | Strongly decomposable voting rules on multi-attribute domains | in：Proceedings、22nd National Conference on Artificial Intelligence (AAAI'07) | L. R. Xia、J. Lang and M. S. Ying |
| Entanglement is not necessary for perfect discrimination between unitary operations | Physical Review Letters | R. Y. Duan、Y. Feng and M. S. Ying | |
| Probabilistic bisimulations for quantum processes | Information and Computation | Y. Feng、R. Y. Duan、Z. F. Ji and M. S. Ying | |
| Proof rules for correctness of quantum programs | Theoretical Computer Science | Y. Feng、R. Y. Duan、Z. F. Ji and M. S. Ying | |
| Quantum logic and automata theory (Invited Chapter), | in：D. Gabbay、D. Lehmann and K. Engesser (eds)、Handbook of Quantum Logic and Quantum Structures、Elsevier | M. S. Ying | |
| 2008年 | Reasoning with cardinal directions：An efficient algorithm | in：Proc. of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08) | X. T. Zhang、W. M. Liu、S. J. Li and M. S. Ying |
| Soft constraint abstraction based on semiring homomorphism | Theoretical Computer Science | S. J. Li and M. S. Ying | |
| Local distinguishability of multipartite unitary operations | Physical Review Letters | R. Y. Duan、Y. Feng and M. S. Ying | |
| Y. Feng and M. S. Ying、Parameter estimation of quantum channels | IEEE Transactions on Information Theory | Z. F. Ji、G. M. Wang、R. Y. Duan, | |
| 2009年 | Perfect distinguishability of quantum operations | Physical Review Letters | R. Y. Duan、Y. Feng and M. S. Ying |
| Distinguishability of quantum states by separable operations | IEEE Transactions on Information Theory | R. Y. Duan、Y. Feng、X. Yu and M. S. Ying | |
| An algebra of quantum processes | ACM Transactions on Computational Logic | M. S. Ying、Y. Feng、R. Y. Duan and Z. F. Ji | |
| An algebraic language for distributed quantum computing | IEEE Transactions on Computers | M. S. Ying and Y. Feng | |
| 2010年 | Quantum computation、quantum theory and AI (Invited Field Review) | Artificial Intelligence | M. S. Ying |
| Decidable fragments of first-order language under stable model semantics and circumscription | Proc. of the 24th AAAI Conference on Artificial Intelligence (AAAI-10) | H. Zhang and M. S. Ying | |
| Reasoning about cardinal directions between extended objects | Artificial Intelligence | W. M. Liu、X. T. Zhang、S. J. Li and M. S. Ying | |
| Predicate transformer semantics of quantum programs (Invited Chapter)、in S. Gay and I. Mackie (eds.)、Semantic Techniques in Quantum Computation | Cambridge University Press | M. S. Ying、R. Y. Duan、Y. Feng and Z. F. Ji | |
| 2012年 | Bisimulation for Quantum Processes | Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages | Yyuan Feng、RunYao Duan、MingSheng Ying[12] |
| 参考资料：[2] | |||
主要中文论文
书籍作品
| 书籍封面 | 出版时间 | 书籍名 | 出版社 |
|---|---|---|---|
 | 2013年4月 | 《Topology in Process Calculus》 | Springer-Verlag New York[4] |
 | 2016年5月 | 《Foundations of Quantum Programming》（《量子编程基础》） | Morgan Kaufmann[5][18] |
 | — | 《模型检测量子系统：原理与算法》（合著） | 机械工业出版社[19] |
荣誉奖项
| 获奖时间 | 主办方 | 奖项名称 | 获奖情况 |
|---|---|---|---|
| 1993年 | 江西省教委科技成果一等奖 | 获奖 | |
| 1994年 | 第4届中国青年科技奖 | 获奖 | |
| 1997年 | 中国国家杰出青年科学基金 | 入选中华人民共和国教育部跨世纪优秀人才培养计划 | 获奖 |
| 2004年 | 中华人民共和国教育部 | 自然科学一等奖 | 获奖 |
| 2008年 | 中国国家自然科学二等奖 | 获奖 | |
| 不详 | 澳大利亚悉尼科技大学工学与信息技术学院量子计算与智能系统中心（QCIS）杰出教授 | 获奖 | |
| 不详 | 中青年有突出贡献专家 | 获奖 | |
| 不详 | 王选奖 | 获奖 |
参考资料：[1][2]
人物评价
参考资料 19
- 中国理论计算机第一人——来自宜黄的传奇科学家应明生 — 宜黄县图书馆
- 应明生 — 清华大学计算机科学与技术系
- 东华理工大学汤彬、校友李子颖和应明生入选2023年院士增选有效候选人名单 — 东华理工大学新闻网
- Topology in Process Calculus — 豆瓣
- Foundations of Quantum Programming — 豆瓣
- 我系量子计算与信息研究组论文被POPL国际会议接收 — 清华大学计算机科学与技术系
- 计算机系成立量子软件研究中心 — 清华大学计算机科学与技术系
- 9月18日:应明生 — 软件工程学院
- 量子计算产业峰会在合肥举行 — 新华网
- Academy of Mathematics and Systems Science, CAS — 中国科学院
- 应明生 — 南京大学计算机软件新技术国家重点实验室
- https://d.wanfangdata.com.cn/conference/ChZDb25mZXJlbmNlTmV3UzIwMjMwOTAxEiA1MmE3ZDBkYjczYjRjMmQxZDU0YjllNTdlN2Y3YjU3YxoIazFvZ21kN2k%3D
- https://d.wanfangdata.com.cn/periodical/ChlQZXJpb2RpY2FsQ0hJTmV3UzIwMjMwODMxEg1reHRiMTk5NjExMDAzGgh1OXprZTZ3cA%3D%3D
- https://d.wanfangdata.com.cn/periodical/ChlQZXJpb2RpY2FsQ0hJTmV3UzIwMjMwODMxEg5qc2p4YjE5OTcwMjAxNRoIdTl6a2U2d3A%3D
- https://d.wanfangdata.com.cn/periodical/ChlQZXJpb2RpY2FsQ0hJTmV3UzIwMjMwODMxEg96Z2pja3gyMDAzMDQwMTIaCHU5emtlNndw
- https://d.wanfangdata.com.cn/periodical/ChlQZXJpb2RpY2FsQ0hJTmV3UzIwMjMwODMxEhJ6Z2pzanhodHgyMDE3MDEwMDQaCHU5emtlNndw
- https://d.wanfangdata.com.cn/periodical/ChlQZXJpb2RpY2FsQ0hJTmV3UzIwMjMwODMxEg1yanhiMjAxODA0MDE3Ggh1OXprZTZ3cA%3D%3D
- 量子编程基础 — 豆瓣
- 模型检测量子系统:原理与算法 — 豆瓣