主 講 人:林惠民院士 中國科學院軟件所
地 點:圖書館明德廳
主 辦 方:福州大學文化素質教育基地
開始時間:2016-10-20 16:00
結束時間:2016-10-20 17:00
主辦:福州大學數學與計算機科學學院
福州大學軟件學院
承辦:福州大學圖書館
主講人簡介:1977年入福州大學計算數學專業學習,1982年2月在福州大學計算機系計算機軟件專業獲得學士學位;1986年6月在中國科學院軟件研究所獲得計算機科學理論專業博士學位。1997年當選為中科院院士。林惠民研究員長期從事計算機程序,特別是并發程序的形式語義學及形式化方法的研究。他在進程代數的驗證工具、消息傳送進程的語義理論和π-演算的公理化等方向上取得了突破性進展,其主要貢獻包括:1996年獲中國科學院自然科學一等獎(唯一獲獎人)。他學風嚴謹,勇于開拓創新,取得了一系列國際領先水平的成果,受到國際同行的公認,是在國際上有影響的計算機科學家。
講座介紹:電子計算機的誕生和廣泛應用,從根本上改變了人類生活和工作的方式。和人類創造的其它工具不同,計算機能夠代替人從事腦力勞動。計算機會思考嗎?計算機有智能嗎?我期待與聽眾一起探討計算與智能之間的關系。
歡迎前來聽講!
福州大學文化素質教育基地
2016/10/13