科研工作:

主要从事信息物理融合系统、嵌入式实时计算、系统仿真与验证、操作系统实时调度等领域的研究。参加了国家863重点项目“CPS系统建模、分析与仿真验证技术”、国家自然科学基金重点基金课题“高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究”、国家863课题“面向嵌入式软件的生产线”等多项科研课题的研究与开发，承担校基础研究基金课题“面向CPS的异构事件近似语义匹配方法研究”及多项面向嵌入式系统的软件开发类课题，在国内外学术期刊和国际会议上发表论文二十多篇。

教育背景:

2010.3 - : Ph. D., 计算机科学与技术，西北工业大学2000.9 - 2003.3: 硕士，计算机应用技术，西北工业大学1996.9 - 2000.7: 本科，计算机科学与技术，西北工业大学