报告题目：奇偶博弈及其结构

演讲摘要：奇偶博弈及其结构

讲者简介：林惠民， 1947 年 11 月 13 日出生于福建福州，计算机软件与理论专家，中国科学院院士，中国科学院软件研究所研究员、博士生导师。1982 年林惠民从福州大学计算机科学系毕业] ；1986 年获得中国科学院软件研究所博士学位后留所工作，历任助理研究员、副研究员、研究员、博士生导师；1986 年至 1987 年在英国爱丁堡大学计算机科学基础实验室从事博士后研究；1990 年至 1993 年担任英国萨塞克斯大学 Research Fellow ；1999 年当选为中国科学院院士 ；2008 年当选为第一届中国计算机学会会士 。 林惠民长期从事计算机程序的形式语义学及形式化方法的研究 。