2023 年 5 月 24 日，深圳海雲安網絡安全技術有限公司首席科學家齊大偉博士獲得 " 國際軟件工程會議 ( ICSE ) 2023 最具影響力論文獎 "。本屆會議于 2023 年 5 月 14 日至 20 日在澳大利亞墨爾本舉行。
自 1989 年以來，國際軟件工程會議 ( ICSE ) 最具影響力論文獎一直在頒發給自十年前 ICSE 發表以來對行業産生重大影響的論文。除了齊大偉博士，獲獎論文的其他作者是來自 新加坡國立大學的 Hoang Duong Thien Nguyen 和 Abhik Roychoudhury，以及 IBM 研究院的 Satish Chandra 。
他們的論文 "SemFix: Program Repair via Semantic Analysis" 提出了使用語義及符号程序分析技術自動修複代碼的方法，這些方法可以應用于手動編寫和自動生成的代碼。
此篇文章除了實際的應用價值之外，還創新性的開辟了将符号推理用于程序修複的新方向。
近年來，以 ChatGPT 爲代表的生成式 AI 飛速發展。自動程序修複與今天的 Codex 和 ChatGPT 等自動代碼生成工具相關。由于從自然語言描述中自動生成的代碼缺乏對程序語義的理解，因此使用語義分析技術來自動更正或糾正代碼仍然是有價值的。自動程序修複 還用于減少軟件系統暴露于安全漏洞的風險。
齊大偉博士目前在海雲安緻力于将最前沿的程序分析軟件工程方面的研究應用到軟件供應鏈安全領域，從而幫助用戶解決軟件構造和使用過程中的安全問題。 目前，海雲安高敏捷信創白盒、開源組件檢測分析工具、DevSecOps 平台等多款産品在軟件供應鏈安全領域均處于行業内領先水平。
