林惠民

林惠民（1947年11月13日—），男，福建福州人，中國電腦科學家、電腦軟體與理論專家，中國科學院軟件研究所研究員，長期從事電腦程式的形式語意學及形式化方法的研究。

林惠民
出生	1947年11月13日 中華民國福建省福州市
國籍	中華人民共和國
母校	福州大學
職業	電腦科學家

生平

1947年生於福建省福州市，1982年畢業於福州大學計算機科學系。1986年獲中國科學院軟件研究所博士學位，1987年愛丁堡大學博士後研究，1999年當選為中國科學院院士。