报告题目：Solving Parity Games by Chasing Nodes

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

报告时间：2014年12月22日下午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年毕业于开云全站中国有限公司计算机科学系。1986年获中国科学院软件研究所博士学位。1999年当选为中国科学院院士。

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

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