新闻动态

本报讯（记者 闫锴）12月25日上午，“科学与中国”院士专家巡讲在闽南师范大学举办。中国科学院院士，中国科学院软件研究所研究员、博士生导师，计算机科学国家重点实验室主任林惠民受邀做题为《计算与智能》的专题报告。

林惠民长期从事计算机程序研究特别是并发程序的形式语义学及形式化方法的研究，在进程代数的验证工具、消息传送进程的语义理论和π演算的公理化等方向上取得突破性进展。

报告中，林惠民院士分别从“计算”“智能”“伦理”等方面与在场师生分享了计算机科技的发展史及智能技术的利弊。从希尔伯特计划的故事背景引出计算的概念，并介绍了数学界的伟大发现，科普人工智能的基本知识，以通俗易懂的例子、深入浅出的解读，引发师生思考计算与智能的关系及本质。

“科学与中国”院士专家巡讲活动是由中国科学院发起，并与中宣部、教育部、科技部、中国工程院、中国科学技术协会等部委共同主办的高层次公益性科普活动，邀请院士专家进机关、进学校、进企业做科普报告，旨在让科学亲近公众，让公众理解科学，促进公众科学素质的提高。本次活动由省科协协办，市科协、闽南师范大学承办。

2020-12-26 01要闻

http://zzxww.com/pc/content/202012/26/content_36577.html