林惠民

林惠民(9張)

1947年11月，林惠民出生於福建省福州市。

1960年，從福州市鼓樓第一中心小學畢業，進到福州第十八中學讀初中。

1963年秋—1964年夏，在福建省福州第三中學上高一，其中1963年參加福州市初中數學競賽，1964年參加福州市高中數學競賽，都拿了二等獎。

1966年，高中畢業，恰逢“文化大革命”，高考取消，他上山下鄉。

1969年，來到閩北山區建寧縣插隊，和農民一起種田掙工分。

1972年12月，因為照顧獨生子女政策，得以回到父母的身邊，成了福州最大的重工業工廠——八一磷肥廠的一名工人，由於户口問題沒得到解決，只能在各個車間打雜，大多是三班倒的重體力活。户口“解凍”後，被正式分配到了機修車間，當銑工，負責加工各種齒輪以及在工件上開槽 ^[3]  。

1975年，八一磷肥廠開辦 “七二一”工人大學，林惠民負責教數學。

1977年，恢復高考，林惠民報考福州大學數學系。

1978年初，拿到的錄取通知顯示是福州大學數學系軟件專業 ^[6]  。

1978年02月—1982年02月，就讀於福州大學計算機系，並獲得計算機軟件專業學士學位。

1982年02月—1986年06月，就讀於中國科學院軟件研究所，並獲得計算機科學理論專業博士學位。

1986年06月，留所工作，歷任中國科學院軟件研究所助理研究員、副研究員（1988年01月—1990年03月）、研究員（1993年晉升）、博士生導師（1994年被聘） ^[7]  。

1986年09月—1987年12月，在英國愛丁堡大學計算機科學基礎實驗室從事博士後研究。

1990年04月—1993年03月，擔任英國薩塞克斯大學（University of Sussex）Research Fellow。

1999年11月，當選為中國科學院院士；同年擔任中國科學院軟件所計算機科學國家重點實驗室主任 ^[4]  。

2008年，當選為第一屆中國計算機學會會士 ^[5]  。

林惠民設計並實現了通用進程代數驗證工具PAM/VPAM，對這類工具的發展產生了重要影響。與英國Hennessy教授合作提出，並獨立發展了“符號互模擬”理論，解決了傳統併發計算模型對大量實際應用不能有效模擬的問題，為在計算機上對通信併發進程進行推理和驗證提供了理論依據。提出併發計算模型之一π-演算弱互模擬的完備證明系統和唯一不動點歸納法，解決了π-演算的有窮公理化問題 ^[4]  。

Lin Huimin, He Zhenrong, Du Daizian,e al. Studies on Nitrogenase of Blue-Green Algae[M]. Springer Netherlands, 1984.

Lin Huimin. A Predicate Spatial Logic and Model Checking for Mobile Processes[C]// Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Springer-Verlag, 2004.

Lin Huimin. A graphical μ-calculus and local model checking[J]. Journal of Computer Science and Technology, 2002, 17(6):665-671. ^[7] 

2019年5月，林惠民專門致信閩江學院軟件學院，分享在第二屆數字中國建設峯會的見聞與感受，並指導軟件學院人才培養與創新工作。他指出，培養軟件人才應該有利於引領高層次、高素質、高水平的創新發展；有利於助推“新福建”經濟發展；有利於推動科學技術的進步。在實現這一辦學目標的過程中，要將創新精神貫穿到人才培養中，思常人之所未思，行常人之所未行，創新力的培養，重在創新思維，貴在創新實踐，核心在創新精神 ^[9]  。

2017年4月19日，林惠民在福建省福州第一中學高中部報告廳做題為《計算與智能》的專題講座 ^[10]  。

2017年4月21日，林惠民應邀訪問中國科學院福建物質結構研究所，併為研究生們作題為《計算與智能》的專題報告 ^[11]  。

2018年9月29日，林惠民做客寧夏大學“賀蘭山學術論壇暨信息論壇”，並從計算、智能、倫理三方面展開講解 ^[12]  。

2019年6月14日，林惠民參加由中國科學院科普論壇主辦的“科學在這裏”系列報告會，並做題為《計算與智能》的專題講座 ^[13]  。

林惠民在中國科學院大學雁棲湖校區的教1—209教室來給研一的學生上《併發數據結構與多核編程》課程 ^[6]  。

林惠民的父親母親都是福州市的普通職工，他是家裏的獨子。父母一直很重視他的教育，可他天性頑皮。儘管也熱愛學習，成績拔尖，但並不把讀書太當回事，從學生時代就被貼上了“只專不紅”的標籤。解放前夕，他的親戚中有人跟隨國民黨去了台灣，於是，他就成了社會關係複雜的孩子 ^[3]  。

林惠民學風嚴謹，勇於開拓創新，取得了一系列國際領先水平的成果，受到國際同行的公認，是在國際上有影響的計算機科學家 ^[2]  。（福州大學數學與計算機科學學院評）

林惠民長期從事計算機程序，特別是併發程序的形式語義學及形式化方法的研究，他在進程代數的驗證工具、消息傳送進程的語義理論和π-演算的公理化等方向上取得了突破性進展 ^[11]  。（中國科學院福建物質結構研究所所長曹榮評）