信息工程学院高质量发展之学术报告第一讲

为了进一步加强学院学术氛围，跟踪学科前沿，与国内外优秀同行建立良好合作关系，提高学院学术影响力，同时扩大师生视野，提高师生学术创新能力，提高学院发展质量，我院将开展系列学术报告，本次报告为系列报告第一讲。

报告主题：基于Petri网的计算树逻辑（符号）模型检测

报告大纲：基于Petri网验证计算树逻辑的（符号）模型检测、基于知识Petri网验证知识计算树逻辑的（符号）模型检测、以及基于时间Petri网验证时间计算树逻辑的模型检测等方面的知识。

报告时间：2022年11月18日上午10点

报告地点：腾讯会议（会议号：775-551-576）

主讲人简介：刘关俊，同济大学教授，博士生导师。2011年获同济大学计算机软件与理论专业博士学位，同年赴新加坡科技设计大学从事博士后工作，2013年回国进入同济大学计算机科学系工作，随后受德国洪堡基金资助于柏林洪堡大学从事博士后工作。主要研究兴趣包括：Petri网理论、模型检测、机器学习、工作流系统、嵌入式系统、物理信息系统、无人机协同、以及网络交易欺诈检测等。主持国家自然科学基金3项，发表论文120余篇，出版学术著作3本。

诚挚邀请感兴趣的老师和学生在线参加本次研讨会！