姓名： 曹锋
性别： 男
学位/职称：工学博士/副教授
出生年月： 1984年3月
招生专业：专硕（计算机技术、人工智能）;
学硕（计算机科学与技术）
电话/微信： 15030561126/15030561126
E-Mail：caofeng@jxust.edu.cn
曹锋，工学博士，副教授，博士/硕士研究生导师，主持及参与国家自然科学基金项目2项、主持省教育厅项目1项、校级项目1项；在SCI、EI等国内外重要期刊、会议发表论文40余篇；授权国家发明专利1项；出版学术专著1部；国际一阶逻辑自动定理证明器CSE、CSE_E系列开发者，国际自动定理证明器竞赛获最佳新人奖，开发基于逻辑推理的软件可信性验证系统2套。
研究方向： 1. 人工智能-自动推理
2. 一阶逻辑自动定理证明
3. 智能信息处理
科研项目：
1.国家自然科学基金项目, 基于多元矛盾体分离演绎的一阶逻辑自动定理证明器研究, 2024-01至2027-12, 32万元，在研，主持；
2.国家自然科学基金项目, 基于组合链路预测的医学专家推荐模型及专家吸引力研究, 2024-01至2027-12, 31万元，在研，参与；
3.江西省教育厅科学技术研究项目, 一阶逻辑系统的多元演绎路径搜索算法研究, 2021-01 至 2022-12, 3万, 结题, 主持。
代表性论文：
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.（JCR1，IF: 5.9）
2.曹锋,潘世成,易见兵,等.子句充分性评估的多元动态演绎算法及应用[J].华中科技大学学报(自然科学版),2024,52(11):153-160.(卓越期刊)
3.曹锋,杨小玲,易见兵,等.基于子句正负文字的多元演绎算法[J].华中科技大学学报(自然科学版), 2025,53(5):157-163.(卓越期刊)
4.曹锋,谢燏,易见兵,等.基于长子句演绎能力的多元演绎算法[J].华中科技大学学报(自然科学版), 2026,54(5):84-90.(卓越期刊)
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. （JCR2，IF: 3.1）
6.曹锋,袁雪杰,邹玮刚,等.基于变元项子句耦合度的多元演绎算法[J/OL].北京航空航天大学学报,2026. (卓越期刊) https://doi.org/10.13700/j.bh.1001-5965.2025.0857.
7.曹锋,朱福进,徐梓伟,等.矛盾体分离线性演绎方法及应用[J/OL].华中科技大学学报(自然科学版), 2025. (卓越期刊).https://doi.org/10.13245/j.hust.240854.
8.曹锋,刘坤,徐梓伟,等.基于矛盾体分离演绎的子句多属性降维方法[J/OL].浙江大学学报(理学版),2026.(CSCD核心) https://link.cnki.net/urlid/33.1246.n.20260126.0844.002.
9.曹锋,汪小莉,潘世成,等.基于单元子句的多元矛盾体分离动态演绎算法及应用[J].武汉大学学报(理学版),2026,72(3):349-360. (CSCD核心)
10.曹锋,郭海林,易见兵,等.基于矛盾体分离的多元冲突演绎方法及应用[J].武汉大学学报(理学版),2024,70(06):671-679.(CSCD核心)
11.曹锋,徐梓伟,易见兵,等.基于子句综合权重的多元动态演绎算法及应用[J/OL].武汉大学学报(理学版), 2025,71(2):301-312.(CSCD核心)
12.郭海林,曹锋*,易见兵,等.策略动态组合优化多元演绎算法及应用[J].浙江大学学报(理学版),2024,51(06):732-739.(CSCD核心)
授权发明专利：
1.曹锋等. 基于单元结果演绎的自动定理证明方法、装置及存储介质. 专利号：ZL 2021 1 0647011.9.
出版著作：
1.曹锋、林玲瑜. 基于矛盾体分离演绎的一阶逻辑自动定理证明器. 冶金工业出版社. 2024.
