【人物简介】

　　张凡，工学博士，副教授，硕士生导师。中国计算机学会高级会员，IEEE会员，ACM会员。主要从事网络化嵌入式软件设计分析与验证技术、形式化方法研究。曾获陕西省科技进步一等奖1项，陕西省科技进步三等奖1项。

【研究方向】

嵌入式软件设计分析与验证,形式化方法。

【研究成果】

　　申请国家发明专利6项、获国家软件著作权6项。

【科研项目】

　　主持航空基金、西安市科技创新项目等课题2项，作为核心成员参加国家十一五国防预研项目、核高基重大专项、国家自然基金重点课题、国家863重大专项及目标导向类课题等7项。

【论文著作】

　　在国际学术会议、国内核心学术期刊等发表学术论文10余篇，SCI、EI、ISTP索引6篇次。