刘关俊，教授，博士生导师，2011年获得同济大学计算机软件与理论专业工学博士学位，先后于新加坡科技设计大学、德国柏林洪堡大学（德国洪堡基金资助）从事博士后研究工作。是中国计算机学会高级会员、中国自动化学会与中国人工智能学会会员、IEEE Senior Member，是中国计算机学会形式化方法专委会常委、软件工程专委会执行委员，是中国自动化学会网络计算专委会委员、Associate Editor of IEEE Transactions on Computational Social Systems（2023.1-2025.12）。

已出版学术专著4本，发表学术论文150余篇，包括SCIENCE CHINA - Information Sciences、ACM T-CPS、ACM T-ECS、IEEE T-SC、IEEE T-II、IEEE T-NNLS、IEEE T-ASE、IEEE T-ITS、IEEE T-IV、IEEE T-CSS、IEEE T-SMC-S、Information Sciences、the Computer Journal、Expert Systems with Applications、软件学报、计算机学报等国内外期刊论文80余篇（ACM/IEEE汇刊40篇）、以及International Conference on Theory and Applications of Petri Nets and Concurrency、European Conference on Artificial Intelligence等国际会议论文50余篇。相关研究得到国家自然科学基金（重点项目、面上项目、青年基金项目）、上海市曙光人才项目、上海市科技创新行动计划（人工智能专项）、教育部高校产学研创新基金、中央高校交叉项目（重大）、航天五院开放课题、德国洪堡基金的资助。

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

研究兴趣：并发理论与Petri网理论，模型检测与时序逻辑，机器学习与多智能体，离散事件系统与实时嵌入式系统，工作流系统，人机物系统，无人机协同，网络交易欺诈检测。

讲授课程：组合数学（本科生，2018-今）、离散数学（本科生，2015-2018）、Concrete Mathematics（研究生，2017-今）。

Email：liuguanjun@tongji.edu.cn

地址：上海市曹安公路4800号, 同济大学嘉定校区电信学院235室