|
个人信息Personal Information
助理研究员
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：博士研究生毕业
在职信息：在岗
所在单位：广州研究院
入职时间：2023-12-01
办公地点：广州研究院求真楼A栋709
电子邮箱：
其他联系方式Other Contact Information
邮箱 :
通讯/办公地址 :
邮编 :
个人简介Personal Profile
苏杰 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项。