姓名：曹锋

性别：男

学位/职称：工学博士/讲师

出生年月： 1984年03 月

学科专业： 计算机科学与技术

电子邮箱： caofeng19840301@163.com

讲授课程：

本科生课程：C语言程序设计、JAVA语言程序设计、

数字逻辑与数字电路、物联网技术与应用

研究生课程：数理逻辑与自动推理

研究方向：智能信息处理、自动推理、一阶逻辑自动定理证明、人工智能

2020年6月获得西南交通大学计算机科学与技术专业博士学位。目前主持省教育厅项目1项、校级项目1项，作为核心成员参与完成国家自然科学基金面上项目1项；在SCI、EI等国内外重要期刊、会议发表论文10余篇；申请发明专利3项；国际一阶逻辑自动定理证明器CSE、CSE_E系列开发者，开发基于逻辑推理的软件可信性验证系统2套。

代表性论文：

[1] Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Jianbing Yi, A multi-clause dynamic deduction algorithm based on standard contradiction separation rule, Information Sciences, 2021, 566(1): 281-299. (SCI, JCR 1区)

[2] Feng Cao, Yang Xu, Jun Liu, et al. CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic[J]. Symmetry-basel, 2019, 11(9): 1142. (SCI，JCR 2区)

[3] Feng Cao, Yang Xu, Shuwei Chen, et al. A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search[J]. The International Journal of Computational Intelligence Systems, 2019, 12(2):1245-1254. (SCI，JCR 3区)

[4] 曹锋，徐扬，陈树伟等. 多元协同演绎在一阶逻辑ATP中的应用[J].西南交通大学学报, 2020, 55(02):401-408. (EI期刊)

[5] 曹锋,徐扬,吴贯锋,钟建.多元动态演绎在Prover9证明器中的应用[J].计算机工程与科学, 2019, 41(09):1686-1692. (CSCD，中文核心期刊)

[6] 曹锋，徐扬，钟建等. 基于目标演绎距离的一阶逻辑子句集预处理方法[J]. 计算机科学, 2020, 47(03):217-221. (CSCD，中文核心期刊)

[7] Feng Cao, Yang Xu, Jian Zhong, et al. Holistic deductive framework theorem proving based on

standard contradiction separation for first-order logic[C]//2017 12th International Conference on

Intelligent Systems and Knowledge Engineering, 2017, 389-393. (国际会议, EI)

[8] Feng Cao, Yang Xu, Xinran Ning, et al. Deductive control strategies based on contradiction

separation rule[C]//the 13th International FLINS Conference on Data Science and Knowledge

Engineering, 2018, 766-773. (国际会议, EI)

[9] Feng Cao, Yang Xu, etc. A First-order Logic Clause Set Preprocessing Method Based On Clause

Deduction Distance[C]//The 14th International Conference on Intelligent Systems and Knowledge

Engineering, 2019, 90-94. (国际会议, EI, Best Poster Paper Award)

科研项目：

[1] 江西省教育厅，省级，GJJ200818，一阶逻辑系统的多元演绎路径搜索算法研究，2021年1月至2022年12月，3万，在研，主持

[2] 江西理工大学博士启动专项，校级，205200100494，矛盾体分离规则中的子句充分演绎研究与应用，2020-07至2023-07，9万，在研, 主持

[3] 西南交通大学研究生科创竞赛培育项目，校级，2019KCJS53，国际一阶逻辑自动定理证明器竞赛，2019-03至2019-12，0.5万，已结题, 主持

学术竞赛情况：

[1]International Conference on Automated Deduction ATP System Competition- CADE- J9, 2018.07, 第二名, 排名第一

[2]International Conference on Automated Deduction ATP System Competition- CADE-27, 2019.08, 第三名, 排名第一

[3]International Conference on Automated Deduction ATP System Competition- CASC-J10, 2020.07, 第四名, 排名第一

[4]International Conference on Automated Deduction ATP System Competition- CADE-28, 2021.07, 第三名. 排名第三