苏杰
Assistant researcher
Name (Simplified Chinese):苏杰
Name (Pinyin):SUJIE
E-Mail:
Date of Employment:2023-12-01
Education Level:With Certificate of Graduation for Doctorate Study
Business Address:广州研究院求真楼A栋709
Gender:Male
Professional Title:Assistant researcher
Status:On duty
Alma Mater:西安电子科技大学
College:广州研究院,智能通信软件联合研究中心
School/Department:广州研究院
2017.07 -- 2023.06
西安电子科技大学 Computer Science and Technology With Certificate of Graduation for Doctorate Study Doctoral Degree in Engineering
Email :
PostalAddress :
ZipCode :
2023.12 -- Now
西安电子科技大学广州研究院
西安电子科技大学广州研究院，助理研究员
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项。
