热门问题
时间线
聊天
视角
林惠民
来自维基百科，自由的百科全书
Remove ads
林惠民（1947年11月13日—），男，福建福州人，中國計算機科學家、計算機軟件與理論專家，中國科學院軟件研究所研究員，長期從事計算機程序的形式語義學及形式化方法的研究。
生平
1947年生於福建省福州市，1982年畢業於福州大學計算機科學系。1986年獲中國科學院軟件研究所博士學位，1987年愛丁堡大學博士後研究，1999年當選為中國科學院院士。[1]
參考文獻
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads