12月17日下午，必赢线路检测3003成立系列活动之王戟教授学术报告在图书馆四楼学术报告厅召开。王戟教授作了以“MPI程序的符号执行”为主题的学术报告。
王戟，中国人民解放军国防科技大学教授。主要从事高可信软件工程、分布与并行计算程序设计方面的研究。2007年获得国家杰出青年科学基金资助。
报告中，王戟首先祝贺必赢线路检测3003正式成立，并为能来必赢线路检测3003作学术报告感到高兴。王戟以“MPI程序的符号运行”为题，分别从“MPI程序的符号执行方法、分析若干常见并发错误、处理带阻塞和非阻塞的MPI程序分析、如何分析程序运行中的错误”等问题展开，详细讲解对MPI程序的理解。王教授讲解整场报告态度严谨，提出的问题令人深思，台下师生认真听讲。报告结束后，场上进行互动环节，王教授积极与台下师生互动，针对台下师生提出的不同问题，耐心解答，解决了在场师生的疑惑，整场学术报告会在轻松活跃的氛围中圆满结束。
本次报告会在主讲人王教授以及全场工作人员的悉心准备下成功举办。通过这场学术报告，不仅使同学有机会分享国内教授、专家潜心研究的成果，激发同学对学术追求的动力，而且使广大师生更加深入了解计算机领域相关知识，为今后的学习以及相关科研活动打下坚实的基础。
