刘关俊，教授，博士生导师。2011年获得同济大学计算机软件与理论专业博士学位，先后于新加坡科技设计大学、德国柏林洪堡大学（德国洪堡基金资助）从事博士后研究工作，2013年进入同济大学计算机科学系工作至今。是中国计算机学会形式化方法专委会委员、中国计算机学会软件工程专委会委员、中国自动化学会网络信息服务专委会委员、IEEE Senior Member。

已出版学术专著2本，发表学术论文100余篇，包括SCIENCE CHINA - Information Sciences、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、Information Sciences、the Computer Journal等国内外期刊论文50余篇、以及International Conference on Theory and Applications of Petri Nets and Concurrency等国际会议论文40余篇。相关研究得到国家自然科学基金（重点项目、面上项目、青年基金项目）、上海市曙光人才项目基金、教育部高校产学研创新基金、中央高校交叉项目基金（重大）、德国洪堡基金的资助。

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

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

讲授课程：组合数学（本科生）、离散数学（本科生）、Concrete Mathematics（研究生）。

实验室主页：https://flml.tongji.edu.cn

代表性论著：

1.刘关俊 著, Petri网的元展: 一种并发系统模型检测方法, 北京: 科学出版社, 2020.

2.刘关俊, 蒋昌俊, 著. Petri网活性与应用. 上海: 同济大学出版社, 2020.

3.GJ Liu, CJJiang, MC Zhou, Time-soundness of Time Petri Nets Modeling Time-critical Systems, ACM Transactions on Cyber-Physical Systems. vol. 2, no. 2, article number 11, 27 pages, 2018.

4.GJ Liu, MC Zhou, CJ Jiang, Petri netmodelling and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing, ACM Transactions on Embedded Computing Systems, vol. 16, no. 4, article number 113, 20 pages, 2017.

5.GJLiu, Some complexity results for the soundness problem of workflow nets, IEEE Transactions on Services Computing, 7(2): 322-328, 2014.

6.GJ Liu, CJ Jiang, MC Zhou, PCXiong, Interactive Petri nets, IEEE Transactions on Systems, Man and Cybernetics: Systems, 43(2): 291-302, 2013.

7.GJLiu, CJ Jiang, MC Zhou, Process nets with channels, IEEE Transactions on Systems, Man and Cybernetics, Part A, 42(1): 213-225, 2012.

8.GJ Liu, CJ Jiang, MC Zhou, Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs, IEEE Transactions on Automation Science and Engineering, 7(1): 945-957, 2010.

9.GJ Liu, CJ Jiang, D Chao, A necessary and sufficient condition for theliveness of normal nets, the Computer Journal (Oxford University Press), 54 (1): 157-163, 2011.

10.GJ Liu, CJ Jiang, Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets, SCIENCE CHINA: Information Science, 58(7): 072103:1-16, 2015.

11.GJLiu, PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets, In: the 41st International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'2020), Paris, France, 24-26 June, 2020, LNCS 12152, pp. 196-216.（Petri网与并发论领域旗帜性会议）

12.GJ Liu, J Sun, Y Liu, JS Dong, Complexity of the soundness problem of bounded workflow nets, the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'2012), Hamburg, Germany, 25-29 June, 2012, LNCS 7347, pp. 92-107.（Petri网与并发论领域旗帜性会议）