姓名：曹锋
性别：男
学位/职称：博士/副教授
出生年月： 1984年03 月
学科专业： 计算机科学与技术
电子邮箱： caofeng19840301@163.com
电话：15030561126
讲授课程：
本科生课程：C语言程序设计、数字逻辑与数字电路、JAVA语言程序设计、C++程序设计、计算机组成原理、物联网技术与应用；
硕士生课程：数理逻辑与自动推理；
研究方向：智能信息处理、自动推理、一阶逻辑自动定理证明器、人工智能
西南交通大学计算机科学与技术专业博士，副教授，硕士生导师，主持国家自然科学基金项目1项、省教育厅项目1项、校级项目1项；在SCI、EI等国内外重要期刊、会议发表论文20余篇；申请发明专利3项，授权1项；国际一阶逻辑自动定理证明器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), Pages 281-299.(SCI)
[2] 曹锋,潘世成,易见兵,等.子句充分性评估的多元动态演绎算法及应用[J].华中科技大学学报(自然科学版),2024,52(11):153-160.(卓越期刊)
[3] 曹锋,杨小玲,易见兵,等.基于子句正负文字的多元演绎算法[J/OL].华中科技大学学报(自然科学版),2024.(卓越期刊)https://doi.org/10.13245/j.hust.250191
[4] 曹锋,谢燏,易见兵,等.基于长子句演绎能力的多元演绎算法[J/OL].华中科技大学学报(自然科学版),2024.(卓越期刊)https://doi.org/10.13245/j.hust.250569
[5] Hailin Guo; Feng Cao*; Jianbing Yi; Guanfeng Wu; Weicai Li;
A Novel Conflict Deduction Algorithm Based on ContradictionSeparation Inference Rule, The International Journal of Computational Intelligence Systems, 2025, 18(4):1-15.(SCI)
[6] 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)
[7]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)
[8]曹锋，徐扬，陈树伟等. 多元协同演绎在一阶逻辑ATP中的应用[J].西南交通大学学报, 2020, 55(02):401-408.(EI期刊)
[9]曹锋,郭海林,易见兵,等.基于矛盾体分离的多元冲突演绎方法及应用[J].武汉大学学报(理学版),2024,70(06):671-679.(CSCD核心)
[10]曹锋,徐梓伟,易见兵,等.基于子句综合权重的多元动态演绎算法及应用[J/OL].武汉大学学报(理学版),2024.(CSCD核心) https://doi.org/10.14188/j.1671-8836.2023.0205
[11]郭海林,曹锋*,易见兵,等.策略动态组合优化多元演绎算法及应用[J].浙江大学学报(理学版),2024,51(06):732-739.(CSCD核心)
[12]林玲瑜,曹锋*,易见兵,等.基于子句活跃度和复杂度的多元动态演绎算法及应用[J].计算机工程与科学,2023,45(12):2256-2264.(中文核心)
[13]曹锋,杨小玲,易见兵,等.矛盾体分离超演绎方法及应用[J].计算机应用,2024,44(10):3074-3080.(中文核心)
[14]曹锋,谢燏,易见兵,等.矛盾体分离单元结果演绎方法及应用[J].计算机工程与科学,2024,46(12):2252-2260.(中文核心)
[15]曹锋,王家帆,易见兵,等.一种基于子句稳定度的多元动态演绎算法及应用[J].广西师范大学学报(自然科学版),2024,42(06):164-176.(中文核心)
[16]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)
[17]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)
[18]Feng Cao, Yang Xu, Jian Zhong, et al. Holistic deductive frameworktheorem 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)
[19]曹锋,徐扬,吴贯锋,钟建.多元动态演绎在Prover9证明器中的应用[J].计算机工程与科学, 2019, 41(09):1686-1692.(中文核心)
[20]曹锋，徐扬，钟建等. 基于目标演绎距离的一阶逻辑子句集预处理方法[J]. 计算机科学, 2020, 47(03):217-221.(中文核心)
主持承担科研项目及经费：
[1]国家自然科学基金委员会, 地区科学基金项目, 62366017，基于多元矛盾体分离演绎的一阶逻辑自动定理证明器研究，2024-1至2027-12，32万，在研，主持
[2] 江西省教育厅，一般项目，GJJ200818，一阶逻辑系统的多元演绎路径搜索算法研究，2021-01至2022-12，3万，已结题，主持
[3]江西理工大学，博士启动专项， 205200100494，矛盾体分离规则中的子句充分演绎研究与应用，2020-07至2023-07，9万，已结题, 主持
[4] 西南交通大学，研究生科创竞赛培育项目， 2019KCJS53，国际一阶逻辑自动定理证明器竞赛，2019-03至2019-12，0.5万，已结题, 主持
授权国家发明专利：
[1]基于单元结果演绎的自动定理证明方法、装置及存储介质，曹锋;易见兵;黄江燕;陈鸿坤，江西理工大学，ZL 2021 1 0647011.9，2023年8月25日，CN 113379051 B
学术竞赛情况：
[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, 第三名. 排名第三
[5]International Conference on Automated Deduction ATP System Competition- CASC-J11, 2022.08, 第四名, 排名第三
[6]International Conference on Automated Deduction ATP System Competition- CADE-29, 2023.07, 第四名, 排名第三
[7]International Conference on Automated Deduction ATP System Competition- CASC-J12, 2024.07, 第四名, 排名第三
