刘志明 (计算机科学家)

关于与“刘志明 (计算机科学家)”标题相近或相同的条目，请见“刘志明”。

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

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

生平

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

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