苏杰 Jie Su

西安电子科技大学广州研究院，助理研究员
 CCF、CAA专业会员

教育与经历

• 2023年6月：于西安电子科技大学计算机科学与技术专业获工学博士学位

• 2016年6月：于西北农林科技大学计算机科学与技术专业获工学学士学位

• 现任：西安电子科技大学广州研究院，助理研究员

研究方向

我的研究兴趣位于程序验证与智能软件工程的交叉领域，致力于通过形式化方法与人工智能技术的融合，提升复杂软件系统的可靠性与安全性。研究工作涵盖理论建模、工具研发及实际应用验证。

当前主要研究方向包括但不限于：

• 形式化验证与程序分析（Formal Verification & Program Analysis）：
  聚焦并发程序的正确性验证、约束求解与符号执行，研究高效的程序抽象与验证算法。

• 可信软件与系统安全（Trusted Software & System Security）：
  探索形式化理论在安全关键系统中的可验证性分析与漏洞防御机制。

• 人工智能赋能软件工程（AI for Software Engineering）：
  利用大语言模型（LLM）与自动推理技术，提升软件开发、测试与验证的自动化与智能化水平。

学术成果

已在国际顶级学术会议与高水平期刊（包括 CAV’24、TKDD’24、ESEC/FSE’23、TACAS’23、ASE’22、ESEC/FSE’21 以及《软件学报》）发表多篇研究论文。
 主持 国家自然科学基金青年基金项目 1项。