为使同学们充分了解科技前沿知识，激发大家对科学技术的兴趣和热情。12月20日晚7点，计算机学院鲁法明教授应邀为电信学院和计算机学院2018级研究生以及部分本科生在蓝光报告厅作了题为“一种程序正确性验证的新方法 ”的专题报告。

  报告中鲁教授以程序正确性——理论正确和实践正确为切入点，详细介绍了最弱前置词if 、do，随后又给出了用do进行最弱前置词的程序正确性验证，针对OESPA 鲁教授给出了详细的介绍。最后，鲁教授对程序正确性验证发展前景做出了展望，认为这门技术具有现实意义、应用价值，将会成为一门非常热门的学科。

此次报告会极大的提高了研究生的科研热情，使同学们深刻地认识了程序正确性验证的方法。相信通过鲁法明教授这场别开生面的主题报告，同学们对今后的研究生生活会有更加明确的学习目标和奋斗方向。

                               （通讯员：张  文 摄影：新闻中心）