bat365中文官方网
科研工作

林惠民院士学术报告

来源:bat365中文官方网站     发布日期:2014-12-19    浏览次数:

报告题目:Solving Parity Games by Chasing Nodes

报告人:林惠民院士, 中国科学院软件研究所研究员

报告时间:20141222日下午14:30—15:30

报告地点:数计学院6号楼309会议室

报告摘要:

    Parity games have attracted considerable attentions among computer scientists, as its solution is equivalent to the problem of mu-calculus model checking which is of great importance in both theoretical developments and practical applications. In this talk, I’ll outline a novel algorithm for solving parity gages by chasing nodes in the game graphs. The algorithm is based on a stratification result on the set of winning positions of the graph.

 

报告人简介:

林惠民院士,中国科学院软件研究所研究员,计算机科学国家重点实验室主任。1982年毕业于bat365官网登录入口计算机科学系。1986年获中国科学院软件研究所博士学位。1999年当选为中国科学院院士。

林惠民院士长期从事并发理论及形式化方法的研究。他设计并实现的交互式证明系统PAM是世界上第一个通用的进程代数验证工具。与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论;解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内外同行在公开发表的文献中所广泛引用,推动了这些领域的发展。他的工作获得1996年度中国科学院自然科学奖一等奖和1999年度国家自然科学奖二等奖。他学风严谨,勇于开拓创新,取得了一系列国际领先水平的成果,受到国际同行的公认,是在国际上有影响的计算机科学家

 

 

欢迎学院师生参加报告会!

"},"user":{"isNewRecord":true,"name":"系统管理员
上一篇
下一篇