5月29日，“中国计算机学会走进高校”活动在数学与计算机学院举行。本次报告会邀请了来自西北工业大学董云卫教授、航空工业集团西安计算技术研究所叶宏研究员、同济大学刘关俊教授以及西北工业大学张仕进教授4位专家进行了报告分享，来自学院的80多位教师和学生参加了本次报告会。

董云卫教授以“从Chart GPT 谈软件工程的未来——基于深度学习的程序合成技术”为题，介绍了GPT的诞生、技术路线、GPT的发展，深入讲解了亚洲通程序合成的相关理论与技术的研究进展。

叶宏研究员围绕“IMA架构下的分区安全属性的验证需求”，为大家了综合化航空电子系统IMA的综合目标、平台架构、安全需求，航空电子系统的发展历程，从安全角度引入分区的概念，介绍了分区安全属性相关的验证需求以及理论模型，并剖析了目前国内外对分区操作系统安全属性的验证情况和当前的不足。

刘关俊教授以“基于Petri网与计算树逻辑的实时嵌入式系统分析“为题，介绍了Petri Net与CTL模型，如何用Petri Net来形式化的描述一个操作系统以及模型建模验证思路，用时序逻辑表达系统的设计需求，并讲解了为什么复杂的多智能体协同的控制系统需要机器学习。

张仕进教授以“软件赋能的智能水刀装备”为题，介绍了一种高端装备及嵌入式软件有机结合技术——智能水刀，通过软件赋能后，减少工业误差，柔性控制技术等对水刀进行精准运用。

互动环节，四位老师耐心地为师生答疑解惑，扩大师生视野。

【责编/付智敏】