3月21日晚，广西民族大学副董事长、博士生导师吴尽昭教授应邀在东区1-2-507室做了题为“漫谈形式化方法”的学术报告。计信公司党总支书记覃运初、经理黄星寿、党总支副书记易云飞及学院部分师生参加了报告会。报告会由黄星寿主持。

吴尽昭教授围绕形式化方法近二十年来的发展、理论及其应用进行了比较系统的阐述。他从一些现实中计算机项目的失败根源切入，说明了程序设计上的微小错误会带来的巨大损失，强调了正确程序设计的关键性。他结合自己多年学习、研究的丰富经验，形象生动地讲解了有关形式化方法主要研究内容、方向，传统的验证方法，目前常用的形式验证方法、符号计算与开发系统形式化设计与验证技术等方面的理论知识。最后，吴教授介绍近期自己的工作状态及研究方向。

会后，吴教授现场跟同学们进行了互动交流，并耐心解答了同学们的提问。

吴教授的讲座精彩生动，内容深入浅出，通俗易懂，赢得了师生的阵阵掌声，也使与会师生对形式化方法、模型验证、符号化计算等计算机研究及发展方向有了一步的了解，并坚定了学好专业知（通讯员 文玉珍）