个人简介
| 刘沛瑶，博士，硕士生导师，四川自贡人。中国计算机学会形式化方法专委委员，四川电子学会会员。长期从事人工智能、形式化验证、自动定理证明等方面的研究。近年来在《Knowledge-Based Systems》、《Information Sciences》等多个期刊发表科研论文。自主开发的自动定理证明系统性能已位居国际前列。主持四川省科技厅苗子重点工程项目1项，主研多个企业横向项目。 |
工作经历
| 2023.11-至今，西华大学计算机与软件工程学院，讲师 |
教育经历
| 2017.09-2023.09，西南交通大学数学学院，博士2013.09-2017.06，天津理工大学理学院，学士 |
研究方向
自动定理证明 形式化验证 三维视觉 激光雷达点云处理 |
学术成果
论文和科研成果 1. Liu P, Chen S, Liu J, et al. An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability[J]. Knowledge-Based Systems, 2023, 261: 110217. 2. Liu P, Xu Y, Liu J, et al. Fully reusing clause deduction algorithm based on standard contradiction separation rule[J]. Information Sciences, 2023, 622: 337–356. 3. 国际顶级自动定理证明器竞赛CASC 2018年和2024年亚军，2019年和2021年季军 主持的项目 1. 四川省科技计划项目，苗子重点工程项目，2024JDRC0084，基于逻辑的形式化自动证明技术研究，2024/07-2026/06，主持。 |
教学工作
| 主讲《网络协议分析》 |
荣誉奖励
| 四川省电子学会第十二届优秀科技工作者 |
社会兼职
CCF形式化方法专委委员 四川省电子学会会员 |