林惠民 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 林惠民.

林惠民

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

林惠民
出生1947年11月13日
 中华民国福建省福州市
国籍 中华人民共和国
母校福州大学
职业计算机科学家

林惠民(1947年11月13日),男,福建福州人,中国计算机科学家、计算机软件与理论专家,中国科学院软件研究所研究员,长期从事计算机程序的形式语义学及形式化方法的研究。

生平

1947年生于福建省福州市,1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所博士学位。1999年当选为中国科学院院士。[1]

参考文献

  1. ^ 院士信息·信息技术科学部·林惠民. 中国科学院学部与院士. (原始内容存档于2013-10-02). 
{{bottomLinkPreText}} {{bottomLinkText}}
林惠民
Listen to this article