学院概况
 学院简介 
 学院领导 
 组织机构 
 师资队伍 
 学术指导委员会 
 学位指导委员会 
 教学指导委员会 
相关链接
学校福运彩票平台
教务系统
在线办公
图书资源
学生事务服务中心
后台管理
当前位置: 网站福运彩票平台>>学术科研>>正文
西南大学刘志明教授受邀到我院举行学术讲座
2016-09-14     (点击: )

 

 

913下午三点,受我院邀请,西南大学国家“千人计划”专家刘志明教授在西区综合楼1202会议室举行题为“智慧城市、物联网、大数据、云计算等基本概念及其之间的关系”的讲座。学校向贤礼副校长向刘志明教授颁发了“兼职教授”聘书。我院部分师生聆听了讲座,讲座由我院院长王力教授主持。

向贤礼副校长(左)向刘志明教授(右)颁发“兼职教授”聘书

刘教授在讲座中给大家简明生动地介绍了智慧城市、物联网、大数据、云计算等一系列基本概念,并详细讲解了智慧城市建设中广泛运用的诸如信息通信技术(ICT)、普适计算、大数据、物联网(IoT)、面向服务的体系结构(SOA)、云计算和网络安全等关键技术,并形象地总结,在智慧城市的建设中,“设施和设备是支撑,软件是灵魂、数据是血液,政策和法规是保障”。

刘教授用平实易懂的语言,深入浅出,引起了到场听众的强烈共鸣。讲座使到场的学生拓宽了视野,较深入地了解了自己专业的发展现状,明确自身今后的努力方向。

我院王力院长(右)主持讲座、介绍刘志明教授

 

刘志明教授在讲座中

 

讲座现场

 

 

 

人物链接

 

  国家“千人计划”专家刘志明教授个人简介

 

刘志明教授长期从事软件理论和方法领域,尤其是形式化方法与模型驱动软件工程方法的研究。

其主要成果包括基于模型/规约转化的容错程序设计与验证、概率时段演算(Probabilistic Duration Calculus)及可靠性规约和证明、和基于构件的形式化模型驱动软件工程方法rCOS。其代表性著作150余篇,发表在包括ACM Transactions on Programming Languages, Formal Aspects of Computing, Science of Computer Programming以及Theoretical Computer Science等在内的形式化方法领域顶级期刊及主流学术会议上。其rCOS形式化方法曾获得第二届澳门特别行政区自然科学二等奖。刘志明教授于2016年1月入选第十一批国家“千人计划专家”并于2016年1月全职加入西南大学(中国重庆),现正领导创建西南大学软件研究与创新中心(the Centre for Research and Innovation in Software Engineering, RISE)。

刘志明教授于1991年在英国华威大学获得博士学位,并于1991-1994年间在华威大学完成博士后研究;1994-2005年,担任莱切斯特大学讲师;2002-2013年相继担任澳门联合国大学国际软件技术研究所(UNU-IIST)研究员、高级研究员;2013-2015年,担任英国伯明翰城市大学软件工程系教授。

他担任的学术职务包括:中国计算机学会会员,英国计算机协会会士,ACM高级会员;同时也是国际学术会议ICTAC, SEFM, FACS和SETTA的发起人。

 

 

上一条:北航孙伟教授受邀在我院举行学术讲座
下一条:西南大学廖剑伟博士应邀举行科研项目申报专题讲座
上海11选5走势图 易玩棋牌app下载 上海11选5走势图 易玩棋牌app下载 上海11选5走势图 上海11选5开奖结果 上海11选5 上海11选5 悠洋棋牌APP下载 上海11选5