我院本学期“学苑论坛”落下帷幕

陕西师范大学计算机科学学院院长李永明来我院作报告

6月21日，陕西师范大学计算机科学学院院长、博士生导师李永明教授应邀为计算机科学系师生作了题为《计算机模型检测与量化》的学术报告。至此，我院2010——2011学年第二学期“学苑论坛”系列报告落下了帷幕。

报告会上，李永明教授从近年来国内外因计算机软、硬件系统错误导致的事故入手，通过经典案例分析，深入讲解了计算机软、硬件系统的验证方法，比较了现代形式化验证较传统验证的优势所在。他通过大量的数学计算公式进行演变推论，总结出形式化验证是保证系统设计正确性的一条正确途径，是一种通过数学证明的手段来验证系统可靠性的方法。针对计算机系统验证存在的问题，李永明教授为自己的科研团队定下了继续深入研究形式化数学模型检测、向多值模型检测进军的目标。整场报告精彩热烈，赢得了在座师生的赞誉。

本场报告是我院“学苑论坛”在本学期的最后一讲。自解放军西安政治学院李广义教授来我院作的首场报告以来，院党委宣传部、科研处、学生处和各系（部）相继邀请院内外专家、学者为师生作了形势报告、学术报告等近20场。内容丰富、形式多样，受到了师生们的一致好评，营造了良好的校园学术文化氛围。

（图/文  张昊）