1982年畢業(yè)于福州大學(xué)計(jì)算機(jī)科學(xué)系。1986年獲中國(guó)科學(xué)院軟件研究所博士學(xué)位。中國(guó)科學(xué)院軟件研究所研究員。長(zhǎng)期從事計(jì)算機(jī)程序的形式語義學(xué)及形式化方法的研究。設(shè)計(jì)并實(shí)現(xiàn)了通用進(jìn)程代數(shù)驗(yàn)證工具PAM/VPAM，對(duì)這類工具的發(fā)展產(chǎn)生了重要影響。與英國(guó)Hennessy教授合作提出，并獨(dú)立發(fā)展了“符號(hào)互模擬”理論，解決了傳統(tǒng)并發(fā)計(jì)算模型對(duì)大量實(shí)際應(yīng)用不能有效模擬的問題，為在計(jì)算機(jī)上對(duì)通信并發(fā)進(jìn)程進(jìn)行推理和驗(yàn)證提供了理論依據(jù)。提出并發(fā)計(jì)算模型之一π-演算弱互模擬的完備證明系統(tǒng)和唯一不動(dòng)點(diǎn)歸納法，解決了π-演算的有窮公理化問題。1999年當(dāng)選為中國(guó)科學(xué)院院士。
林惠民 - 人物簡(jiǎn)介
林惠民，1947年11月生于福建省福州市，研究員，博士生導(dǎo)師。1986年在中國(guó)科學(xué)院軟件研究所獲博士學(xué)位；曾先后在英國(guó)愛丁堡大學(xué)和薩塞克斯大學(xué)工作。1999年被評(píng)為“國(guó)家級(jí)有突出貢獻(xiàn)的中青年專家”，同年11月當(dāng)選為中國(guó)科學(xué)院院士。主要研究方向包括：通迅并發(fā)系統(tǒng)的理論、工具及應(yīng)用、模型檢測(cè)、代數(shù)規(guī)約、程序模塊化理論。
他長(zhǎng)期從事并發(fā)理論及形式化方法的研究。他設(shè)計(jì)并實(shí)現(xiàn)的交互式證明系統(tǒng)PAM是世界上第一個(gè)通用的進(jìn)程代數(shù)驗(yàn)證工具。與國(guó)際同行合作提出、并獨(dú)立發(fā)展了傳值并發(fā)進(jìn)程的“符號(hào)互模擬”理論；解決了π-演算和時(shí)間自動(dòng)機(jī)的有窮公理化問題。這些成果已為國(guó)內(nèi)外同行在公開發(fā)表的文獻(xiàn)中所廣泛引用，推動(dòng)了這些領(lǐng)域的發(fā)展。他的工作獲得1996年度中國(guó)科學(xué)院自然科學(xué)獎(jiǎng)一等獎(jiǎng)和1999年度國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng)。
林惠民研究員，1947年11月13日生于福建省福州市。1982年2月在福州大學(xué)計(jì)算機(jī)系計(jì)算機(jī)軟件專業(yè)獲得學(xué)士學(xué)位；1986年6月在中國(guó)科學(xué)院軟件研究所獲得計(jì)算機(jī)科學(xué)理論專業(yè)博士學(xué)位。林惠民研究員長(zhǎng)期從事計(jì)算機(jī)程序，特別是并發(fā)程序的形式語義學(xué)及形式化方法的研究。他在進(jìn)程代數(shù)的驗(yàn)證工具、消息傳送進(jìn)程的語義理論和π-演算的公理化等方向上取得了突破性進(jìn)展，其主要貢獻(xiàn)包括：1996年林獲中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)（唯一獲獎(jiǎng)人）。他學(xué)風(fēng)嚴(yán)謹(jǐn)，勇于開拓創(chuàng)新，取得了一系列國(guó)際領(lǐng)先水平的成果，受到國(guó)際同行的公認(rèn)，是在國(guó)際上有影響的計(jì)算機(jī)科學(xué)家。
林惠民 - 重要貢獻(xiàn)
林惠民研究員長(zhǎng)期從事計(jì)算機(jī)程序，特別是并發(fā)程序的形式語義學(xué)及形式化方法的研究。他在進(jìn)程代數(shù)的驗(yàn)證工具、消息傳送進(jìn)程的語義理論和π-演算的公理化等方向上取得了突破性進(jìn)展，其主要貢獻(xiàn)包括：
1.設(shè)計(jì)并實(shí)現(xiàn)了世界上第一個(gè)通用的進(jìn)程代數(shù)驗(yàn)證工具
進(jìn)程代數(shù)的實(shí)際應(yīng)用離不開計(jì)算機(jī)輔助工具的支持。八十年代后期，一批進(jìn)程代數(shù)驗(yàn)證工具應(yīng)運(yùn)而生（如CWB,PSF,LOTOSphere等），其共同局限性是每一工具只適用于某一特定的進(jìn)程演算。這種局限性妨礙了驗(yàn)證工具的推廣應(yīng)用。如何克服這種局限性是當(dāng)時(shí)國(guó)際進(jìn)程代數(shù)界面臨的一個(gè)重大挑戰(zhàn)�！ ∵@些驗(yàn)證工具無法做到通用，根本原因在于缺乏既能描述不同進(jìn)程演算的語義，又能為計(jì)算機(jī)所理解的通用語言。經(jīng)過對(duì)不同演算的反復(fù)比較，并考慮到在計(jì)算機(jī)上實(shí)現(xiàn)的可能性，林提煉出了一個(gè)元語言，用它可以描述各種進(jìn)程演算的公理化語義，并且具有良好的可讀性。在此基礎(chǔ)上實(shí)現(xiàn)了通用的交互式進(jìn)程代數(shù)驗(yàn)證工具PAM[1]，只要將這個(gè)元語言描述的進(jìn)程演算定義輸入PAM，就得到該演算的證明器。PAM可同時(shí)接受多個(gè)不同的演算，對(duì)每個(gè)演算又可生成多個(gè)證明窗口。這是世界上第一個(gè)通用的進(jìn)程代數(shù)證明工具�！ �1993年林又利用當(dāng)時(shí)剛剛?cè)〉玫年P(guān)于消息傳送進(jìn)程證明系統(tǒng)的理論結(jié)果，對(duì)PAM加以擴(kuò)充，研制成迄今世界上唯一能對(duì)付消息傳送進(jìn)程的驗(yàn)證工具VPAM[2]。
2.與Hennessy教授合作提出、并獨(dú)立發(fā)展了“符號(hào)互模擬”理論，在消息傳送進(jìn)程研究中取得突破性進(jìn)展。
并發(fā)理論研究的核心問題是進(jìn)程間的通訊（消息傳送）�？墒窃趥鹘y(tǒng)進(jìn)程代數(shù)的理論研究中，為了數(shù)學(xué)處理的方便，通訊被簡(jiǎn)化為單純的同步。從消息傳送進(jìn)程到單純同步演算的過渡由一轉(zhuǎn)換完成，其核心步驟是把輸入動(dòng)作翻譯成遍歷數(shù)據(jù)域的選擇算子。當(dāng)數(shù)據(jù)域無窮時(shí),這是個(gè)無窮算子,而在實(shí)際問題中數(shù)據(jù)域往往是無窮的。這種無窮算子的引入使得進(jìn)程代數(shù)的很多理論結(jié)果無法付諸應(yīng)用，耗費(fèi)大量人力物力開發(fā)研制的驗(yàn)證工具也難以用于解決實(shí)際問題。
林惠民與英國(guó)Sussex大學(xué)的Hennessy教授合作，提出了“符號(hào)互模擬理論”[3]，其基本出發(fā)點(diǎn)是不依賴上述轉(zhuǎn)換而直接建立消息傳送進(jìn)程的語義理論。這一理論將輸入視為一種抽象的動(dòng)作，而不是將其實(shí)例化，從而避免了因數(shù)據(jù)域無窮而帶來的無窮性。這里要克服的主要困難是在執(zhí)行抽象輸入動(dòng)作后，進(jìn)程項(xiàng)可能含有自由變量，即成為開項(xiàng)，而傳統(tǒng)進(jìn)程代數(shù)理論所使用的語義模型只能解釋不含自由變量的閉項(xiàng)。為此[3]中引入了“符號(hào)遷移圖”作為開項(xiàng)的語義模型，在此基礎(chǔ)上建立了符號(hào)互模擬理論。在[4]中又進(jìn)一步建立了消息傳送進(jìn)程互模擬的相對(duì)完備證明系統(tǒng)。
3.徹底解決了π-演算的有窮公理化問題
為了描述移動(dòng)式通訊,ACM圖林獎(jiǎng)獲得者M(jìn)ilner教授與其合作者于1989年正式提出π-演算（也稱“移動(dòng)進(jìn)程演算”）。π-演算研究中的一個(gè)基本問題是刻劃進(jìn)程的互模擬等價(jià)關(guān)系。π-演算的最初文獻(xiàn)中只給出常（ground）強(qiáng)互模擬的公理系統(tǒng)。四年以后,π-演算的提出者之一發(fā)表了一般強(qiáng)互模擬的完備公理系統(tǒng)，但沒能解決更為困難的弱互模擬的公理化問題。這一問題成為π-演算研究中一個(gè)激烈競(jìng)爭(zhēng)的熱點(diǎn)。
林針對(duì)π-演算建立了符號(hào)互模擬的理論，在95年5月第六屆國(guó)際軟件開發(fā)的理論與實(shí)踐會(huì)議上發(fā)表了π-演算遲、早兩種弱互模擬的完備證明系統(tǒng)[7]。在同年8月美國(guó)費(fèi)城舉行的第六屆國(guó)際并發(fā)理論會(huì)議上國(guó)際同行引用這一成果時(shí)指出：“時(shí)至今日,π-演算的遲弱互模擬的公理化只在[Lin95]中借助于符號(hào)互模擬的概念得到�！保ㄒ姼郊耙们闆r摘錄”）
為了對(duì)π-演算中遞歸定義的無窮進(jìn)程進(jìn)行推理，在第六屆國(guó)際并發(fā)理論會(huì)議上林在π-演算中引入“進(jìn)程抽象”的構(gòu)造，提出了適用于π-演算的唯一不動(dòng)點(diǎn)歸納法[8]，并進(jìn)一步于98年7月在第三十五屆ICALP大會(huì)上發(fā)表了有窮控制π-演算弱互模擬的完備證明系統(tǒng)[9]。這一結(jié)果徹底解決了π-演算的有窮公理化問題，使我國(guó)在這一競(jìng)爭(zhēng)極為激烈的研究方向上處于國(guó)際領(lǐng)先地位。
此外，近年來提供費(fèi)用邀請(qǐng)林去作專題學(xué)術(shù)講座的還有包括法國(guó)INRIA、巴黎高師、英國(guó)愛丁堡大學(xué)、美國(guó)賓州大學(xué)等十余所歐、美高等學(xué)府和科研機(jī)構(gòu)。
林惠民 - 人物采訪
主持人：林老師,您是軟件專家，你會(huì)不會(huì)玩游戲呢？為什么？
林老師：不會(huì)，游戲軟件它有一個(gè)特點(diǎn)，首先它是非常好的一個(gè)計(jì)算機(jī)設(shè)備，非�？斓挠�(jì)算機(jī)運(yùn)行速度，它可以把圖像搞得非常漂亮，非常引人入勝。然后計(jì)算機(jī)的反應(yīng)速度遠(yuǎn)遠(yuǎn)比人要快，所以它可以編得讓你，你總是斗不過計(jì)算機(jī)。那么編游戲軟件的人，他主要的任務(wù)就是要編得使這個(gè)游戲引人入勝，而且要一步一步讓你越玩越想玩，這是搞游戲軟件的人的活兒，因?yàn)樗窟@個(gè)吃飯，他靠這個(gè)賣錢。問題是您能有多少時(shí)間拿出來玩？在好幾年以前，就有從英國(guó)、美國(guó)、德國(guó)都有一兩個(gè)小孩玩到二十四小時(shí)，通宵達(dá)旦，舍不得睡覺，就是入迷到那個(gè)地步了，結(jié)果出來以后整個(gè)人就跨掉了。年輕人沒有自制力，所以就很容易在里面就出不來，吃飯都放不開。
主持人：他在大學(xué)選擇的是計(jì)算機(jī)專業(yè)，應(yīng)該是更能去玩這個(gè)游戲，或者說他要去設(shè)計(jì)了，他可能更明白這里面的東西，怎么會(huì)放棄呢？
林老師：學(xué)軟件以后，就不大愛玩計(jì)算機(jī)游戲了。為什么？游戲軟件是搞程序搞軟件的人編出來的。你自己搞軟件你就曉得，這些游戲都是我們同行設(shè)計(jì)出來的，編出來的。你在那兒玩游戲玩得很起勁，覺得自己很本事，能夠把什么打倒，把什么東西吃掉，實(shí)際上都是被那些設(shè)計(jì)軟件的人，他想好的圈套，你在里面兜，怎么兜都是被人捉弄的感覺，就是被自己的同行捉弄了。
主持人：剛才我們聽了林老師說了這么多對(duì)于網(wǎng)絡(luò)游戲的看法，同學(xué)們有沒有什么問題想跟林老師來交流的？
學(xué)生：林老師您好！我想問您一個(gè)問題，就是說我將來致力于去研究游戲軟件，如果現(xiàn)在不花時(shí)間在這個(gè)游戲上面，去了解它有哪些長(zhǎng)處，哪些缺點(diǎn)，到我將來想去編游戲軟件的時(shí)候，我對(duì)這個(gè)玩家喜歡哪些方面，不喜歡哪些方面，一無所知，就是說我會(huì)做起來很困難，您能幫我解答一下這個(gè)問題嗎？怎么權(quán)衡利弊？
林老師：我想這是你真正要做設(shè)計(jì)游戲軟件和玩游戲是不一樣的兩件事，就像你天天看電視，不等于你將來準(zhǔn)備造電視。我想到將來，你首先得把做軟件，怎么搞圖像，圖像處理，圖形處理的方法你得學(xué)會(huì)，然后你要把編軟件、寫程序這些基本功學(xué)會(huì)。要學(xué)會(huì)這些就需要你，這是在大學(xué)高年級(jí)學(xué)的，那么又需要你中學(xué)的這些圖形圖像，很多是數(shù)學(xué)的東西，你要這些都一層層弄下來，然后等你將來畢業(yè)了，比如到一個(gè)搞游戲軟件的公司去，那時(shí)候你真正是去生產(chǎn)軟件，和這個(gè)玩是很不一樣的事。
林惠民 - 學(xué)術(shù)經(jīng)歷
目前主要研究方向
長(zhǎng)期從事計(jì)算機(jī)程序，特別是并發(fā)程序的形式語義學(xué)及形式化方法的研究。
學(xué)習(xí)經(jīng)歷
1982年2月在福州大學(xué)計(jì)算機(jī)系計(jì)算機(jī)軟件專業(yè)獲得學(xué)士學(xué)位；
1986年6月在中國(guó)科學(xué)院軟件研究所獲得計(jì)算機(jī)科學(xué)理論專業(yè)博士學(xué)位。
工作經(jīng)歷
1986年9月-1987年12月英國(guó)愛丁堡大學(xué)計(jì)算機(jī)科學(xué)基礎(chǔ)實(shí)驗(yàn)室
1988年1月-1990年3月中國(guó)科學(xué)院軟件研究所副研究員專
1990年4月-1993年4月英國(guó)Sussex大學(xué)ResearchFellow200092
1993年中國(guó)科學(xué)院軟件研究所研究員kaoyangj
1994年中國(guó)科學(xué)院軟件研究所博士生導(dǎo)師112室
1999年中國(guó)科學(xué)院軟件所計(jì)算機(jī)科學(xué)開放研究實(shí)驗(yàn)室主任
社會(huì)兼職
1990年《軟件學(xué)報(bào)》編委
1994年中國(guó)計(jì)算機(jī)學(xué)會(huì)理論計(jì)算機(jī)科學(xué)專業(yè)委員會(huì)副理事長(zhǎng)
1997年中國(guó)科技大學(xué)研究生院兼職教授
1999年《計(jì)算機(jī)學(xué)報(bào)》中、英文版編委
研究成果與獲獎(jiǎng)情況
他在進(jìn)程代數(shù)的驗(yàn)證工具、消息傳送進(jìn)程的語義理論和π-演算的公理化等方向上取得了突破性進(jìn)展，其主要貢獻(xiàn)包括：1996年林獲中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)（唯一獲獎(jiǎng)人）。他學(xué)風(fēng)嚴(yán)謹(jǐn)，勇于開拓創(chuàng)新，取得了一系列國(guó)際領(lǐng)先水平的成果，受到國(guó)際同行的公認(rèn)，是在國(guó)際上有影響的計(jì)算機(jī)科學(xué)家。
林惠民 - 代表論著
1.H.Lin,PAM:AProcessAlgebraManipulator.FormalMethodsinSystemDesign,Vol.7,No.3,pp.243-259.1995.KluwerAcademicPublishers.
2.H.Lin,AVerificationToolforValue-PassingProcessAlgebras.IFIPTransactionsC-16:ProtocolSpecification,TestingandVerification,pp.79-92.1993.North-Holland.
3.M.HennessyandH.Lin,SymbolicBisimulations.TheoreticalComputerScience,Vol.138,pp.353-389.1995.Elsevier.
4.M.HennessyandH.Lin,ProofSystemsforMessage-PassingProcessAlgebras.FormalAspectsofComputing.Vol.8,pp397-407.1996.Springer-Verlag.
5.H.Lin,SymbolicTransitionGraphwithAssignment,Proc.7thInt.Conf.onConcurrencyTheory,Pisa,Italy,August26-29,1996.LectureNotesinComputerScienceVol.1119,pp.50-56.Springer-Verlag.
6.H.Lin,"On-the-flyInstantiation"ofValue-passingProcesses.Proc.JointInternationalConferencesonFormalDescriptionTechniquesforDistributedSystemsandCommunicationProtocolsandProtocolSpecification,TestingandVerification,Paris,France,November1998.pp.215-230.KluwerAcademicPublishers.
7.H.Lin,CompleteInferenceSystemsforWeakBisimulationEquivalencesinthepi-Calculus.Proc.6thInternationalJointConferenceonTheoryandPracticeofSoftwareDevelopment,Aarhus,Denmark,May1995.LectureNotesinComputerScience,Vol.915,pp.187-201.Springer-Verlag.
8.H.Lin,UniqueFixpointInductionforMobileProcesses.Proc.6thInternationalConferenceonConcurrencyTheory.Philadelphia,U.S.A.,August1995.LectureNotesinComputerScience,Vol.962,pp.88-102.Springer-Verlag.
9.H.Lin,CompleteProofSystemsforObservationCongruencesinFiniteControlpi-Calculus.Proc.of25thInternationalColloquiumonAutomata,LanguagesandProgramming,Aalborg,Denmark,July1998.LectureNotesinComputerScienceVol.1443,pp.443-454.Springer-Verlag.
10.H.Lin,ProceduralImplementationofAlgebraicSpecifications.ACMTransactionsonProgrammingLanguagesandSystems,Vol.15,No.5,pp.876-895.1993.ACMPress.
林惠民 - 人物語錄
數(shù)學(xué)。這個(gè)名字不好。我念小學(xué)那個(gè)書叫算術(shù)，不叫數(shù)學(xué)，這是很有我們中國(guó)特色的，并且是跟計(jì)算機(jī)緊密聯(lián)系在一起的。算術(shù)就是它教你怎么做計(jì)算的辦法，比如算多位數(shù)乘法，那怎么做呢，你就有一套方法，你要背九九表，然后你就知道。比如說你是142乘上98，你就知道怎么對(duì)斜位，老師就教你這條規(guī)則了，個(gè)位跟個(gè)位乘，然后乘數(shù)的個(gè)位再跟被乘數(shù)的十位數(shù)乘，然后你要記住進(jìn)位，這些都是機(jī)械的規(guī)則，所謂機(jī)械的規(guī)則就是計(jì)算機(jī)能懂，計(jì)算機(jī)是機(jī)械的東西，它不像人一樣，有腦袋，那么聰明，計(jì)算機(jī)是很笨的，它只會(huì)做這些機(jī)械的事，你要把你要做的事情分解成非常機(jī)械的步驟告訴他它。所以你會(huì)做乘法，會(huì)做除法你就會(huì)編程序了。
覺得在中學(xué)甚至小學(xué)從事計(jì)算機(jī)教育是非常重要的事情，因?yàn)檎麄�(gè)社會(huì)將來都普及計(jì)算機(jī)，沒有一個(gè)人將來能夠離開計(jì)算機(jī)而生活，因?yàn)椴皇撬型瑢W(xué)將來都能夠到大學(xué)計(jì)算機(jī)系，即使上大學(xué)，也只有少量的到計(jì)算機(jī)系，所以中小學(xué)生的計(jì)算機(jī)教育普及工作極為重要，對(duì)整個(gè)社會(huì)的發(fā)展，將來非常重要，對(duì)學(xué)生將來畢業(yè)以后走向社會(huì)，能夠適應(yīng)新的信息社會(huì)的挑戰(zhàn)，這是關(guān)鍵的一步。至少我自己回想起來，越年輕的時(shí)候算法思想越好，思維方式越是適應(yīng)編程序，所以我剛才想到算術(shù)，我記得小時(shí)候?qū)W數(shù)學(xué)就是想怎么做，我怎么一步步把它做出來，那么到了中學(xué)以后，可能就有一些不一樣，中學(xué)就學(xué)代數(shù)、幾何，代數(shù)中國(guó)有傳統(tǒng)，幾何基本上是歐洲來的，它涉及到分析推理的那些訓(xùn)練，我的理解，幾何對(duì)我的訓(xùn)練，主要是訓(xùn)練我思維的嚴(yán)謹(jǐn)性，所以這個(gè)我想是一個(gè)事情的兩個(gè)方面。就是你有算法的思想，你怎么做，你一步一步做出來，把一個(gè)復(fù)雜的問題分解成機(jī)械的步驟。另外一個(gè)就是你要有嚴(yán)謹(jǐn)?shù)乃悸�，你分解完以后你�?yīng)該能夠做出來最后是對(duì)的。我覺得同學(xué)們編程序的時(shí)候，把自己盡量變得傻瓜一點(diǎn)兒，就跟計(jì)算機(jī)差不多一樣傻，你就能編好了。
有各方面的原因，一個(gè)就是從工作上，那我第一次出國(guó)，我當(dāng)時(shí)覺得可能英國(guó)人，西方人很了不起，現(xiàn)代的一些計(jì)算機(jī)這些理論都是他們研究出來的，所以我想他們應(yīng)該是很了不起的，好像比我們會(huì)怎么樣，比我們中國(guó)人可能腦袋里面什么東西，結(jié)構(gòu)不大一樣，是不是比我們豐富一些。但是跟他們接觸以后，我覺得也不是那樣，作為人來說，沒有什么大的差別。1987年底那時(shí)候我生父去世了，所以這對(duì)我觸動(dòng)很大，我想我應(yīng)該回來，我能做的事情帶回來一樣做。
林惠民 - 相關(guān)詞條
| 梁思禮 | 匡定波 | 李衍達(dá) | 雷嘯霖 | 林尊琪 |
| 干福熹 | 黃宏嘉 | 李啟虎 | 陸汝鈐 | 劉盛綱 |
| 郭雷 | 黃民強(qiáng) | 李未 | 侯洵 | 劉永坦 |
| 郭光燦 | 黃琳 | 簡(jiǎn)水生 | 李志堅(jiān) | 劉頌豪 |
| 高慶獅 | 何積豐 | 侯朝煥 | 林惠民 | 闕端麟 |
林惠民 - 參考資料
1、http://www.ios.ac.cn/viewArticle.action?articleId=122
2、http://hi.baidu.com/johnllon/blog/item/ea0a028d3314d311b31bba15.html
