時間：2018年9月29日下午3點
地點：信息工程學院網絡安全實驗室（410）
報告人簡介：
林惠民，男，漢族，1947年11月出生,福建省福州市人，計算機軟體與理論專家。現任中國科學院軟體研究所研究員、博士生導師，軟體研究所學術委員會主任，福建省院士專家交流協會副會長。2003 年至今任國際信息處理聯合會第一技術委員會（計算機科學基礎）委員（中國代表）。現任著名國際期刊Theoretical Computer Science 和Information and Computation 編委。
林惠民院士是在國際上有影響的計算機科學家。他長期從事電腦程式的形式語義學及形式化方法的研究。設計並實現了通用進程代數驗證工具PAM/VPAM，對這類工具的發展產生了重要影響。與Hennessy教授合作提出並獨立發展了「符號互模擬」理論，解決了傳統並發計算模型對大量實際應用不能有效模擬的問題，爲在計算機上對通信並發進程進行推理和驗證提供了理論依據。提出移動並發計算模型π-演算強、弱互模擬的完備證明系統和唯一不動點歸納法，解決了π-演算的有窮公理化問題。1999年被評爲「國家級有突出貢獻的中青年專家」。曾獲1996年中國科學院自然科學獎一等獎和1999年國家自然科學獎二等獎等獎項。
1999年當選中國科學院院士。
歡迎廣大師生屆時光臨！
信息工程學院
2018年9月28日
