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