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

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

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

開始時間：2016-10-20 16:00

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

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

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

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

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

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

歡迎前來聽講,！                       

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

                                                                             2016/10/13