林惠民
林惠民 | |
---|---|
出生 | 1947年11月13日 中華民國福建省福州市 |
國籍 | 中華人民共和國 |
母校 | 福州大學 |
職業 | 計算機科學家 |
林惠民(1947年11月13日—),男,福建福州人,中國計算機科學家、計算機軟件與理論專家,中國科學院軟件研究所研究員,長期從事計算機程序的形式語義學及形式化方法的研究。
生平[編輯]
1947年生於福建省福州市,1982年畢業於福州大學計算機科學系。1986年獲中國科學院軟件研究所博士學位,1987年愛丁堡大學博士後研究,1999年當選為中國科學院院士。[1]
參考文獻[編輯]
- ^ 院士信息·信息技术科学部·林惠民. 中國科學院學部與院士. (原始內容存檔於2013-10-02).
|
|
|
|