刘志明 (电脑科学家)

刘志明
刘志明
	刘志明教授在英国牛津，摄于2015年
出生	1961年10月10日（62岁）; 中国河北省
国籍	中华人民共和国
公民权	英国
母校	中国科学院; 华威大学
知名于	rCOS（英语：rCOS (computer sciences)）
	科学生涯
机构	莱斯特大学; 联合国大学国际软件技术研究所; 伯明翰城市大学; 西南大学
博士导师	Mathai Joseph（英语：Mathai Joseph）
受影响自	周巢尘; 何积丰; Anders P. Ravn（英语：Anders P. Ravn）

刘志明（1961年10月10日—），电脑科学家，英国电脑协会高级会士，现任西南大学电脑与资讯科学学院教授^[1]。

生平[编辑]

出生于中华人民共和国河北省，后在河南洛阳学习，并于1982年获取数学学士学位。1988年，获取中国科学院软件研究所电脑科学硕士学位；1991年获得英国华威大学的博士学位，博士论文为《基于模型转换的容错程序》（英语：Fault-Tolerant Programming by Transformations）。

获得博士学位后，刘志明于1991年至1992年间以客座科学家身份在位于Lyngby（英语：Lyngby）的丹麦理工大学电脑科学系工作。随后返回英国华威大学，任博士后研究员至1994年10月，期间研究实时程序和容错软件的规范技术。1994年至1995年，前往莱斯特大学担任电脑科学讲师。2002年至2013年期间先后在联合国大学国际软件技术研究所（UNU-IIST）担任研究员和高级研究员。2013年10月再赴英国，在伯明翰城市大学担任软件工程教授。2016年，刘志明获“千人计划”资助，转岗到中国重庆西南大学担任教授。