劉志明(西南大學教授)

人物履歷

教育背景

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的特刊編輯。

劉志明(西南大學教授)

基本介紹