关于刘关俊教授、王寿光教授、夏云霓副教授学术报告的通知

作者: 毕玉成 时间: 2019-12-17 点击次数: 376

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

报 告 人:刘关俊 教授

时  间:20191218日 上午9:00-10:00

地  点:工科楼E1011

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

 

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

报 告 人:王寿光 教授

时  间:20191218日 下午3:00-4:00

地  点:工科楼E1011

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

 

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

报 告 人:夏云霓 副教授

时间:20191218日 下午4:30-5:30

地点:工科楼E1011

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


计算机科学与技术学院

2019年12月17日

返回顶部