钟文杰，中共党员，博士，讲师。2024年毕业于内蒙古大学计算机科学与技术专业，获工学博士学位。主要研究方向包括形式化方法、Petri网理论、软件建模与分析。

电子邮箱：zhognwenjie@mail.imu.edu.cn

代表性论文：

（1）Zhong W., Sun T., Zhou J., et al., A Reduced State Space Generation Method for Concurrent Systems Based on CPN-PR Model[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025.（CCF推荐A类国际期刊）

（2）Zhong W, Zhou J T, Sun T, et al. A Verification Framework for Time-triggered Networks Based on Timed Colored Petri Net[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024.（CCF推荐A类国际期刊）

（3）Zhong W, Zhou J, Sun T. Concurrent software fine-coarse-grained automatic modelling by Colored Petri Nets for model checking[J]. IET Software, 2023, 17(1): 55-75.（CCF推荐B类国际期刊）

主持或主要参与的科研项目：

（1）主持内蒙古自治区博士研究生科学创新项目：面向并发软件模型检测的行为相关性研究（B20210119Z）

（2）参与国家自然科学基金地区基金项目：基于粗粒度自动建模的并行软件模型检测方法及平台研究（62062052）

（3）参与国家自然科学基金项目：混合供能的云数据中心面向能耗优化的负载调度研究

（62162046）

（4）参与内蒙古科技计划资助项目：机器学习赋能的大数据分析软件系统可靠性保障技术研发及支撑平台应用（2020GG0187）