热门问题
时间线
聊天
视角

林惠民

来自维基百科,自由的百科全书

Remove ads

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

事实速览 林惠民, 出生 ...

生平

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

參考文獻

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads