5月29日，“中國計算機學會走進高校”活動在數學與計算機學院舉行。本次報告會邀請了來自西北工業大學董云衛教授、航空工業集團西安計算技術研究所葉宏研究員、同濟大學劉關俊教授以及西北工業大學張仕進教授4位專家進行了報告分享，來自學院的80多位教師和學生參加了本次報告會。

董云衛教授以“從Chart GPT 談軟件工程的未來——基于深度學習的程序合成技術”為題，介紹了GPT的誕生、技術路線、GPT的發展，深入講解了關于程序合成的相關理論與技術的研究進展。

葉宏研究員圍繞“IMA架構下的分區安全屬性的驗證需求”，為大家了綜合化航空電子系統IMA的綜合目標、平臺架構、安全需求，航空電子系統的發展歷程，從安全角度引入分區的概念，介紹了分區安全屬性相關的驗證需求以及理論模型，并剖析了目前國內外對分區操作系統安全屬性的驗證情況和當前的不足。

劉關俊教授以“基于Petri網與計算樹邏輯的實時嵌入式系統分析“為題，介紹了Petri Net與CTL模型，如何用Petri Net來形式化的描述一個操作系統以及模型建模驗證思路，用時序邏輯表達系統的設計需求，并講解了為什么復雜的多智能體協同的控制系統需要機器學習。

張仕進教授以“軟件賦能的智能水刀裝備”為題，介紹了一種高端裝備及嵌入式軟件有機結合技術——智能水刀，通過軟件賦能后，減少工業誤差，柔性控制技術等對水刀進行精準運用。

互動環節，四位老師耐心地為師生答疑解惑，擴大師生視野。

【責編/付智敏】