免费送彩金白菜网_跳槽彩金优惠活动的网站

您现在所在的位置:首页  国际交流  学术交流与合作  学术报告
林惠民院士报告会—The Myth of Linearization Points

报告题目:The Myth of Linearization Points

报 告 人:林惠民 院士

报告时间:2015年12月16日  上午9:00

报告地点:汉卿会堂402室

 

报告人简介:

林惠民,中科院院士,博士生导师。1986年在中国科学院软件研究所获博士学位;曾先后在英国爱丁堡大学和萨塞克斯大学工作。1999年被评为“国家级有突出贡献的中青年专家”,同年11月当选为中国科学院院士。主要研究方向包括:通讯并发系统的理论、工具及应用、模型检测、代数规约、程序模块化理论。

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