首页

12月23日，中国科学院院士林惠民莅临我校作《计算与智能》主题报告。师生代表共300余人参加本次报告会。

在两个小时的报告中，林惠民分别从“计算”“智能”“伦理”等三个方面为在场师生讲授了计算机科技的发展史及智能技术的利弊。他以通俗易懂的例子引导师生推敲、分析计算与智能的本质，深入浅出地论证了二者的辩证关系，并鼓励师生努力学习、精进研究。现场互动良好，气氛热烈，师生们纷纷表示获益匪浅。

嘉宾简介：林惠民，中国科学院软件研究所研究员，计算机软件与理论专家。1982年毕业于福州大学计算机科学系，1999年当选为中国科学院院士。长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题。

（研究与发展中心）