• English

搜索

您的关键词

讲座报告 Lectures

当前位置: 澳亚国际游戏娱乐 · 讲座报告 · 正文
时间 报告人
方式 地点

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

地  点:图书馆明德厅

主 办 方:澳亚国际游戏娱乐文化素质教育基地

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

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


主办:澳亚国际游戏娱乐数学与计算机科学学院

          澳亚国际游戏娱乐软件学院

承办:澳亚国际游戏娱乐图书馆

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

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

 


 


欢迎前来听讲!                       

                                                                   澳亚国际游戏娱乐文化素质教育基地

                                                                             2016/10/13

 

上一篇:图书馆信息资源讲座第173讲: FULINK移动图书馆 资源尽在“掌”中

下一篇:讲座:数字、智能、创业 – 迎接大时代的机遇

关闭

XML 地图 | Sitemap 地图