姓名

刘关俊

职称

教授（博导）

E-mail

liuguanjun@tongji.edu.cn

招生专业

电子信息0854

研究方向

Petri网与并发理论、时序逻辑与模型检测、强化学习与无人机协同、机器学习与网络交易欺诈检测、人机物系统、实时嵌入式系统、工作流系统

教育经历

起止时间

学习单位

学位

2008.9-2011.7

同济大学

计算机软件与理论博士学位

工作经历

起止时间

工作单位

职称

2013.10-至今

同济大学

教授

2013.11-2014.10

柏林洪堡大学

博士后

教学情况

本科生课程：组合数学、离散数学

研究生课程：Concrete Mathematics

科研情况

已出版学术专著4本，编著教材1本、发表学术论文160余篇，包括SCIENCE CHINA - Information Sciences、IEEE/CAA Journal of Automatica Sinica、ACM T-CPS、ACM T-ECS、IEEE T-SC、IEEE T-II、IEEE T-ASE、IEEE T-ITS、IEEE T-CSS、IEEE T-SMC-S、IEEE T-IV、IEEE T-CE、计算机学报、软件学报、航空学报等国内外期刊论文100余篇、以及International Conference on Theory and Applications of Petri Nets and Concurrency等国际会议论文60余篇。

学术兼职

中国计算机学会高级会员（形式化方法专委会常委、软件工程专委会执委、理论计算机科学专委执委）、中国自动化学会会员（网络计算专委会委员）、中国人工智能学会会员、上海市人工智能学会会员（可信智能系统专委会副主任委员）、上海市计算机学会会员（理论计算机专委会委员）、上海市信息学会理事、IEEE Senior Member，是 IEEE Transactions on Computational Social Systems副主编（Assciate Editor）、Artificial Intelligence and Autonomous Systems编委（Editorial Board Member）。

科研项目

相关研究得到国家自然科学基金（重点项目、面上项目、青年基金项目）、上海市曙光人才项目基金、教育部高校产学研创新基金、中央高校交叉项目基金（重大）、德国洪堡基金、航天五院科研基金、华为胡杨林基金的资助。

个人荣誉与获奖

获得国家科技进步二等奖（2016）、中国电子学会自然科学一等奖（2016）、自动化学会自然科学一等奖（2019）、吴文俊人工智能技术发明一等奖（2019）、上海市技术发明一等奖（2019）、上海市科技进步一等奖（2015）、教育部国务院学位委员会首届博士研究生学术新人奖（2010）、上海市优秀博士学位论文奖（2014）、上海市计算机学会协同计算与信息服务专委会优秀论文奖（2017）、13th IEEE ICNSC最佳学生论文提名奖（2016）等。

代表性成果

[1] J. Song, G. Liu, Y. Tang, L. Wang, M. Wang and L. Li, "An Innovative Formal Verification Method Based on Timed Petri Nets With Integrated Database Tables," in IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[2] W. Guo, G. Liu, Z. Zhou, J. Wang, Y. Tang and M. Wang, "Robust Training in Multiagent Deep Reinforcement Learning Against Optimal Adversary," in IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 55, no. 7, pp. 4957-4968, July 2025.

[3] Y. Xie, M. Zhou, G. Liu, L. Wei, H. Zhu and P. De Meo, "A Transactional-Behavior-Based Hierarchical Gated Network for Credit Card Fraud Detection," in IEEE/CAA Journal of Automatica Sinica, vol. 12, no. 7, pp. 1489-1503, July 2025.

[4] Z. Zhao, J. Li and G. Liu, "Automated Graph Contrastive Learning Based on Node-Level and Edge-Level Learnable Augmentation," in IEEE Transactions on Computational Social Systems, doi: 10.1109/TCSS.2025.3551250.

[5] H. Tu, D. Xiang, W. Lin and G. Liu, "Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets," 2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Kuching, Malaysia, 2024, pp. 82-88.

[6] Y. Xie, Y. Hong, S. Qiao, J. Yao, G. Liu and S. Pang, "A Time-Aware Generative Network for Enhancing Transaction Security in Consumer Electronics," in IEEE Transactions on Consumer Electronics.