劉志強

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

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

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

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

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

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

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