9月6日上午，中国科学院院士林惠民被聘任为我校兼职教授，聘任仪式在东阶教室举行。122cc太阳集成游戏党委书记孙茂松致辞并向林惠民院士颁发聘书。122cc太阳集成游戏学术委员会主席林闯主持仪式。副主任胡事民出席仪式。

仪式结束后，林惠民院士做客122cc太阳集成游戏研究生新生学科教育之“大师论坛”活动，作题为《模型检测与博弈》的主题报告。林惠民院士阐述了μ-calculus模型检测问题并介绍了其与博弈理论的联系。

林惠民院士是中国科学院软件研究所研究员。1999年当选为中国科学院院士。长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。

图为 系党委书记孙茂松（左）为中国科学院院士林惠民（右）颁发聘书