张海宾副教授硕导硕士学科：(081202)计算机软件与理论工作单位：计算机学院联系方式通信地址：电子邮箱：hbzhang@mail.xidian.edu.cn办公电话：办公地点：
个人简介张海宾，1982年出生于山东菏泽，2003年本科毕业于中国海洋大学，随后考入西安电子科技大学攻读硕士学位，2004年直博，2007年获得工学博士学位留校任教，2010年晋升副教授，硕士生导师。
主要研究方向1.高可信软件技术，包括软件测试、验证，大型信息系统的安全验证等。2.图形图像相关技术，包括GIS应用，医学图像处理等
-----------------------------------------------------------------
基本信息
张海宾副教授硕导硕士学科：(081202)计算机软件与理论工作单位：计算机学院联系方式通信地址：电子邮箱：hbzhang@mail.xidian.edu.cn办公电话：办公地点：
个人简介张海宾，1982年出生于山东菏泽，2003年本科毕业于中国海洋大学，随后考入西安电子科技大学攻读硕士学位，2004年直博，2007年获得工学博士学位留校任教，2010年晋升副教授，硕士生导师。
主要研究方向1.高可信软件技术，包括软件测试、验证，大型信息系统的安全验证等。2.图形图像相关技术，包括GIS应用，医学图像处理等
-----------------------------------------------------------------
科学研究主持的科研项目：[1]国家自然科学基金青年基金(61003079)，2011.01-2013.12[2]陕西省科技攻关计划项目(2009K01-36)，2010.01-2011.12[3]教育部博士点基金（新教师计划）项目(**012)，2011.01-2013.12[4]中央高校基本科研业务费资助项目(JY**)，2009.9-2011.9[5]博士后基金项目(第49批)，2011.8-2012.9
参与的科研项目[1]973项目1项[2]国家自然科学基金项目重点项目2项[3]国家自然科学基金面上项目2项[4]国家自然科学基金重大专项1项[5]装备部“十一五”国防预研项目1项，“十二五”预研项目1项
-----------------------------------------------------------------
学术论文近年发表的学术论文:[1].HaibinZhangandZhenhuaDuan.SymbolicAlgorithmicAnalysisofRectangularHybridSystems.JournalofComputerScienceandTechnology.2009.24(3):531-543.(SCI:**011)[2].HaibinZhangandZhenhuaDuan.SymbolicAlgorithmAnalysisofHybridSystems.ProceedingofThe5thAnnualConferenceonTheoryandApplicationsofModelsofComputation(TAMC’08).2008.LNCS4978.pp.294-305.[3].HaibinZhangandZhenhuaDuan.ModelCheckingRectangularHybridSystemsWithTimedComputationTreeLogic.Proceedingof4thIEEEInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering.pp.126-131.2010.[4].HaibinZhangandZhenhuaDuan.SymbolicReachabilityAnalysisofRectangularHybridSystems.ProceedingofThe2thIEEEInternationalConferenceonIntelligentComputerCommunicationandProcessing(ICCP’06).2006.pp.240-248.[5].HaibinZhangandlongZhang.SynthesisofHybridSystems.ProceedingofIEEEInternationalConferenceonSystemDesignandDataProceesing.pp.284-287,2011.[6].HaibinZhang,WeijunZhunandlongZhang.ModelCheckingHybridSystemsWithinHybridTemporalLogic.ProceedingofIEEEInternationalConferenceonSystemDesignandDataProceesing.pp.319-322,2011.[7].HaibinZhang,XiaobingWang,LiyaYang.StructuresforReachabilityProblemsofMultirateHybridSystems.Proceedingof3rdIEEEInternationalConferenceonComputerDesignandApplications.acceptedpaper.[8].HaibinZhang,BohuHuang,LongZhang.ModelcheckingMultirateHybridSystemswithDenseTimedIntervalTemporalLogic.Proceedingof3rdIEEEInternationalConferenceonComputerDesignandApplications.acceptedpaper.[9].WeijunZhu,ZhongyongWang,HaibinZhang.IntrusionDetectionbasedonModelCheckingProjectionTemporalLogic,ChinaCommunications,8(3):66-72,2011.[10].张海宾，段振华.混合系统的符号化可达性分析．软件学报．2008.19(12):3111-3121.[11].朱维军,张海宾,周清雷.离散时间区间时序逻辑可满足性的判定.电子学报.2010.38(5):1039-1045.[12].张海宾，段振华.稠密时间区间时序逻辑的可满足性判定.西安电子科技大学学报.2007.34(3):463-467.[13].张海宾，段振华.多速率混合系统的符号化可达性分析.西安交通大学学报.2007.41(4):412-415.[14].张海宾，段振华.多速率混合系统的模型检测.西安电子科技大学学报.2008.35(1):60-64.[15].张海宾，段振华.区间时序逻辑的模型检测.西安电子科技大学学报.2009.36(2):338-342.[16].张海宾，段振华.混合投影时序逻辑与混合系统的形式化验证.计算机科学.2007.34(11):279-282.[17].朱维军，张海宾，周清雷.命题投影时序逻辑并发建模与自动验证，华中科技大学学报,2010.38(8):77-80.
-----------------------------------------------------------------
荣誉获奖科研获奖：[1]2009年度陕西高等学校科学技术奖一等奖[2]2009年度陕西省科学技术奖二等奖
-----------------------------------------------------------------
科研团队团队教师博士研究生
硕士研究生
-----------------------------------------------------------------
课程教学本科生课程：《数据结构》、《操作系统》
-----------------------------------------------------------------
招生要求~~~~~~~~~~~~~~~~~~~~~~~~~~关于研究生招生的信息：~~~~~~~~~~~~~~~~~~~~~~~~~~招生人数3~5人基本要求：掌握基本的计算机知识体系和编程能力；刻苦钻研、勤于思考；良好的英语表达、交流能力。