時(shí)間：2018年9月29日下午3點(diǎn)  

地點(diǎn)：信息工程學(xué)院網(wǎng)絡(luò)安全實(shí)驗(yàn)室（410）

報(bào)告人簡(jiǎn)介：

林惠民，男，漢族，1947年11月出生,福建省福州市人，計(jì)算機(jī)軟件與理論專(zhuān)家?，F(xiàn)任中國(guó)科學(xué)院軟件研究所研究員、博士生導(dǎo)師，軟件研究所學(xué)術(shù)委員會(huì)主任，福建省院士專(zhuān)家交流協(xié)會(huì)副會(huì)長(zhǎng)。2003 年至今任國(guó)際信息處理聯(lián)合會(huì)第一技術(shù)委員會(huì)（計(jì)算機(jī)科學(xué)基礎(chǔ)）委員（中國(guó)代表）?，F(xiàn)任著名國(guó)際期刊Theoretical Computer Science 和Information and Computation 編委。

林惠民院士是在國(guó)際上有影響的計(jì)算機(jī)科學(xué)家。他長(zhǎng)期從事計(jì)算機(jī)程序的形式語(yǔ)義學(xué)及形式化方法的研究。設(shè)計(jì)并實(shí)現(xiàn)了通用進(jìn)程代數(shù)驗(yàn)證工具PAM/VPAM，對(duì)這類(lèi)工具的發(fā)展產(chǎn)生了重要影響。與Hennessy教授合作提出并獨(dú)立發(fā)展了“符號(hào)互模擬”理論，解決了傳統(tǒng)并發(fā)計(jì)算模型對(duì)大量實(shí)際應(yīng)用不能有效模擬的問(wèn)題，為在計(jì)算機(jī)上對(duì)通信并發(fā)進(jìn)程進(jìn)行推理和驗(yàn)證提供了理論依據(jù)。提出移動(dòng)并發(fā)計(jì)算模型π-演算強(qiáng)、弱互模擬的完備證明系統(tǒng)和唯一不動(dòng)點(diǎn)歸納法，解決了π-演算的有窮公理化問(wèn)題。1999年被評(píng)為“國(guó)家級(jí)有突出貢獻(xiàn)的中青年專(zhuān)家”。曾獲1996年中國(guó)科學(xué)院自然科學(xué)獎(jiǎng)一等獎(jiǎng)和1999年國(guó)家自然科學(xué)獎(jiǎng)二等獎(jiǎng)等獎(jiǎng)項(xiàng)。

   1999年當(dāng)選中國(guó)科學(xué)院院士。

   歡迎廣大師生屆時(shí)光臨！  

                                  信息工程學(xué)院

                                  2018年9月28日