劉志明教授長期從事軟件理論和方法領域，尤其是形式化方法與模型驅動軟件工程方法的研究。其主要成果包括基于模型／規約轉化的容錯程序設計與驗證、概率時段演算（Probabilistic Duration Calculus）及可靠性規約和證明、和基于構件的形式化模型驅動軟件工程方法rCOS。其代表性著作150余篇，發表在包括ACM Transactions on Programming Languages, Formal Aspects of Computing, Science of Computer Programming以及Theoretical Computer Science等在內的形式化方法領域頂級期刊及主流學術會議上。其rCOS形式化方法曾獲得第二屆澳門特別行政區自然科學二等獎。劉志明教授于2016年1月入選第十一批國家“特聘專家計劃”并于2016年1月全職加入西南大學（中國重慶），領導創建西南大學軟件研究與創新中心（the Centre for Research and Innovation in Software Engineering, RISE）；子2021年起加入西北工業大學軟件學院，領導建設“智能嵌入式軟件研究中心（CIES）”，中心位于西北工業大學太倉校區，依托軟件學院和陜西省嵌入式系統重點實驗室，研究方向包括
1.軟件理論與方法：并行與分布式計算理論、實時多核多線程計算理論、智能軟件理論與方法，軟件形式化方法，軟件的智能開發方法，人機物融合泛在計算理論以及系統工程方法。
2.集成開發技術和開發環境：嵌入式軟件系統架構建模和需求規約語言；模型設計、模型轉換、分析、驗證、代碼生成與仿真測試技術和工具，模型驅動的智能化軟件構造與重用技術及工具平臺。
3. 典型應用示范：面向國家重大戰略需求，圍繞航空航天工業和工業制造等領域的嵌入式軟件的發展需要，進行上述理論、方法、技術和工具平臺的示范性應用和技術創新與轉化
劉志明教授于1991年在英國華威大學獲得博士學位，并于1991-1994年間在華威大學完成博士后研究；1994-2005年，擔任萊切斯特大學講師；2002-2015年相繼擔任澳門聯合國大學國際軟件技術研究所（UNU-IIST）研究員、高級研究員；2013-2015年，擔任英國伯明翰城市大學軟件工程系教授。他擔任的學術職務包括：中國計算機學會會員，英國計算機協會會士，ACM高級會員；同時也是國際學術會議ICTAC, SEFM, FACS和SETTA的發起人。
Scholat.com/zhimingliu
重慶市北碚區天生落2號25教學樓計算機與信息科學學院
