欢迎进入北京老科学技术工作者总会网站!
   当前位置:首页
> 通知公告 > 科普预告
2019年6月14日科普论坛报告会
发布日期:2019-06-10 来源:中科院老科协 作者:秘书处 浏览次数: 字号:【

  “科普论坛”报告要点
  2019.6.14
  计算与智能
  中国科学院院士
  中国科学院软件研究所研究员
  学术委员会主任 林惠民


  一、电子计算机的诞生与广泛应用,从根本上改变了人类生活和工作的方式
  二、计算机有智能吗?——计算与智能的关系
  三、相关的伦理问题

 

  林惠民简介

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

 

打印此页】 【关闭窗口
上一篇:
下一篇:
华北院协会开展“与祖国共...[06-04]
丰台老科协领导看望老科技...[06-04]
丰台区老干部领导听取区老...[06-04]
丰台老科协以科普和义诊的...[06-04]
军事装备专家杨作成为东铁...[06-04]
2019科技周主题诗歌朗...[05-29]
喜报[05-27]
丰台区老科协组织高级科普...[05-20]
丰台区老科协召开第四届代...[05-20]
Produced By 大汉网络 大汉版通发布系统