2019年6月14日科普论坛报告会

主讲嘉宾：中国科学院院士 中国科学院软件研究所研究员 学术委员会主任 林惠民

报告题目：计算与智能

报告时间：2019年6月14日（周五）上午9：00

报告地点：中国科学院国家科学图书馆（中关村北四环西路33号）

主办单位：中国科学院老科学技术工作者协会

北京老科学技术工作者总会

中国科学院文献情报中心

中国科学报社

林惠民简介

计算机软件与理论专家。1986年中国科学院软件所研究生毕业，获博士学位。现任中国科学院软件研究所研究员、软件研究所学术委员会主任。长期从事计算机软件、特别是并发软件的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，为在计算机上对传值及移动并发进程进行分析、推理与验证建立了理论基础。曾获1996年中国科学院自然科学奖一等奖和1999年国家自然科学奖二等奖。1999年当选中国科学院院士。

“科普论坛”报告要点

2019.6.14

计算与智能

中国科学院院士

中国科学院软件研究所研究员

学术委员会主任 林惠民

一、电子计算机的诞生与广泛应用，从根本上改变了人类生活和工作的方式

二、计算机有智能吗？——计算与智能的关系

三、相关的伦理问题

中国科学院老科学技术工作者协会

2019年6月11日