林惠民-中國著名計算機軟件與理論專家介紹

本文章由注冊用戶氤氳少女上傳提供發(fā)布糾錯/刪除版權(quán)聲明 0

林惠民

林惠民，畢業(yè)于福州大學(xué)，計算機軟件與理論專家，中國科學(xué)院院士。長期從事計算機程序的形式語義學(xué)及形式化方法研究，現(xiàn)任中國科學(xué)院軟件研究所研究員、博士生導(dǎo)師，曾獲 “國家級有突出貢獻的中青年專家”、“國家自然科學(xué)獎二等獎”等榮譽。

人物名片

中文名林惠民
性別男
國籍中國
出生地福建省福州市
出生日期 1947年11月
畢業(yè)院校福州大學(xué)
職業(yè)職位中國科學(xué)院院士
主要成就 “國家級有突出貢獻的中青年專家”、“國家自然科學(xué)獎二等獎”

人物履歷

1972年12月，擔(dān)任八一磷肥廠工人。

1975年，八一磷肥廠開辦 “七二一”工人大學(xué)，負(fù)責(zé)教數(shù)學(xué)。

1978年02月 - 1982年02月，就讀于福州大學(xué)計算機系，并獲得計算機軟件專業(yè)學(xué)士學(xué)位。

1982年02月 - 1986年06月，就讀于中國科學(xué)院軟件研究所，并獲得計算機科學(xué)理論專業(yè)博士學(xué)位。

1986年06月，留在中國科學(xué)院軟件研究所工作，歷任助理研究員、副研究員、研究員、博士生導(dǎo)師。

1986年09月 - 1987年12月，在英國愛丁堡大學(xué)計算機科學(xué)基礎(chǔ)實驗室從事博士后研究。

1990年04月 - 1993年03月，擔(dān)任英國薩塞克斯大學(xué)（University of Sussex）研究院。

1999年11月，當(dāng)選為中國科學(xué)院院士。同年，擔(dān)任中國科學(xué)院軟件所計算機科學(xué)國家重點實驗室主任。

2008年，當(dāng)選為第一屆中國計算機學(xué)會會士。

榮譽成就

1996年，榮獲“中國科學(xué)院自然科學(xué)獎一等獎”。

1999年，榮獲“國家級有突出貢獻的中青年專家”稱號、“國家自然科學(xué)獎二等獎”。

1999年11月，當(dāng)選為中國科學(xué)院院士。

標(biāo)簽： 科學(xué)家計算機

關(guān)聯(lián)文章推薦

1 中國科學(xué)院院士名單歷年中國科學(xué)院新增院士名單

網(wǎng)站提醒和聲明

本網(wǎng)站為注冊用戶提供信息存儲空間服務(wù)。除Maigoo網(wǎng)官方發(fā)布內(nèi)容外，用戶自主上傳的文章、文字、圖片等均不代表本站立場，本站亦不主動修改編輯，不對其真實性、合法性、準(zhǔn)確性負(fù)責(zé)。如涉侵權(quán)、違法虛假等問題，權(quán)利人可通過平臺投訴并提交相關(guān)證明，平臺將依法履行通知和刪除義務(wù)。申請刪除>> 糾錯>> 投訴侵權(quán)>> 平臺自有內(nèi)容（文字、圖片、界面、榜單、商標(biāo)、LOGO 等）知識產(chǎn)權(quán)歸本站所有，未經(jīng)書面許可，禁止復(fù)制、轉(zhuǎn)載、商用。

提交說明：快速提交發(fā)布>> 查看提交幫助>> 注冊登錄>>

贊

踩

相關(guān)推薦

中國工程院院士名單大全歷年中國工程院院士增選院士名單

中國工程院（簡稱中工院）于1994年6月3日在北京成立，是中國工程技術(shù)界最高榮譽性、咨詢性學(xué)術(shù)機構(gòu)，國務(wù)院直屬事業(yè)單位。中國工程院院士每兩年增選一次，外籍院士增選與中國國內(nèi)院士增選同期進行，必須獲得不少于五位院士的提名，外籍院士如取得了中國國籍，可轉(zhuǎn)為本院院士。下面是編輯整理的中國工程院院士名單大全和歷年中國工程院院士增選院士名單匯總。

工程院院士科學(xué)家 ★★★

4.6w+ 127

中國科技獎項有哪些？5大國家科學(xué)技術(shù)獎項知識盤點

科技獎是對推動科學(xué)技術(shù)進步作出重要貢獻的集體和個人給予的一種獎勵，是對從事科學(xué)技術(shù)研究人員的肯定，也是國內(nèi)科學(xué)技術(shù)界的最高榮譽。今天就給大家介紹一下我國科學(xué)技術(shù)類獎項都有哪些。

會議/頒獎科學(xué)家

2.9w+ 37

太空探索的十大貢獻者世界著名天文學(xué)家有哪些

世界著名天文學(xué)家有哪些？說到天文學(xué)，對于大多數(shù)人來說都是個遙遠(yuǎn)的存在，天文學(xué)家更是神秘莫測，那你知道世界著名天文學(xué)家有哪些呢？本文就為大家?guī)砹颂仗剿鞯氖筘暙I者，其中包括：尼古拉·哥白尼、威廉·赫歇爾、約翰尼斯·開普勒等等，一起來了解下這些世界聞名的天文學(xué)家吧。

科學(xué)家世界名人 ★★★

1.1w+ 50

諾貝爾獎獲獎人名單歷屆諾貝爾獎獲得者名單一覽表

諾貝爾獎（The Nobel Prize）是以瑞典著名化學(xué)家、硝化甘油炸藥發(fā)明人阿爾弗雷德·貝恩哈德·諾貝爾的部分遺產(chǎn)作為基金在1900年創(chuàng)立的，獎項分設(shè)物理、化學(xué)、生理學(xué)或醫(yī)學(xué)、文學(xué)、和平和經(jīng)濟學(xué)六個獎項。那么2019諾貝爾獎獲獎?wù)叨加心男┠?？?901年諾貝爾獎開始頒發(fā)至今，諾貝爾獎獲得者都有哪些？哪個國家獲得諾貝爾獎最多？諾貝爾獎獎金有多少呢？下面就跟著Maigoo君一起來看看吧！

諾貝爾獎科學(xué)家 ★★★

19w+ 360

國家自然科學(xué)基金是什么國家自然基金項目類別有哪些

國家自然科學(xué)基金作為我國支持基礎(chǔ)研究的主渠道之一，基金面向全國人才，重點資助具有良好研究條件、研究實力的高等院校和科研機構(gòu)中的研究人員。2021年國家自然科學(xué)基金共接收276715項各類申請項目，對45681項申請進行資助，作為中國如此重要的一個資助基金，本期專題，就跟隨小編一起來深入地了解一下它吧！

科學(xué)家中國

2.6w+ 125