所在地：陕西西安市 入职年份： 资料待完善 学历： 资料待完善 毕业院校： 资料待完善
从事领域 资料待完善
擅长能力 信息物理融合系统、嵌入式实时计算、系统仿真与验证、操作系统实时调度等领域
分别于2000年7月、2003年4月于西北工业大学计算机学院获学士、硕士学位。主要研究方向为嵌入式系统仿真验证技术，模型驱动的嵌入式软件设计方法。近年来作为主要成员参与了国家核高基专项课题、国家自然科学基金重点课题、国家863重点课题、国防预研课题等的研究与开发工作，在相关国际学术会议、国内核心期刊发表论文十余篇，申请/获得国家专利、软件著作权2项，研究成果“网络化嵌入式软件平台”获陕西省科技成果一等奖。主讲本科生专业基础课程《操作系统原理》获得国家级精品课程，参与“教育部-微软精品课程”建设工作。