安博电竞官网,FUN88注册,雷火最新网址

來源：互聯網

應明生，1964年5月出生于宜黃縣。教授。現任中國科學院軟件研究所學術副所長，清華大學計算機系教授、博士生導師。

1981年，應明生在江西省任宜黃縣中學教師，四年后進入撫州師范專科學校教數學。1989年8月，應明生擔任江西師范大學數學系講師，于1992年被聘為教授。1996年12月，應明生任南京航空航天大學計算機科學與工程系教授，其后于1998年2月任清華大學計算機科學與技術系智能技術與系統國家重點實驗室任教授。2010年11月，應明生與馮元、段潤堯共同提出了一種刻畫量子進程等價性的互模擬關系，并證明了這一關系在各種進程構造符作用下的同余性，徹底解決了量子進程代數研究的最關鍵問題之一。2016年，應明生擔任中國科學院軟件研究所學術副所長，組建量子軟件研究隊伍。2022年1月15日，應明生受聘為清華大學計算機系量子軟件研究中心主任。應明生主要研究應明生主要研究量子計算、程序設計語言的語義學、人工智能中的邏輯，在著名國際期刊和會議發表一百多篇論文，代表著作有《Topology in Process Calculus》《Foundations of Quantum Programming》等。

應明生曾獲江西省教委科技成果一等獎、中國青年科技獎、中國國家杰出青年科學基金、入選中華人民共和國教育部跨世紀優秀人才培養計劃、中華人民共和國教育部自然科學一等獎、中國國家自然科學二等獎等榮譽獎項。2023年8月31日，應明生入選中國科學院院士增選有效候選人名單。

人物經歷

早期經歷

應明生，1964年5月出生于宜黃縣。1981年7月，應明生畢業于江西師范大學撫州分院（原撫州師范專科學校，現東華理工大學）數學專業。

工作經歷

1981年，應明生在江西省任宜黃縣中學教師，四年后進入撫州師范專科學校教數學。1989年8月，應明生擔任江西師范大學數學系講師，于1992年被聘為教授，次年，獲江西省教委科技成果一等獎。

1994年，應明生被中華人民共和國人事部批準為中青年有突出貢獻專家，獲第4屆中國青年科技獎。

1996年12月，應明生任南京航空航天大學計算機科學與工程系教授。第二年，應明生獲中國國家杰出青年科學基金，入選中華人民共和國教育部跨世紀優秀人才培養計劃。1998年2月，應明生到清華大學計算機科學與技術系智能技術與系統國家重點實驗室任教授。

2004年，應明生因面向復雜特征的形式化方法及其邏輯基礎獲中華人民共和國教育部自然科學一等獎。2008年，應明生因非經典計算的形式化模型與邏輯基礎獲中國國家自然科學二等獎。

2010年11月，應明生與馮元、段潤堯合作的論文Bisimulation for quantum processes被第38屆ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages（POPL）接收。該論文提出了一種刻畫量子進程等價性的互模擬關系，并證明了這一關系在各種進程構造符作用下的同余性，徹底解決了量子進程代數研究的最關鍵問題之一，對設計復雜量子協議的驗證方法以及建立量子通信并發理論具有重大意義。

2016年，應明生開始擔任中國科學院軟件研究所學術副所長，組建量子軟件研究隊伍。

2022年1月15日，清華大學計算機系成立量子軟件研究中心，應明生受聘為主任。

2023年8月19日，中國計算機學會（中國計算機學會夏培肅獎）主辦的第二屆CCF量子計算大會暨量子計算產業峰會在合肥市舉行，應明生在學術主論壇上作了主旨報告。同年8月31日，應明生入選中國科學院院士增選有效候選人名單。

社會任職

科學研究

研究方向

應明生主要研究量子計算、程序設計語言的語義學、人工智能中的邏輯。

主要成就

截止2019年9月，應明生在著名國際期刊和會議發表一百多篇論文，曾以計算機系教授的身份在物理最高期刊PRL發表了7篇論文。應明生在面向復雜特征的形式化方法以及基于量子邏輯的計算理論等方面做出了突出貢獻，提出了基于正交模格格值量子邏輯的自動機理論。應明生在形式化方法方面的工作曾多次被國際同行在公開發表的文獻中長篇評述，引發了國際學者的一系列研究工作，被國際出版的15部專著引用，并國際學者申請項目開展有關研究。