鲁法明，男，山东新泰人，1981年5月生，博士，中国自动化学会网络信息服务专委会委员，青岛市青年科技将获得者，青岛市西海岸新区优秀青年人才，研究方向包括机器学习与流程挖掘、并行程序设计与分析、Petri网理论与应用等。

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

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

  发表的代表性论文与主持的科研项目如下，欢迎有对机器学习、流程挖掘、软件开发等方向有兴趣，愿意参与实际项目或者发表高水平论文的的同学报考我的团队：

1. Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao. Deadlock Detection-oriented Unfolding of Unbounded Petri Nets [J], Information Sciences, 2019, doi: https://doi.org/10.1016/j.ins.2019.05.021

2. Faming Lu, Qingtian Zeng, Hua Duan. Synchronization-Core-Based Discovery of Processes with Decomposable Cyclic Dependencies[J], ACM Transactions on Knowledge Discovery from Data, 2016, Vol 10, Issue 3, Article 31,pp:1-29.

3. Faming Lu, Qingtian Zeng, Yunxia Bao, Hua Duan. Hierarchy Modeling and Formal Verification of Emergency Treatment Processes [J], IEEE Transactions on Systems, Man and Cybernetics: Systems, 2014, vol 44, issue 2,pp:220-234.

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

5. 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.