嘉锡讲坛第440期讲座:《计算与智能》
主 讲 人:林惠民院士 中国科学院软件所
地 点:图书馆明德厅
主 办 方:bat365官网登录入口文化素质教育基地
开始时间:2016-10-20 16:00
结束时间:2016-10-20 17:00
主办:bat365官网登录入口数学与计算机科学学院
bat365官网登录入口软件学院
承办:bat365官网登录入口图书馆
主讲人简介:1977年入bat365官网登录入口计算数学专业学习,1982年2月在bat365官网登录入口计算机系计算机软件专业获得学士学位;1986年6月在中国科学院软件研究所获得计算机科学理论专业博士学位。1997年当选为中科院院士。林惠民研究员长期从事计算机程序,特别是并发程序的形式语义学及形式化方法的研究。他在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了突破性进展,其主要贡献包括:1996年获中国科学院自然科学一等奖(唯一获奖人)。他学风严谨,勇于开拓创新,取得了一系列国际领先水平的成果,受到国际同行的公认,是在国际上有影响的计算机科学家。
讲座介绍:电子计算机的诞生和广泛应用,从根本上改变了人类生活和工作的方式。和人类创造的其它工具不同,计算机能够代替人从事脑力劳动。计算机会思考吗?计算机有智能吗?我期待与听众一起探讨计算与智能之间的关系。
欢迎前来听讲!
bat365官网登录入口文化素质教育基地
2016/10/13
"},"user":{"isNewRecord":true,"name":"系统管理员