刘关俊，教授，博士生导师，2011年获得同济大学计算机软件与理论专业博士学位，先后于新加坡科技设计大学、德国柏林洪堡大学（德国洪堡基金资助）从事博士后研究工作，2013年进入同济大学计算机科学系工作至今。是中国计算机学会高级会员、中国自动化学会与中国人工智能学会会员、IEEE Senior Member，是中国计算机学会形式化方法专委会常委、软件工程专委会执行委员，是中国自动化学会网络计算专委会委员、Associate Editor of IEEE Transactions on Computational Social Systems（2023.1-2025.12）。
已出版学术专著4本，发表学术论文150余篇（ACM/IEEE汇刊40篇）。相关研究得到国家自然科学基金（重点项目、面上项目、青年基金项目）、上海市曙光人才项目、上海市科技创新行动计划（人工智能专项）、教育部高校产学研创新基金、中央高校交叉项目（重大）、航天五院开放课题、德国洪堡基金的资助。
研究兴趣：并发理论与Petri网理论，模型检测与时序逻辑，机器学习与多智能体，离散事件系统与实时嵌入式系统，工作流系统，人机物系统，无人机协同，网络交易欺诈检测。
主页: https://flml.tongji.edu.cn