劉志明

• 1978年--1982年本科數學專業，獲學士學位；

• 1985年--1987年，中科院軟體所系計算機科學研究生，獲碩士學位；

• 1988年--1991年，英國華威大學讀計算機科學博士研究生，獲博士學位。

• 1988年--1991年，英國華威大學（University of Warwick）助理研究員（Research Associate）；

• 1991年--1992年，丹麥技術大學（Danmarks Tekniske Universitet）客座科學家；

• 1992年--1994年，英國華威大學（University of Warwick）博士后研究員（Postdoctoral Research Fellow);

• 1994年--1995年，英國萊斯特大學（University of Leicester）計算機科學系講師；

• 1992年--2013年，聯合國大學國際軟體技術研究所（UNU-IIST,澳門）研究員、高級研究員（2002-2013）；

• 2013年--2015年，英國伯明翰城市大學講席教授、軟體工程研究中心主任；

• 2016年1月受聘西南大學計算機與信息科學學院教授。

主要研究方向為軟體建模、分析、設計、證明與驗證的相關理論、技術和工具；物聯網、信息物理融合系統、智慧城市、數據中心等系統與應用軟體相關的模型驅動軟體設計理論、方法，及基於構件與系統之系統體系結構的分析驗證。

工作流管理、健康醫療、環境管理、自然災害危險管理、設計自動化、工業自動化等領域的基於網路的複雜系統的軟體支持。

ACM高級會員 － Senior Member of ACM

澳門行政區首屆科學技術獎自然科學二等獎（2012）

英國計算機協會會士 － Fellow of British Computer Society

FACS（2003）、ICTAC（2004）、SEFM （2004）和SETTA （2015）發起人，並任FACS和ICTAC指導委員會（Steering Committee）主席至2010年，任FACS、ICTAC、SEFM和SETTA的指導委員會委員；曾任10多個國際會議的程序委員會主席；曾擔任60多個國際會議的程序委員會委員。國際雜誌Theoretical Computer Science、Science of Computer Programming、Formal Aspects of Computing的特刊編輯。

在國內國際知名的科研成果包括基於模型轉換的容錯軟體和實時程序的建模、規約、分析和證明理論與方法，概率時序演算（Probabilistic Duration Calculus）及可靠性規約和證明，rCOS形式化模型驅動軟體設計方法。在主流國際雜誌和會議發表文章和編輯書籍、雜誌特刊級國際會議錄150多篇/卷。其中包括ACM OPLAS、Theoretical Computer Science、Science of Computer Programming、Formal Aspects of Computing、中國科學等等雜誌，以及國際軟體工程大會（ICSE）、國際形式化方法大會（FM）等國際會議。