姓名：曾国艳
职称：讲师
个人简介：
曾国艳，博士，西华大学计算机与软件工程学院讲师。硕博连读毕业于西南交通大学，主要从事人工智能、形式化验证、自动定理证明、基于逻辑的自动推理与智能信息处理等方向研究。“智慧感知与计算实验室”和“系统可信性自动验证国家地方联合工程实验室”核心成员。自主研发自动定理证明器，产品性能跻身国际前列，先后多次参加全球顶级CASC 国际自动定理证明器竞赛，斩获亚军、季军等多项国际奖项。以第一或通讯作者在Knowledge-Based Systems、Engineering Applications of Artificial Intelligence 等中科院一区 TOP 期刊、EI 卓越期刊及 IEEE 系列国际会议发表十余篇高水平论文。主持校人才科研启动项目一项，主研国家级、省部级科研项目多项。
教育经历：
[1] 乐山师范学院 | 学士学位（2018）
[2] 西南交通大学 | 博士学位（硕博连读，2025）
工作经历：
[1] 计算机与软件工程学院 | 西华大学（2025.06 – 至今）
邮箱：guoyanzeng@xhu.edu.cn