打开主菜单

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

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

生平编辑

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

参考文献编辑