博士生导师 硕士生导师
电子邮箱：
入职时间：2025-11-01
所在单位：大数据与软件学院
职务：弘深青年教师
学历：博士研究生毕业
办公地点：重大虎溪校区信息技术科研楼B707
在职信息：在职
邮箱：
刘心悦博士现为重庆大学大数据与软件学院弘深青年教师、重庆市优秀青年学者，兼任学院外事秘书。2020 年本科毕业于南京大学，随后赴美国纽约州立大学布法罗分校（SUNY, University at Buffalo）攻读博士学位，师从Lukasz Ziarek，并于 2025 年获得计算机科学与工程博士学位。现加入张洪宇教授带领的智能化软件工程团队。
个人研究领域为软件工程与程序语言理论，目前专注于大模型辅助的 Web 应用分析与验证，尤其关注 Web 生态系统中的依赖识别、安全检测与自动修复。同时，对程序分析与大模型的交叉研究抱有广泛兴趣，拟探索面向大模型代码生成时代的软件工程新范式，提升智能软件开发的效率、功能正确性与安全可靠性。
长期欢迎学术交流、学生指导与企业合作。更多信息详见我的个人主页：aaronxyliu.github.io。
