林惠民 | |
---|---|
出生 | 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)
生命科學和醫學學部
地學部
信息技術科學部
技術科學部
外籍院士