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

地　　点：图书馆明德厅

主 办 方：南宫NG28集团文化素质教育基地

最先时间：2016-10-20 16:00

竣事时间：2016-10-20 17:00

主理：南宫NG28集团数学与盘算机科学学院

          南宫NG28集团软件学院

承办：南宫NG28集团图书馆

主讲人简介：1977年入南宫NG28集团盘算数学专业学习，1982年2月在南宫NG28集团盘算机系盘算机软件专业获得学士学位；；；1986年6月在中国科学院软件研究所获得盘算机科学理论专业博士学位。。。1997年中选为中科院院士。。。林惠民研究员恒久从事盘算机程序，特殊是并发程序的形式语义学及形式化要领的研究。。。他在历程代数的验证工具、新闻传送历程的语义理论和π-演算的正义化等偏向上取得了突破性希望，其主要孝顺包括：1996年获中国科学院自然科学一等奖（唯一获奖人）。。。他学风严谨，勇于开拓立异，取得了一系列国际领先水平的效果，受到国际偕行的公认，是在国际上有影响的盘算机科学家。。。

讲座介绍：电子盘算机的降生和普遍应用，从基础上改变了人类生涯和事情的方式。。。和人类创立的其它工具差别，盘算性能够取代人从事脑力劳动。。。盘算时机思索吗
？？盘算机有智能吗
？？我期待与听众一起探讨盘算与智能之间的关系。。。

接待前来听讲！                       

                                                                   南宫NG28集团文化素质教育基地

                                                                             2016/10/13