林惠民

维基百科,自由的百科全书
跳到导航 跳到搜索
林惠民
出生 1947年11月13日
中華民國福建省福州市
国籍  中华人民共和国
母校 福州大学
职业 计算机科学家

林惠民(1947年11月13日)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。

生平[编辑]

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

参考文献[编辑]