劉志強(西北工業大學)

劉志強，男，1975年出生，博士、副教授，西北工業大學軟體與微電子學院副教授。

基本介紹

• 中文名：劉志強
• 國籍：中國
• 出生日期：1975
• 職業：教師
• 學位/學歷：博士、研究生
• 專業方向：軟體工程、形式化方法、程式設計語言理論和嵌入式軟體
• 職務：副教授
• 學術代表作：《電子商務安全》 

教育教學

主講由美國卡內基梅隆大學引進課程“Data Structures and Algorithms (SSD5)”和研究生課程“網路與信息安全”，面向研究生和本科生開設雙語教學課程“Programming Language Theory”。

參編國家級“十一五”規劃教材《電子商務安全》。

主要研究方向與項目

研究方向

軟體工程、形式化方法、程式設計語言理論和嵌入式軟體。重點開展重寫邏輯、軟體形式化驗證理論與技術、業務流程驅動的企業套用軟體框架、數據驅動和模型驅動的軟體測試與驗證方法的研究，並致力於相關軟體工具的開發。

科研項目

主持省部級基金2項，其他基金類項目3項，科技攻關項目2項；

參與863重點項目、“十二五”國防基礎科研重點項目、科技部“十一五”國家科技支撐計畫項目和國際科技合作專項項目等多項國家重點項目。

主要科研成果與獲獎

科研成果

在重要的期刊和國際會議上以第一作者發表論文十餘篇。

榮譽獲獎

2011年，參加由教育部主辦的“中國大學生服務外包創新套用大賽”，獲得全國二等獎。2010和2011年連續兩年指導學生參加由教育部主辦的全國大學生電子商務“三創賽”，共獲得專項獎2項、全國一等獎2項、三等獎2項。