刘志强,男,1975年出生,博士、副教授,西北工业大学软件与微电子学院副教授。

本页面主要目录有关于刘志强的:教育教学、主要研究方向与项目、主要科研成果与获奖等介绍

国籍

中华人民共和国

出生日期

1975

教育教学

主讲由美国卡内基梅隆大学引进课程“Data Structures and Algorithms (SSD5)”和研究生课程“网络与信息安全”,面向研究生和本科生开设双语教学课程“Programming Language Theory”。

参编国家级“十一五”规划教材《电子商务安全》。

主要研究方向与项目

研究方向

软件工程、形式化方法、程序设计语言理论和嵌入式软件。重点开展重写逻辑、软件形式化验证理论与技术、业务流程驱动的企业应用软件框架、数据驱动和模型驱动的软件测试与验证方法的研究,并致力于相关软件工具的开发。

科研项目

主持省部级基金2项,其他基金类项目3项,科技攻关项目2项;

参与863重点项目、“十二五”国防基础科研重点项目、科技部“十一五”国家科技支撑计划项目和国际科技合作专项项目等多项国家重点项目。

主要科研成果与获奖

科研成果

在重要的期刊和国际会议上以第一作者发表论文十余篇。

荣誉获奖

2011年,参加由教育部主办的“中国大学生服务外包创新应用大赛”,获得全国二等奖。2010和2011年连续两年指导学生参加由教育部主办的全国大学生电子商务“三创赛”,共获得专项奖2项、全国一等奖2项、三等奖2项。