林惠民 | |
---|---|
出生 | 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年
技术科学部
1955年
1980年
1991年
1993年
1995年
1997年
1999年
2001年
2003年
信息技术科学部
2005年
2007年
2009年
2011年
2013年
2015年
2017年
2019年
2021年
2023年
注:姚期智于2004年被选为中国科学院外籍院士,2015年放弃美国籍,加入中华人民共和国国籍,2017年转为中国科学院院士。
数学物理学部
化学部
- 卢嘉锡(厦门,1955)
- 傅鹰(闽侯,1955)
- 虞宏正(闽侯,1955)
- 庄长恭(泉州,1955)
- 蔡镏生(泉州,1957)
- 田昭武(福州,1980)
- 黄维垣(莆田,1980)
- 蔡启瑞(同安,1980)
- 陈茹玉(闽候,1980)
- 卢佩章(永定,1980)
- 张乾二(惠安,1991)
- 陈俊武(长乐,1991)
- 梁敬魁(福州,1993)
- 林尚安(永定,1993)
- 卓仁禧(厦门,1997)
- 侯虞钧(福州,1997)
- 吴新涛(石狮,1999)
- 林国强(福清,2001)
- 江龙(建瓯,2001)
- 侯建国(福清,2003)
- 洪茂椿(莆田,2003)
- 陈懿(福州,2005)
- 田中群(厦门,2005)
- 姚建年(晋江,2005)
- 张俐娜(光泽,2011)
生命科学和医学学部
地学部
信息技术科学部
技术科学部
外籍院士