• 应明生 ，男 ，1964年05月出生 ，任职于清华大学信息科学技术学院计算机科学与技术系智能技术与系统国家重点实验室 ，博士生导师，教授
• 主要研究领域为：量子计算、程序设计语言的语义学、人工智能中的逻辑

• 2018年，量子程序验证
• 2017年，Q|SI＞:一个量子程序设计环境

• 1978.09--1981.07，江西师范学院
• 芬兰Turku计算机科学中心，境外访学经历
• 德国慕尼黑大学，境外访学经历
• 法国巴黎第六(居里夫妇)大学，境外访学经历
• 意大利Salerno大学，境外访学经历

• 2016.11-----，中科院，软件所，学术副所长(现任)
• 2008-----，《Artificial Intelligence Journal》，编委(现任)
• 1998.02-----，清华大学，计算机科学与技术系智能技术与系统国家重点实验室，教授;博士生导师(现任)
• 1996.12--1998.01，南京航空航天大学，计算机科学与工程系，教授(曾任)
• 1989.08--1996.11，江西师范大学，数学系，讲师;教授(曾任)
• 1985.06--1989.07，抚州师范专科学校，数学系，教师;讲师(曾任)
• 1981.08--1985.05，江西省宜黄县中学，教师
• 《自动化学报》，编委(现任)
• 中国系统工程学会，模糊系统与数学专业委员会，理事长;主任(现任)
• 《Fuzzy Sets and Systems》，编委(现任)
• 查看更多>>

• 被中国科学院授予“中国科学院院士候选人”荣誉
• 被教育部授予“长江学者特聘教授”荣誉
• 被授予“国家杰出青年科学基金”荣誉
• 被教育部授予“跨世纪优秀人才培养计划”荣誉
• 被人事部授予“中青年有突出贡献专家”荣誉

• 2008，国家自然科学二等奖
• 2004，教育部自然科学一等奖
• 1994，中国青年科技奖