劉志明[西南大學教授]

劉志明，1987年畢業於中國科學院軟體所，1991年在英國華威大學獲得博士學位。英國計算機協會會士、西南大學教授、南京航空航天大學兼職教授。 現任西南大學軟體研究與創新中心主任。 主要從事軟體理論和方法領域，尤其是形式化方法與模型驅動軟體工程方法的研究。其主要成果包括基於模型/規約轉化的容錯程式設計與驗證、機率時段演算（Probabilistic Duration Calculus）及可靠性規約和證明、和基於構件的形式模型驅動軟體工程方法rCOS。

人物履歷

教育背景

•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）等國際會議。