曾經一個時代，高考這座獨木橋難倒不少英雄漢。
一些學習尖生因為一次考試失利而被大專錄取，從專科學校開始了踏入高等教育的艱辛之路。
在江西撫州曾經有一所專科學校叫臨川師範學校，後改為撫州師範學校，再後來在1977年更名為江西師範學院（撫州分院），這個時候學校開始招生專科師範生。第二年，這個學校迎來了一個宜黃學子。
這個優秀的數學專業大專生在這讀了三年，17歲時從學校畢業。畢業一年後，他的母校又改名為撫州師範專科學校。而他離開校園後，分配到了家鄉的宜黃一中當中學教師。
在家鄉做中學數學老師將近四年中，他沒有忘記對專業知識的自學與鑽研。
終於經過自己的不懈努力，這位術業有專攻的人在21歲時回到撫州師範專科學校工作，當了名大專教師。
師專四年過去，由於科研成果突出，25歲的他被調到江西師範大學，擔任大學教師。
在江西師大埋頭苦幹了7年，他取得了更加優異的學術成績。其中，30歲時他獲得第4屆中國青年科技獎，並被批准為中青年有突出貢獻專家。
32歲那年11月，他從南昌轉到南京工作，在當時的重點大學、211高校——南京航空航天大學擔任教授。 33歲時，他又獲得國家傑出青年科學基金，入選教育部跨世紀優秀人才培養計劃。
在南航工作了15個月後，作為年輕有為、出類拔萃的青年學者，34歲的他憑藉實力，進入清華大學擔任教授。
在清華園的十年半時間裡，他擔任計算機科學與技術系教授、博士生導師，一邊從事教學，一邊主要進行形式化方法、量子計算與量子信息、人工智能基礎理論等方面的科研工作。
任職清華大學期間，他成為了教育部“長江學者獎勵計劃”特聘教授、智能技術與系統國家重點實驗室學術委員會主任。
那個時候，他也贏得了不少榮譽：40歲時，他憑藉科研成果“面向複雜特徵的形式化方法及其邏輯基礎”獲得教育部自然科學一等獎；41歲時，他與人合作的項目成果榮獲國家科學技術獎自然科學一等獎；43歲時， 他的研究成果獲中國計算機學會王選獎一等獎（部委級一等獎）。
這個在量子計算、程序設計語言的語義學, 人工智能中的邏輯領域取得原創性成就的大牛就是應明生教授。
44歲那年9月，應明生教授去澳洲，擔任悉尼科技大學傑出教授，還擔任量子軟件與信息中心研究主任；同年，他與人共同完成的“非經典計算的形式化模型與邏輯基礎”獲得國家自然科學二等獎，並擔任Artificial Intelligence Journal（《人工智能》雜誌）編委/副主編。
46歲那年1月，他成為悉尼科技大學理學博士，同時還兼任國際模糊系統協會副主席。
54歲那年11月至今，應明生教授進入中國科學院軟件研究所擔任學術副所長，組建一支精幹的量子軟件研究隊伍，併兼任計算機科學國家重點實驗室教授、博導及復旦大學兼職教授等職。
從潛心研究終有大作為的專科生成長為一名國際量子程序領域的著名學者，他在計算機軟件與理論方面成果豐碩，尤其是在量子程序驗證、量子計算領域取得了令人矚目的成就。
應教授的研究興趣是量子計算、程序設計理論和人工智能的基礎研究。近10年來，他致力於系統地建立量子程序設計的理論基礎，包括能夠發揮量子計算特有優勢的程序設計模型、量子程序的分析與驗證方法。他不僅在進程代數中的拓撲方面，提出了進程代數中的一種拓撲理論，描述了併發系統的近似正確性與進化過程；而且在量子程序的Floyd-Hoare邏輯方面，他為量子程序建立了包括部分正確性與完全正確性的Floyd-Hoare型邏輯，特別是證明了其（相對）完備性。
近年來，他承擔了量子程序設計理論和方法方面相關多項部委級、國家級課題，著有《過程演算中的拓撲》、《量子編程基礎》兩本專著，在著名國際期刊和會議發表100多篇論文，為學科出力甚多。
目前，應教授主要從事形式化方法、量子計算與量子信息、計算機科學與人工智能中的邏輯學、模糊邏輯等方面的科研工作。
1、師資--清華大學計算機科學與技術系
2、華東師範大學軟件工程學院
3、6月20日 應明生：Reasoning about parallel quantum programs_華東師範大學-免費考研網 2017-12-03
4、9月18日：應明生--2019-09-11
閱讀更多 益知快訊 的文章
