劉關俊，教授，博士生導師。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（研究生）。
實驗室主頁：//flml.lhcresult.net
代表性論著：
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網與并發論領域旗幟性會議）
