刘志明 Zhiming Liu

教授/Professor

西南大学 计算机与信息科学学院

简介  ABOUT

动态   NEWS

学术   ACADEMIC

刘志明教授长期从事软件理论和方法领域,尤其是形式化方法与模型驱动软件工程方法的研究。其主要成果包括基于模型/规约转化的容错程序设计与验证、概率时段演算(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的发起人。


欢迎访问

The Centre for Research and Innovation in Software Engineering (RISE) at

http://www.swu-rise.net.cn/

个人网页:

英语: http://www.swu-rise.net.cn/zhiming.liu

中文:http://computer.swu.edu.cn/zhimingliu


CONTACT BY SCHOLAT
想与我进行学术交流?
立即通过学者网的 工具与我联系!
Http://www.scholat.com/zhimingliu
Email:  
联系地址 :   重庆市北碚区天生路2号
扫一扫,访问我的主页
SCHOLAT.com 学者网
ABOUT US | SCHOLAT