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