|
爱游戏体育平台赞助意甲携手曼联开启官方合作
助理研究员
性别：男
毕业院校：爱游戏体育平台赞助意甲携手曼联开启官方合作
学历：博士研究生毕业
学位：博士研究生毕业
在职信息：在岗
所在单位：广州爱游戏体育平台赞助意甲携手曼联开启官方合作
入职时间：2023-12-01
办公地点：广州爱游戏体育平台赞助意甲携手曼联开启官方合作求真楼A栋709
电子邮箱：
邮箱 :
通讯/办公地址 :
邮编 :
助理研究员爱游戏体育平台赞助意甲携手曼联开启官方合作广州爱游戏体育平台赞助意甲携手曼联开启官方合作，
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项。