應(yīng)明生，男，清華大學(xué)教授。1964年5月出生；1981年7月畢業(yè)于江西師范學(xué)院撫州分院數(shù)學(xué)科。曾在撫州師范�？茖W(xué)校數(shù)學(xué)系、江西師范大學(xué)數(shù)學(xué)系、南京航空航天大學(xué)計算機科學(xué)與工程系任教。1992年在江西師范大學(xué)評聘為教授，1994年被人事部批準為中青年有突出貢獻專家，獲第4屆中國青年科技獎，1997年獲國家杰出青年科學(xué)基金，入選教育部跨世紀優(yōu)秀人才培養(yǎng)計劃。先后在法國巴黎第六(居里夫婦)大學(xué)、意大利Salerno大學(xué)與Napoli大學(xué)、德國慕尼黑大學(xué)與Mannheim大學(xué)、芬蘭Turku計算機科學(xué)中心作訪問研究。現(xiàn)為清華大學(xué)計算機科學(xué)與技術(shù)系智能技術(shù)與系統(tǒng)國家重點實驗室教授、博士生導(dǎo)師、國際模糊系統(tǒng)學(xué)會（IFSA）副主席、中國系統(tǒng)工程學(xué)會模糊系統(tǒng)與數(shù)學(xué)專業(yè)委員會理事長、《Fuzzy Sets and Systems》、《Journal of Computer Science and Technology》、《自動化學(xué)報》編委。
　　目前主要從事形式化方法、量子計算與量子信息、計算機科學(xué)與人工智能中的邏輯學(xué)、模糊邏輯等方面的科研工作。在Springer出版社出版專著Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs、在國際刊物(如Acta Informatica、Artificial Intelligence、IEEE Transactions、Journal of Symbolic Logic、Theoretical Computer Science)發(fā)表一系列論文。