芒果视频下载

網站(zhan)分類
登錄 |    

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

本文章由注冊用戶 氤氳少女 上傳提供 0
林惠民
林惠民,畢業于福州大學,計算機軟件與理論專家,中國科學院院士。長期從事計算機程序的形式語義學及形式化方法研究,現任中國科學院軟件研究所研究員、博士生導師,曾獲 “國家級有突出貢獻的中青年專家”、“國家自然科學獎二等獎”等榮譽。

人物名片(pian)

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

人物履歷

1972年12月(yue),擔任(ren)八一磷肥廠工人。

1975年,八一磷肥廠開辦 “七二一”工人大學(xue),負責(ze)教數學(xue)。

1978年(nian)02月 - 1982年(nian)02月,就讀(du)于(yu)福州大學計算機(ji)系,并獲得(de)計算機(ji)軟(ruan)件專業學士學位。

1982年(nian)02月(yue) - 1986年(nian)06月(yue),就讀于中(zhong)國科(ke)學院軟件研究所,并(bing)獲(huo)得(de)計算機(ji)科(ke)學理論(lun)專業(ye)博(bo)士(shi)學位。

1986年06月,留在中國(guo)科學院軟件研(yan)究所工作,歷任助理研(yan)究員(yuan)(yuan)、副(fu)研(yan)究員(yuan)(yuan)、研(yan)究員(yuan)(yuan)、博士(shi)生導(dao)師(shi)。

1986年(nian)09月 - 1987年(nian)12月,在英國愛(ai)丁堡(bao)大學計算機(ji)科(ke)學基礎實驗室從事博士后研究。

1990年(nian)04月 - 1993年(nian)03月,擔任英國薩(sa)塞克斯大學(University of Sussex)研究院(yuan)。

1999年11月,當選為中國(guo)科(ke)學院院士。同(tong)年,擔任中國(guo)科(ke)學院軟(ruan)件所計算機科(ke)學國(guo)家重點實驗室主任。

2008年,當選為第一屆中國計算機學會(hui)會(hui)士。

榮譽(yu)成就

1996年,榮獲“中(zhong)國科學院自然科學獎(jiang)一等獎(jiang)”。

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

1999年11月,當選為中國(guo)科學院(yuan)(yuan)院(yuan)(yuan)士(shi)。

標簽: 科學家 計算機
網站提醒和聲明
本站(zhan)為注(zhu)冊用戶提供信息(xi)存儲空間(jian)服(fu)務,非“MAIGOO編(bian)輯(ji)上(shang)傳(chuan)提供”的(de)文章/文字均是注(zhu)冊用戶自主發布上(shang)傳(chuan),不代表本站(zhan)觀點,版權歸原(yuan)作(zuo)者所有(you),如(ru)有(you)侵權、虛假信息(xi)、錯誤信息(xi)或任何問題,請及時聯系我們(men)(men),我們(men)(men)將(jiang)在第一時間(jian)刪除或更正。 申請刪除>> 糾錯>> 投訴侵權>> 網(wang)頁(ye)上相關信息的知識產權(quan)歸網(wang)站(zhan)方所(suo)有(包括但不限于文字、圖(tu)片(pian)、圖(tu)表、著作權(quan)、商(shang)標權(quan)、為用戶提供的商(shang)業信息等),非經許可不得抄襲(xi)或使用。
提交說明: 快速提交發布>> 查看提交幫助>> 注冊登錄>>