1、基本信息
中文姓名： 陈矛
出生年月： 1975-01-08
专业职称： 教授
教师类型： 高校教师（含师资博士后）
博/硕导： 硕士生导师 博士生导师
硕士生招生专业： 教育技术学 现代教育技术 计算机应用技术
博士生招生专业： 教育信息技术
邮箱：chenmao@ccnu.edu.cn
2、个人简介
陈矛，华中师范大学教育大数据应用技术国家工程实验室教授，博士生导师. 2007年毕业于华中科技大学计算机学院，获计算机软件与理论专业博士学位. 主要研究方向包括教育大数据、智能教育服务、算法设计与分析. 主持国家自然科学基金项目3项、国家重点研发计划项目子课题1项，参与国家863计划项目、国家科技支撑计划项目等国家级科研项目多项. 在国内外学术期刊上发表论文50余篇，其中SCI收录30多篇，获国家发明专利9项.
3、工作经历
2021-07月至2023-02月,教育大数据应用技术国家工程研究中心,教授
2010-07月至2021-06月,国家数字化学习工程技术研究中心,副教授
2007-07月至2010-06月,教育信息技术工程研究中心,讲师
1996-07月至2000-07月,东风汽车公司,工程师
4、研究方向
教育大数据、智能教育服务、算法设计与分析
5、科研项目
2026主持国家自然科学基金面上项目， 基于大模型多智能体的在线导学系统关键技术及应用研究（62577030），获批
2020主持国家自然科学基金面上项目， 面向在线学习环境的个性化课程推荐和学习路径规划研究（62077019），结项
2019参与中央高校基本科研业务费，基于开放知识库的学科知识图谱扩充与评估研究，结项
2018主持国家重点研发计划子课题，面向众筹众创的分布式数字教育资源生成技术(2017YFB1401302), 结项
2016参与中央高校基本科研业务费,基于大数据精准化教育的统计模型及其研究(ccnu16JYKX013),结项
2016主持教育部项目,有限制的几何定理机器证明的研究(200805111011),结项
2016参与中央高校基本科研业务费,大数据教育与传统教学模式的对比与检验,结项
2016主持中央高校基本科研业务费,面向几何教学的几何约束算法研究(CCNU15A02006),结项
2015主持中央高校基本科研业务费,面向几何教学的几何约束算法研究,结项
2013参与国家科技计划,数字学习内容公共服务的关键支撑技术研究(2013BAH18F02),结项
2011主持中央高校基本科研业务费,立体几何智能学习平台的研究与设计(CCNU11A02009),结项
2009主持国家自然科学基金,有限制条件的几何定理机器证明(60903023),结项
2009参与教育部项目,EDR视野下对外汉语教育游戏的设计与开发(09YJA740043),结项
面向几何教学的几何约束算法研究 (CCNU15A02006),结项
6、专利成果
[1] 2017年，一种复杂网络局部社区发现方法（ZL201410004358.1）
[2] 2017年，一种复杂网络中节点传播能力的评估方法（ZL201410322575.5）
[3] 2021年，分类合并的方法及装置、存储介质（ZL 201910512956.2）
[4] 2022年，走班教学下的分班排课方法及装置（ZL201910810601.1）
[5] 2024年，一种基于已有习题改编的几何证明题自动生成方法及系统（ZL 2023 1 1535820.6）
[6] 2024年，一种基于已有习题自动合成新的几何证明题的方法及系统（ZL 202311300395.2）
[7] 2024年，一种基于知识图谱的多元环境感知推荐方法及系统（ZL 202210079690.9）
[8] 2025年，一种课程推荐方法、系统及电子设备（ZL 202311096331.5,）
[9] 2025年，一种基于知识图谱和告诫协同信息的推荐发及系统（ZL 202210986015.4）
7、个人荣誉
2019年，智能云端一体化学习关键技术与应用, 教育部高等学校科学研究优秀成果奖（科学技术）一等奖, 排名16/17；
2015年，教育云关键技术与规模化应用, 湖北省科学技术进步奖一等奖, 排名(11/15);
2013年， 智能云端一体化学习关键技术与应用, 湖北省技术发明奖 三等奖, 排名(6/6).
8、学术兼职
国家自然科学基金审稿专家;
《Computers & Education 》、《Computers & Industrial Engineering》等国际期刊审稿人.
9、教育背景
2003年至2007年,华中科技大学,计算机软件与理论,博士
2000年至2003年,华中科技大学,光学与电子信息学院,物理电子学,硕士
1992年至1996年,湖北汽车工学学院,电气与信息工程学院,工业电气自动化,本科
10、讲授课程
算法设计与应用
算法设计与分析
高级算法设计与分析
算法设计与分析（数字媒体技术）
算法设计与分析（教育信息技术）
11、发表论文
Zeyu Zeng, Xicheng Peng, Mao Chen, Sannyuya Liu, A two-stage symbolic regression method for discovering mathematical formulas, Applied Soft Computing, Volume 186, Part A, 2026,114081, ISSN 1568-4946,
Yajing Yang, Xicheng Peng, Mao Chen*, Sannyuya Liu, An explainable graph-based course recommendation model based on multiple interest factors,Expert Systems with Applications, 2025, 264: 125889.
Chen, M., Peng, X. and Tang, X. (2025), Filtered beam search algorithm for the two-dimensional rectangular packing problem. International Transactions in Operational Research. 2025, 0: 1-27
Yajing Yang, Zeyu Zeng, Shiyun Jiang, Mao Che*n, and Ruirui Shang. 2024. DEKGCI: A double-ended recommendation model for integrating knowledge graph and user–item interaction graph. The Journal of Supercomputing, 80, 24781–24800
Lei Li, Zongkai Yang, Mao Chen, Xicheng Peng, Jianwen Sun, Zhonghua Yan, and Sannyuya Liu. 2024. Automated Generation of Geometry Proof Problems Based on Point Geometry Identity. Journal of Automated Reasoning. 68, 11
Mao Chen, Yajing Yang, Zeyu Zeng, Xiangyang Tang, Xicheng Peng, Sannuya Liu, A filtered beam search based heuristic algorithm for packing unit circles into a circular container, Computers & Operations Research, 166, 2024, 106636 (SCI，中科院2区)
Chao Wu, Zeyu Zeng, Yajing Yang, Mao Chen*, Xicheng Peng, Sannyuya Liu*,Task-driven cleaning and pruning of noisy knowledge graph,Information Sciences, 646,2023,119406. (SCI，中科院1区)
Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu. Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. Journal of Automated Reasoning, 2023, 67(4): 38. (SCI，中科院3区)
Chao Wu Sannyuya Liu, Zeyu Zeng, Mao Chen, Adi Alhudhaif, Xiangyang Tang, Fayadh Alenezi, Norah Alnaim, Xicheng Peng, Knowledge graph-based multi-context-aware recommendation algorithm. Information Sciences, 595, 2022, 179-194 (SCI，中科院1区)
Ting Song, Mao Chen*, Yulong Xu, Dong Wang, Xuekun Song, Xiangyang Tang. Competition-guided multi-neighborhood local search algorithm for the university course timetabling problem. Applied Soft Computing，2021(110): 107624 （SCI，中科院2区）
Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen*. Automated Discovery of Geometric Theorems Based on Vector Equations. Journal of Automated Reasoning, 2021(65): 711–726 （SCI， 中科院2区）
Mao Chen, Xiangyang Tang, Ting Song, Chao Wu, Sanya Liu a, Xicheng Peng. A Tabu search algorithm with controlled randomization for constructing feasible university course timetables. Computers and Operations Research, 2020, 123: 105007 （SCI，中科院2区）
Mao Chen, Xiangyang Tang, Ting Song, Zhizhong Zeng, Xicheng Peng, Sanya Liu. Greedy heuristic algorithm for packing equal circles into a circular container. Computers & Industrial Engineering, 2018, 119: 114-120 （SCI，中科院2区）
Ting Song, Sanya Liu, Xiangyang Tang, Xicheng Peng, Mao Chen*. An iterated local search algorithm for the University Course Timetabling Problem. Applied Soft Computing, 2018, 68: 597–608 （SCI，中科院2区）
Mao Chen, Chao Wu, Xiangyang Tang, Xicheng Peng, Zhizhong Zeng, Sanya Liu. An efficient deterministic heuristic algorithm for the rectangular packing problem. Computers & Industrial Engineering, 2019, 137: 106097 （SCI，中科院2区）
Mao Chen, Chao Wu, Zongkai Yang, Sanya Liu, Zengzhao Chen, Xiuling He. A multi-strategy approach for the merging of multiple taxonomies. Journal of Information Science, 2020, 1-21（SCI，中科院3区）
Jingzhong Zhang, Xicheng Peng, Mao Chen*. Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity. Journal of Systems Science and Complexity, 2019, 32(1): 78-94 （SCI，中科院3区）
闵磊 刘智 唐向阳 陈矛*,刘三女牙.基于扩展度的复杂网络传播影响力评估算法. 物理学报, 2015, 64(8): 088901 （SCI，中科院3区）
Mao Chen, Xiangyang Tang, Zhizhong Zeng, Sanya Liu. An efficient heuristic algorithm for two-dimensional rectangular packing problem with central rectangle, Journal of Industrial & Management Optimization, 2020, 16(1): 495-510 （SCI，中科院4区）
葛强, 张景中, 陈矛*, 彭翕成. 基于向量的几何可读自动证明. 计算机学报, 2014, 37(8): 1809-181 （EI，CCF A类中文期刊）
