林惠民
外观
![本页使用了标题或全文手工转换](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
林惠民 | |
---|---|
出生 | 1947年11月13日![]() |
国籍 | ![]() |
母校 | 福州大学 |
职业 | 计算机科学家 |
林惠民(1947年11月13日—),男,福建福州人,中国计算机科学家、计算机软件与理论专家,中国科学院软件研究所研究员,长期从事计算机程序的形式语义学及形式化方法的研究。
生平
[编辑]1947年生于福建省福州市,1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所博士学位,1987年爱丁堡大学博士后研究,1999年当选为中国科学院院士。[1]
参考文献
[编辑]- ^ 院士信息·信息技术科学部·林惠民. 中国科学院学部与院士. (原始内容存档于2013-10-02).
|
|
|
|