信工学术论坛第72期—名家论坛2017-13
发布时间:2017年05月09日 12:05   |   阅读:2259 次  |   分类:科研学术动态     

应信息工程学院邀请,国家“千人计划”专家刘志明教授来我校交流访问。
报告题目:物联网中的数据和软件架构
报告时间:2017年5月10日(周三)10:00
报告地点:八角楼

报告人:刘志明教授

1

刘志明,西南大学教授、博导,第十一批国家“千人计划”专家。刘志明教授于1991年在英国华威大学获得博士学位,然后在华威大学做博士后研究;1994-2005年,担任莱切斯特大学讲师;2002-2013年任澳门联合国大学国际软件技术研究所(UNU-IIST)研究员、高级研究员;2013-2015年,担任英国伯明翰城市大学软件工程系教授。他是中国计算机学会会员、英国计算机协会会士、ACM高级会员;同时也是国际学术会议ICTAC, SEFM, FACS和SETTA的发起人。长期从事软件理论和方法领域,主要成果包括基于模型/规约转化的容错程序设计与验证、概率时段演算(Probabilistic Duration Calculus)及可靠性规约和证明、和基于构件的形式模型驱动软件工程方法rCOS。在主流杂志和会议发表著作150余篇,包括ACM Transactions on Programming Languages, FormalAspects of Computing, Science of Computer Programming以及Theoretical Computer Science等。其rCOS形式化方法曾获得第二届澳门特别行政区自然科学二等奖。    现正领导创建西南大学软件研究与创新中心(the Centre for Research and Innovation inSoftware Engineering, RISE)。主要研究兴趣在于新型的分布式计算、通信、控制和服务网络系统中的软件理论与方法,研究计算、知识表示于推理、数据分析和服务的理论融合和支持计算功能构件、知识构件、数据分析系统和服务动态集成和演化的软件构架模型。

欢迎广大师生参与!
 
科学技术发展院 信息工程学院2017年5月9日

分享到: