歡迎訪問龍巖市科學技術協會網站! 2018年3月20日 星期二   在線投稿 設為主頁 加入收藏
首 頁 科協簡介 公告通知 重要新聞 科學普及 學會活動 科技人物 基層動態 政策法規 科普博覽 科普惠農 文件下載
j 龍巖市科學技術協會 >> 縐戞妧浜虹墿 關閉窗口
林惠民
發布人:admin 發布時間:2008/12/3 瀏覽次數:16160


      計算機軟件與理論專家。1947年11月13日生,福建福州人。1982年畢業于福州大學計算機科學系。1986年獲中國科學院軟件研究所計算機科學理論專業博士學位。中國科學院軟件研究所研究員。長期從事計算機程序的形式語義學及形式化方法的研究。設計并實現了通用進程代數驗證工具PAM/VPAM,對這類工具的發展產生了重要影響。與英國Hennessy教授合作提出,并獨立發展了“符號互模擬”理論,解決了傳統并發計算模型對大量實際應用不能有效模擬的問題,為在計算機上對通信并發進程進行推理和驗證提供了理論依據。提出并發計算模型之一π-演算弱互模擬的完備證明系統和唯一不動點歸納法,解決了π-演算的有窮公理化問題。1996年獲中國科學院自然科學一等獎(唯一獲獎人)。1999年當選為中國科學院院士。

福建龍巖市科學技術協會 版權所有  閩ICP備16038052號-1  訪問量:1876815
主辦:福建龍巖市科學技術協會  地址:龍巖大道1號市行政中心東附樓4層  郵編:364000
電話:0597-3213020  傳真:0597-3213011  電子信箱:[email protected]  技術支持:福建創高科技有限公司
嘉盛投资