林惠民 | |
---|---|
出生 | 1947年11月13日 中华民国福建省福州市 |
国籍 | 中华人民共和国 |
母校 | 福州大学 |
职业 | 计算机科学家 |
林惠民(1947年11月13日—),男,福建福州人,中国计算机科学家、计算机软件与理论专家,中国科学院软件研究所研究员,长期从事计算机程序的形式语义学及形式化方法的研究。
1947年生于福建省福州市,1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所博士学位,1987年爱丁堡大学博士后研究,1999年当选为中国科学院院士。[1]
2008年 | |
---|---|
2009年 | |
2010年 | |
2011年 | |
2012年 | |
2013年 | |
2014年 | |
2015年 | |
2016年 | |
2017年 | |
2018年 | |
2019年 | |
2020年 | |
中国科学院信息技术科学部院士 | |||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
技术科学部 |
| ||||||||||||||||||||
信息技术科学部 |
| ||||||||||||||||||||
注:姚期智于2004年被选为中国科学院外籍院士,2015年放弃美国籍,加入中华人民共和国国籍,2017年转为中国科学院院士。 | |||||||||||||||||||||
数学物理学部 | |
---|---|
化学部 |
|
生命科学和医学学部 | |
地学部 | |
信息技术科学部 | |
技术科学部 | |
外籍院士 |