跳转到内容

林惠民

本页使用了标题或全文手工转换
维基百科,自由的百科全书
林惠民
出生1947年11月13日
 中华民国福建省福州市
国籍 中华人民共和国
母校福州大学
职业计算机科学家

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

生平

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

参考文献

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