主 講 人：林惠民院士 中國(guó)科學(xué)院軟件所

地　　點(diǎn)：圖書(shū)館明德廳

主 辦 方：福州大學(xué)文化素質(zhì)教育基地

開(kāi)始時(shí)間：2016-10-20 16:00

結(jié)束時(shí)間：2016-10-20 17:00

主辦：福州大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院

          福州大學(xué)軟件學(xué)院

承辦：福州大學(xué)圖書(shū)館

主講人簡(jiǎn)介：1977年入福州大學(xué)計(jì)算數(shù)學(xué)專(zhuān)業(yè)學(xué)習(xí)，1982年2月在福州大學(xué)計(jì)算機(jī)系計(jì)算機(jī)軟件專(zhuān)業(yè)獲得學(xué)士學(xué)位；1986年6月在中國(guó)科學(xué)院軟件研究所獲得計(jì)算機(jī)科學(xué)理論專(zhuān)業(yè)博士學(xué)位。1997年當(dāng)選為中科院院士。林惠民研究員長(zhǎng)期從事計(jì)算機(jī)程序，特別是并發(fā)程序的形式語(yǔ)義學(xué)及形式化方法的研究。他在進(jìn)程代數(shù)的驗(yàn)證工具、消息傳送進(jìn)程的語(yǔ)義理論和π-演算的公理化等方向上取得了突破性進(jìn)展，其主要貢獻(xiàn)包括：1996年獲中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)（唯一獲獎(jiǎng)人）。他學(xué)風(fēng)嚴(yán)謹(jǐn)，勇于開(kāi)拓創(chuàng)新，取得了一系列國(guó)際領(lǐng)先水平的成果，受到國(guó)際同行的公認(rèn)，是在國(guó)際上有影響的計(jì)算機(jī)科學(xué)家。

講座介紹：電子計(jì)算機(jī)的誕生和廣泛應(yīng)用，從根本上改變了人類(lèi)生活和工作的方式。和人類(lèi)創(chuàng)造的其它工具不同，計(jì)算機(jī)能夠代替人從事腦力勞動(dòng)。計(jì)算機(jī)會(huì)思考嗎？計(jì)算機(jī)有智能嗎？我期待與聽(tīng)眾一起探討計(jì)算與智能之間的關(guān)系。

歡迎前來(lái)聽(tīng)講！                       

                                                                   福州大學(xué)文化素質(zhì)教育基地

                                                                             2016/10/13