师资队伍
最新动态
当前位置: 首页>>师资队伍>>学院教师>>正文

刘志强

2012年04月27日   点击:[]

1975年生,男,工学博士,副教授。2012年12月至2014年1月在美国伊利诺伊州立大学香槟分校(UIUC)和波特兰州立大学(PSU)访学。

主要研究领域:软件工程、形式化方法、实时嵌入式软件。重点开展软件形式化验证理论与技术、业务流程驱动的企业应用软件框架、数据驱动和模型驱动的软件测试与验证方法的研究,并致力于相关软件工具的开发。

主持国家“十三五”基础科研重大项目子课题1项,省部级基金3项,其他基金类项目3项,科技攻关项目2项;参与863重点项目、“十二五”基础科研重点项目、科技部“十一五”国家科技支撑计划项目和国际科技合作专项项目等多项国家重点项目。在重要的期刊和国际会议上以第一作者发表论文十余篇。

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

获陕西省教学成果一等奖1项,校教学成果一等奖1项。参编国家级“十二五”规划教材《电子商务安全》。

联系方式:
电子邮件:zqliu@nwpu.edu.cn
办公电话:(029)88495607

 

 
西北工业大学 就业信息网 芹菜网 三航四方BBS 西北工业大学微博 校园公告 西工大新闻网 电子邮件

版权所有 © 2009 西北工业大学软件与微电子学院  
陕西省西安市友谊西路127号 邮编:710072