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

地　　點：圖書館明德廳

主 辦 方：福州大學文化素質教育基地

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

結束時間：2016-10-20 17:00

主辦：福州大學數學與計算機科學學院

          福州大學軟件學院

承辦：福州大學圖書館

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

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

歡迎前來聽講！                       

                                                                   福州大學文化素質教育基地

                                                                             2016/10/13