导师姓名：刘志强
性别：
人气指数：101

所属院校：西北工业大学
所属院系：软件与微电子学院
职称：副教授
导师类型：
招生专业：软件工程
研究领域： 软件工程、形式化方法、实时嵌入式软件
研究领域： 软件工程、形式化方法、实时嵌入式软件 [收起]




通讯方式 :
办公电话：(029)**
电子邮件：zqliu@nwpu.edu.cn


科研工作 :
重点开展软件形式化验证理论与技术、业务流程驱动的企业应用软件框架、数据驱动和模型驱动的软件测试与验证方法的研究，并致力于相关软件工具的开发。 主持国家“十三五”基础科研重大项目子课题1项，省部级基金3项，其他基金类项目3项，科技攻关项目2项；参与863重点项目、“十二五”基础科研重点项目、科技部“十一五”国家科技支撑计划项目和国际科技合作专项项目等多项国家重点项目。在重要的期刊和国际会议上以第一作者发表论文十余篇。