9月13日下午三点，受我院邀请，西南大学国家“千人计划”专家刘志明教授在西区综合楼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的发起人。