劉志明 (電腦科學家)

關於與「劉志明 (計算機科學家)」標題相近或相同的條目，請見「劉志明」。

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