鲁法明，男，山东新泰人，1981年5月生，博士生导师，中国自动化学会网络信息服务专委会委员，青岛市青年科技奖获得者，青岛市西海岸新区优秀青年人才，必威betway西汉姆联网站最美教师、教学名师、教书育人楷模，校十大杰出青年获得者，研究方向包括机器学习与流程挖掘、软件分析与验证、Petri网理论与应用等。

  以Petri网作为分布式计算理论模型，以形式化方法、流程挖掘、机器学习为技术支撑，围绕互联网环境下复杂信息系统的建模、验证、挖掘和优化等问题开展研究，主持国家自然科学基金、省优秀中青年科学家科研奖励基金等多项省部级以上课题，在ACM Trans.、IEEE Trans.、Information Sciences、软件学报、计算机学报等权威刊物发表SCI、EI索引论文60余篇，研究成果得到了包括IEEE Fellow、国家杰青等来自法国、波兰、印度、非洲和国内诸多专家学者的引用和肯定性评价。

  先后获山东省科技进步奖二等奖、青岛市科技进步奖二等奖、全国商业联合会科技进步奖二等奖以及山东省优秀博士学位论文、省高等学校优秀科研成果奖各1项，个人获评全国煤炭一线优秀青年科技工作者。

  代表性论文与项目如下，欢迎有对流程挖掘、软件分析、Petri网理论与应用等方向有兴趣、有志于参与实际项目或发表高水平论文的的同学报考：

1. [1]Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao. Deadlock Detection-oriented Unfolding of Unbounded Petri Nets [J], Information Sciences, 2019,497,1-22. ( SCI一区，Top期刊）

2. [2]Faming Lu, Qingtian Zeng, Yunxia Bao, Hua Duan. Hierarchy Modeling and Formal Verification of Emergency Treatment Processes, IEEE Transactions on Systems, Man and Cybernetics: Systems, 2014, vol 44, issue 2,pp:220-234.( SCI一区,Top期刊)

3. [3]Faming Lu, Qingtian Zeng, Hua Duan. Synchronization-Core-Based Discovery of Processes with Decomposable Cyclic Dependencies, ACM Transactions on Knowledge Discovery from Data, 2016, Vol 10, Issue 3, Article 31,pp:1-29.（CCF推荐B类期刊，SCI索引）

4. [4]Faming Lu, Qingtian Zeng,Mengchu Zhou, *Yunxia Bao, Hua Duan. Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets [J], IEEE Transactions on Systems, Man and Cybernetics: Systems, 2019,49(6):1164-1174.doi:10.1109/TSMC.2017.2692262( SCI一区，Top期刊）

5. [5]Wang X, Lu F（通信）, Zhou M C, et al. A synergy-effect-incorporated fuzzy Petri net modeling paradigm with application in risk assessment[J]. Expert Systems with Applications, 2022, 199: 117037( SCI一区，Top期刊）

6. [6]Qingtian Zeng, Faming Lu(通信), Cong Liu, Hua Duan,Changhong Zhou. Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets, IEEE Transaction on System, Man and Cybernetics: Systems, 2015, 45(2): 349-362.( SCI一区，Top期刊）

7. [7]鲁法明，唐梦凡，包云霞，曾庆田，李彦成.一种目标导向的多线程程序UAF漏洞预测方法[J].软件学报,2023,34(07)（CCF A类中文期刊，EI索引）

8. [8]鲁法明，黄莹，曾庆田，包云霞，唐梦凡.基于Petri网展开的多线程程序数据竞争检测与重演[J].软件学报,2023,34(07)（CCF A类中文期刊，EI索引）

9. [9]鲁法明,郑佳静,包云霞,曾庆田,段华,王晓宇.基于锁增广分段图的多线程程序死锁检测[J].软件学报,2021,32(06):1682-1700（CCF A类中文期刊，EI索引）

10. [10]鲁法明，曾庆田，段华，程久军，包云霞. 一种并行化的启发式流程挖掘算法，软件学报，2015, 26(3): 533-549（CCF A类中文期刊，EI索引）

11. [11]郝宗寅,鲁法明（通信）.Petri网的反向展开及其在程序数据竞争检测的应用[J].软件学报,2021,32(06):1612-1630（CCF A类中文期刊，EI索引）

12. [12]曾庆田，鲁法明，刘聪，孟德存.基于Petri网的跨组织应急联动处置系统建模与分析, 计算机学报.2013,36(11) :367-375（CCF A类中文期刊，EI索引）

13.