林惠民檢視原始碼討論檢視歷史

計算機軟件與理論專家。1947年11月13日生於福建福州。1982年畢業於福州大學計算機科學系。1986年獲中國科學院軟件研究所博士學位。中國科學院軟件研究所研究員。1999年當選為中國科學院院士. 　　長期從事計算機程序的形式語義學及形式化方法的研究。設計並實現了通用進程代數驗證工具PAM/VPAM，對這類工具的發展產生了重要影響。與英國Hennessy教授合作提出，並獨立發展了「符號互模擬」理論，解決了傳統並發計算模型對大量實際應用不能有效模擬的問題，為在計算機上對通信並發進程進行推理和驗證提供了理論依據。提出並發計算模型之一π-演算弱互模擬的完備證明系統和唯一不動點歸納法，解決了π-演算的有窮公理化問題。