劉志明 (計算機科學家)

劉志明
劉志明
	劉志明教授在英國牛津，攝於2015年
出生	1961年10月10日（63歲）; 中國河北省
國籍	中華人民共和國
公民權	英國
母校	中國科學院; 華威大學
知名於	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年，劉志明獲「千人計劃」資助，轉崗到中國重慶西南大學擔任教授。

劉志明
劉志明教授在英國牛津，攝於2015年
出生	(1961-10-10) 1961年10月10日（63歲）中國河北省
國籍	中華人民共和國
公民權	英國
母校	中國科學院華威大學
知名於	rCOS（英語：rCOS (computer sciences)）
科學生涯
機構	萊斯特大學聯合國大學國際軟件技術研究所伯明翰城市大學西南大學
博士導師	Mathai Joseph（英語：Mathai Joseph）
受影響自	周巢塵何積豐 Anders P. Ravn（英語：Anders P. Ravn）