當前位置: 首頁>>科技處學術講座>>正文

科技處學術講座(第二十四期)暨資訊理論壇第九場學術報告

2018年09月29日 15:03  點擊:[]

  時間:2018929日下午3  

  地點:信息工程學院網絡安全實驗室(410

 

報告人簡介:

   林惠民,男,漢族,194711月出生,福建省福州市人,計算機軟體與理論專家。現任中國科學院軟體研究所研究員、博士生導師,軟體研究所學術委員會主任,福建省院士專家交流協會副會長。2003 年至今任國際信息處理聯合會第一技術委員會(計算機科學基礎)委員(中國代表)。現任著名國際期刊Theoretical Computer Science Information and Computation 編委。

林惠民院士是在國際上有影響的計算機科學家。他長期從事電腦程式的形式語義學及形式化方法的研究。設計並實現了通用進程代數驗證工具PAM/VPAM,對這類工具的發展產生了重要影響。與Hennessy教授合作提出並獨立發展了「符號互模擬」理論,解決了傳統並發計算模型對大量實際應用不能有效模擬的問題,爲在計算機上對通信並發進程進行推理和驗證提供了理論依據。提出移動並發計算模型π-演算強、弱互模擬的完備證明系統和唯一不動點歸納法,解決了π-演算的有窮公理化問題。1999年被評爲「國家級有突出貢獻的中青年專家」。曾獲1996年中國科學院自然科學獎一等獎和1999年國家自然科學獎二等獎等獎項。

  1999年當選中國科學院院士。

  歡迎廣大師生屆時光臨!  

                                 信息工程學院

                                 2018928

上一條:科技處學術講座(第二十五期)高溫超導電性機理研究進展 下一條:科技處學術講座(第二十二、二十三期)暨資訊理論壇第八場學術報告

關閉


南阳生发大學科技處 版權所有 1999-2019 地址:南阳生发教育園區129號 当彩票托真实经历