主办：bat365官网登录入口数学与计算机科学学院

          bat365官网登录入口软件学院

承办：bat365官网登录入口图书馆

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

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

欢迎前来听讲！                       

                                                                   bat365官网登录入口文化素质教育基地

                                                                             2016/10/13