所在地：陕西西安市 入职年份： 资料待完善 学历： 资料待完善 毕业院校： 资料待完善
从事领域 资料待完善
擅长能力 航空、航天科学技术
工学博士，副教授，硕士生导师。中国计算机学会高级会员，IEEE会员，ACM会员。研究方向：网络化嵌入式软件设计分析与验证技术、形式化方法。承担计算机学院本科计算机网络原理教学工作，并获陕西省精品课程。近年来，主持航空基金、西安市科技创新项目等课题2项，作为核心成员参加国家十一五国防预研项目、核高基重大专项、国家自然基金重点课题、国家863重大专项及目标导向类课题等7项。获陕西省科技进步一等奖1项，陕西省科技进步三等奖1项。在国际学术会议、国内核心学术期刊等发表学术论文10余篇，SCI、EI、ISTP索引6篇次，申请国家发明专利6项、获国家软件著作权6项。