刘关俊
- 教授
- 教师拼音名称： LIU Guanjun
- 电子邮箱：
- 学历： 博士研究生毕业
- 学位： 工学博士学位
- 毕业院校： 同济大学
- 学科：计算机科学与技术
电子信息
开通时间：..
最后更新时间：..
个人简介
刘关俊，教授，博士生导师，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
教育经历
[1]
2008.9 -- 2011.7
同济大学
计算机软件与理论
博士研究生毕业
工学博士学位
[2]
2003.9 -- 2006.6
山东科技大学
计算机软件与理论
硕士研究生毕业
工学硕士学位
[3]
1997.9 -- 2001.6
曲阜师范大学
计算机科学与技术
大学本科毕业
理学学士学位
工作经历
[1]
2013.11 -- 2014.10
柏林洪堡大学
博士后
[2]
2013.11 -- 2014.10
柏林洪堡大学
博士后（德国洪堡基金资助）
[3]
2013.10 -- 至今
同济大学
[4]
2011.12 -- 2013.3
新加坡科技设计大学
博士后
[5]
2001.7 -- 2008.6
山东科技大学
社会兼职
[1]
2024.1 -- 至今
上海市人工智能学会可信智能系统专委会副主任委员
[2]
2023.1 -- 至今
AE, IEEE Transactions on Computational Social Systems
[3]
2019.1 -- 至今
IEEE Senior Member
[4] 中国人工智能学会会员
[5]
2024.1 -- 2027.12
中国计算机学会高级会员, 形式化方法常务委员
研究方向
暂无内容