主 讲 人：林惠民院士 中国科学院软件所
地 点：图书馆明德厅
主 办 方：南宫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
