8月8日-10日，第四届网络计算学术会议在西安召开，会议吸引了来自全国多所高校和科研院所的专家学者参会。我院李烁博士受邀参会，并作专题报告。
李烁在青年学者发展论坛作了题为《模型检测技术的应用与优化——以并发软件验证为例》的专题报告。该报告探讨模型检测技术的应用与优化。针对模型构建难题，提出基于Petri网的自动化建模方法，统一刻画程序控制流和依赖关系；针对状态爆炸问题，创新性提出按需切片、偏序检测及变化敏感检测三种约简方法。
近年来，信息科学技术学院积极搭建学术交流平台、鼓励年轻教师参与国际国内学术交流，全方位支持青年教师成长。未来，学院将持续优化支持机制、加大支持力度，为青年教师快速发展注入强劲动力。
作者、图片来源：李烁
供稿审核人：张国锋
终审：安其心
