林惠民

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

林惠民(1947年11月13日),计算机科学家。生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位

简介[编辑]

林惠民博士为计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究,现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。[1]

参考文献[编辑]