2138com太阳集团

学院成立系列活动之林惠民院士学术报告

发布者:系统管理员发布时间:2015-12-16浏览次数:77

1216日上午9时,2138com太阳集团成立大会·学术报告“The Myth of Linearization Points”正式召开。本次报告邀请到的主讲人为中科院院士林惠民研究员。

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

报告中,林惠民院士分别从“并包数据结构研究的背景、研究意义、可线性化点的概念、研究方法、对定理的验证及结论”等几个层面展开,详细讲解他对可线性化点算法的理解以及关于可线性化点研究的科研思想,最后介绍了分枝互模拟的实验方法,分析并总结了该方法的优势与不足。

林惠民院士化繁为简,深入浅出,引用幽默风趣的例子将抽象的计算机语言讲解得引人入胜。台下座无虚席,观众们都认真记录院士所讲解的内容,积极与院士进行互动,踊跃地回答院士所提的问题,并提出自己的想法和见解。在报告最后的提问环节,听众们争相提出自己的问题与困惑,林惠民院士认真倾听大家的问题,并分别耐心作答。

此次报告会的圆满结束,不仅让同学们领略了院士的严谨学风,更学习到了勇于开拓创新的科研精神,同时拓宽了同学们的视野,为同学们在计算机科学领域的深入学习与研究提供了行之有效思考与实践方式。