林惠民 计算机软件与理论专家，长期从事计算机程序的形式语义学及形式化方法的研究。1947年11月13日生于福建福州。1982年毕业于福州大学计算机科学系，1986年获中国科学院软件研究所博士学位。1999年当选为中国科学院院士.
计算机软件与理论专家，长期从事计算机程序的形式语义学及形式化方法的研究。1947年11月13日生于福建福州。1982年毕业于福州大学计算机科学系，1986年获中国科学院软件研究所博士学位。1999年当选为中国科学院院士.
- 联系方式：
- 手机号码：
- 联系邮箱：
- 【点此】微信联系
邀请讲课
13810808675
详细介绍
计算机软件与理论专家，长期从事计算机程序的形式语义学及形式化方法的研究。1947年11月13日生于福建福州。1982年毕业于福州大学计算机科学系，1986年获中国科学院软件研究所博士学位。1999年当选为中国科学院院士.
