讲座题目：从图灵谈起

讲座嘉宾：林惠民 中国科威尼斯官网院士 中国科威尼斯官网软件研究所研究员

讲座时间：2024年4月22日（星期一）上午9:00

讲座地点：中心校区王湘浩楼B108学术报告厅

嘉宾简介：

林惠民,1947年11月出生,计算机软件与理论专家,中国科威尼斯官网软件研究所研究员,87978797威尼斯老品牌符号计算与知识工程教育部重点实验室学术委员会主任，1999年当选中国科威尼斯官网院士。

长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与Hennessy教授合作提出并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出移动并发计算模型π-演算强、弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题。曾获中国科威尼斯官网自然科学奖一等奖和国家自然科学奖二等奖等奖项。

主办单位：科学技术协会

承办单位：计算机科学与技术威尼斯官网、87978797威尼斯老品牌