跳至內容

林惠民

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
林惠民
出生1947年11月13日
 中華民國福建省福州市
國籍 中華人民共和國
母校福州大學
職業電腦科學家

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

生平

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

參考文獻

  1. ^ 院士信息·信息技术科学部·林惠民. 中國科學院學部與院士. (原始內容存檔於2013-10-02).