芒果视频下载

網站(zhan)分類
登錄 |    

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

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

人(ren)物名片

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

人物(wu)履(lv)歷

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

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

1978年02月(yue) - 1982年02月(yue),就讀于福(fu)州大學計算機系,并(bing)獲得計算機軟件專業學士(shi)學位(wei)。

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

1986年06月,留(liu)在(zai)中國(guo)科學院軟件研(yan)究(jiu)所工作,歷任助理(li)研(yan)究(jiu)員、副研(yan)究(jiu)員、研(yan)究(jiu)員、博(bo)士生(sheng)導師。

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

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

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

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

榮譽成就

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

1999年(nian),榮獲“國(guo)家(jia)(jia)級有突出貢獻的中(zhong)青年(nian)專家(jia)(jia)”稱(cheng)號、“國(guo)家(jia)(jia)自然(ran)科(ke)學獎(jiang)二等獎(jiang)”。

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

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