刘关俊，教授，博士生导师。2011年获得同济大学计算机软件与理论专业博士学位，先后于新加坡科技设计大学、德国柏林洪堡大学（德国洪堡基金资助）从事博士后研究工作，2013年进入同济大学计算机科学系（目前为计算机科学与技术学院）工作至今。是中国计算机学会高级会员（形式化方法专委会常委、软件工程专委会执委、理论计算机科学专委执委）、中国自动化学会会员（网络计算专委会委员）、中国人工智能学会会员、上海市人工智能学会会员（可信智能系统专委会副主任委员）、上海市计算机学会会员（理论计算机专委会委员）、上海市信息学会理事、IEEE Senior Member，是 IEEE Transactions on Computational Social Systems副主编（Assciate Editor）、Artificial Intelligence and Autonomous Systems编委（Editorial Board Member）。

已出版学术专著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余篇。相关研究得到国家自然科学基金（重点项目、面上项目、青年基金项目）、上海市曙光人才项目基金、教育部高校产学研创新基金、中央高校交叉项目基金（重大）、德国洪堡基金、航天五院科研基金、华为胡杨林基金的资助。

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

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

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

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