亚博yabo888vip官网 - 主页

科学研究
当前位置: 亚博yabo888vip官网 >> 科学研究 >> 通知公告 >> 正文

通知公告

林惠民院士学术报告(计算与智能)

发布人: 时间:2021-12-10

报告题目:计算与智能

报 告 人:林惠民院士

报告时间:20211212日下午300-4:30
报告地点:建发211教室

欢迎广大教师、同学们踊跃参加!

报告人简介:

林惠民,194711月出生,计算机软件与理论专家,中国科学院软件研究所研究员,1999年当选中国科学院院士。 

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