报告题目一：基于Petri网的模型检测

报 告 人：刘关俊 教授

时  间：2019年12月18日 上午9:00-10:00

地  点：工科楼E座1011

报告人简介：教授，博士生导师，2011年毕业于同济大学计算机软件与理论专业，先后于新加坡科技设计大学、德国柏林洪堡大学（德国洪堡基金资助）从事博士后研究工作，2013年进入同济大学计算机科学系工作至今。主持国家自然科学基金2项、上海市曙光人才项目1项、中央高校交叉项目重大项目1项，获得国家科技进步二等奖（2016）、中国电子学会自然科学一等奖（2016）、上海市科技进步一等奖（2015）、教育部国务院学位委员会首届博士研究生学术新人奖（2010）、上海市优秀博士学位论文奖（2014）、上海市计算机学会协同计算与信息服务专委会优秀论文奖（2017）、13thIEEE ICNSC最佳学生论文提名奖（2016）等。目前是IEEE Senior Member、中国计算机学会形式化方法专委会通讯委员、中国自动化学会网络信息服务专委会委员、中国自动化学会离散事件动态系统工作组委员。出版学术专著1本，发表学术论文90余篇，他人引用400余次，包括来自中国科学院、中国工程院、荷兰皇家艺术与科学院、欧洲科学院、欧洲科学与艺术院、俄罗斯工程院等国家/际科学院与工程院的16位院士、以及来自IEEE、IAPR、IFAC、IEICE等国际知名学会的19位会士。

报告题目二：离散事件系统及相关问题研究

报 告 人：王寿光 教授

时  间：2019年12月18日 下午3:00-4:00

地  点：工科楼E座1011

报告人简介：王寿光，浙江温州乐清人，现任浙江工商大学系统控制建模研究院院长、IEEE/CAA Journal of Automatica Sinica(自动化学报英文版）杂志副主编、IEEE Access杂志副主编、IEEE高级会员、省杰出青年基金获得者、省中青年学科带头人、中国计算机学会高级会员、浙江工商大学信电学院教授、东北大学兼职博士生导师、卡利亚里大学合作博士生导师。以第一作者或通讯作者发表10多篇IEEE Transactions论文，其中IEEE Trans. Automat. Contr.4篇。

报告题目三：恶劣条件下QoS感知的服务组合与工作流调度

报 告 人：夏云霓 副教授

时间：2019年12月18日 下午4:30-5:30

地点：工科楼E座1011

报告人简介：理学博士，博士后，副教授，博士生导师，国际电气和电子工程师协会高级会员（IEEE SENIOR MEMBER）。2003年7月毕业于重庆大学计算机系，获工学学士学位。2008年7月毕业于北京大学信息学院计算机软件与理论专业，获理学博士学位。2006-2007年在微软亚洲研究院理论组从事分布式算法性能分析的研究，2013年在美国新泽西理工学院周孟初教授（IEEE FELLOW）处进行访问研究。研究领域：目前主要从事云计算,可信计算,Web服务,软件工程形式化,面向服务软件工程，协同过滤推荐的研究。

银河电子游戏1331

2019年12月17日