劉志明 (電腦科學家)

劉志明
劉志明
	劉志明教授在英國牛津，攝於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年，劉志明獲「千人計劃」資助，轉崗到中國重慶西南大學擔任教授。