主 讲 人：林惠民院士 中国科学院软件所

地　　点：图书馆明德厅

主 办 方：8040威尼斯最佳登录文化素质教育基地

开始时间：2016-10-20 16:00

结束时间：2016-10-20 17:00

主办：8040威尼斯最佳登录数学与计算机科学学院

          8040威尼斯最佳登录软件学院

承办：8040威尼斯最佳登录图书馆

主讲人简介：1977年入8040威尼斯最佳登录计算数学专业学习，1982年2月在8040威尼斯最佳登录计算机系计算机软件专业获得学士学位；1986年6月在中国科学院软件研究所获得计算机科学理论专业博士学位。1997年当选为中科院院士。林惠民研究员长期从事计算机程序，特别是并发程序的形式语义学及形式化方法的研究。他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展，其主要贡献包括：1996年获中国科学院自然科学一等奖（唯一获奖人）。他学风严谨，勇于开拓创新，取得了一系列国际领先水平的成果，受到国际同行的公认，是在国际上有影响的计算机科学家。

讲座介绍：电子计算机的诞生和广泛应用，从根本上改变了人类生活和工作的方式。和人类创造的其它工具不同，计算机能够代替人从事脑力劳动。计算机会思考吗？计算机有智能吗？我期待与听众一起探讨计算与智能之间的关系。

欢迎前来听讲！                       

                                                                   8040威尼斯最佳登录文化素质教育基地

                                                                             2016/10/13