刘关俊，教授，博士生导师，2011年获得同济大学计算机软件与理论专业博士学位，先后于新加坡科技设计大学、德国柏林洪堡大学（德国洪堡基金资助）从事博士后研究工作，2013年进入同济大学计算机科学系工作至今。是中国计算机学会高级会员，计算机学会形式化方法专委会常务委员、中国人工智能学会会员、中国自动化学会会员、上海市人工智能学会可信智能系统专委会副主任委员、IEEE Senior Member、Associate Editor of IEEETransactions on Computational Social Systems（2023.1-2025.12）。已出版学术专著4本，编著教材1本，发表学术论文160余篇（ACM/IEEE汇刊40余篇），主持国家自然科学基金、上海市曙光人才项目、上海市科技创新行动计划（人工智能专项）、航天五院项目、华为胡杨林基金项目等多项。

更多信息请访问实验室主页：https://flml.tongji.edu.cn/