个人简历

个人简介
张海宾，1982年出生于山东菏泽，2003年本科毕业于中国海洋大学，随后考入西安电子科技大学攻读硕士学位，2004年直博，2007年获得工学博士学位留校任教，2010年晋升副教授，硕士生导师。
科学研究
主持的科研项目：
[1]国家自然科学基金面上项目(61771373)，2018.01-2021.12
[2]国家自然科学基金面上项目(61373043)，2014.01-2017.12
[3]国家自然科学基金青年基金(61003079)，2011.01-2013.12
[4]陕西省科技攻关计划项目(2009K01-36)，2010.01-2011.12
[5]教育部博士点基金（新教师计划）项目(20100203120012)，2011.01-2013.12
[6]中央高校基本科研业务费资助项目(JY10000903014)，2009.9-2011.9
[7]博士后基金项目(第49批)，2011.8-2012.9
[8]横向项目“陕西智能电网建设技术支持平台”，2014.02-2014.10
参与的科研项目
[1]973项目1项
[2]国家自然科学基金项目重点项目2项
[3]国家自然科学基金面上项目2项
[4]国家自然科学基金重大专项1项
[5]装备部“十一五”国防预研项目1项，“十二五”预研项目1项
荣誉获奖
科研获奖：
[1]2009年度陕西高等学校科学技术奖一等奖
[2]2009年度陕西省科学技术奖二等奖
课程教学
本科生课程：《数据结构》、《操作系统》
招生要求
关于研究生招生的信息：
招生人数3~5人
基本要求：
掌握基本的计算机知识体系和编程能力；
刻苦钻研、勤于思考；
良好的英语表达、交流能力。

研究领域

1.高可信软件技术，包括软件测试、验证，大型信息系统的安全验证等。
2.图形图像相关技术，包括GIS应用，医学图像处理等。
3.传感器网络，网络安全，人工智能

近期论文

近年发表的学术论文:
[1].HaibinZhang;JianpengLi;BoWen;YijieXun;JiajiaLiu,ConnectingIntelligentThingsinSmartHospitalusingNB-IoT,IEEEInternetofThingsJournal,2018.(SCI1区)
[2].HaibinZhang,JiajiaLiu,NeiKato.ThresholdTuningBasedWearableSensorFaultDetectionforReliableMedicalMonitoringUsingBayesianNetworkModel.IEEESystemsJournal,pp.1-11,2016.
[3].HaibinZhang,ChengZhao,RongLi,Aformalstructureforsymbolicreachabilityanalysisofrectangularhybridsystems,SCIENCECHINATechnologicalSciences,59(2):347-356,2016.
[4].HaibinZhang,JiajiaLiu,RongliandLinYang.FaultDiagnosisofBodySensorNetworksUsingHiddenMarkovModel.Peer-to-PeerNetworkingandApplications,DOI:10.1007/s12083-016-0464-1.
[5].WenSun,JiajiaLiu,HaibinZhang.WhenSmartWearablesMeetIntelligentVehicles:ChallengesandFutureDirections.IEEEWirelessCommunicationsMagazine,2017.
[6].HaibinZhang,JiajiaLiu.ADataReconstructionModelAddressingLossandFaultsinMedicalBodySensorNetworks.The59thAnnualIEEEGlobalCommunicationsConference(GLOBECOM2016)，2016.
[7].HaibinZhang,JiajiaLiu,RongLi,FaultDetectionforMedicalBodySensorNetworksUnderBeyesianNetworkModel,IEEEMSN2015,pp.37-42,2015.
[8].HaibinZhang,JiajiaLiu,FaultDiagnosingECGinBodySensorNetworksBasedonHiddenMarkovModel,TheIEEEMSN2014,pp.123-129,2014.
[9].HaibinZhang,LiyaYang,Structuresforreachabilityproblemsofmultiratehybridsystems,AdvancedMaterialsResearch,466:754-758,2012.
[10].HaibinZhang.Modelcheckingmultiratehybridsystemswithrestrictedconvexpolyhedron.Proceedingof5thIEEEInternationalSymposiumonTheoreticaAspectsofSoftwareEngineering.pp.93-99.2011.
[11].HaibinZhangandZhenhuaDuan.SymbolicAlgorithmicAnalysisofRectangularHybridSystems.JournalofComputerScienceandTechnology.2009.24(3):531-543.(SCI:000266386500011)
[12].HaibinZhangandZhenhuaDuan.SymbolicAlgorithmAnalysisofHybridSystems.ProceedingofThe5thAnnualConferenceonTheoryandApplicationsofModelsofComputation(TAMC’08).2008.LNCS4978.pp.294-305.
[13].HaibinZhangandZhenhuaDuan.ModelCheckingRectangularHybridSystemsWithTimedComputationTreeLogic.Proceedingof4thIEEEInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering.pp.126-131.2010.
[14].HaibinZhangandZhenhuaDuan.SymbolicReachabilityAnalysisofRectangularHybridSystems.ProceedingofThe2thIEEEInternationalConferenceonIntelligentComputerCommunicationandProcessing(ICCP’06).2006.pp.240-248.
[15].HaibinZhangandlongZhang.SynthesisofHybridSystems.ProceedingofIEEEInternationalConferenceonSystemDesignandDataProceesing.pp.284-287,2011.
[16].HaibinZhang,WeijunZhunandlongZhang.ModelCheckingHybridSystemsWithinHybridTemporalLogic.ProceedingofIEEEInternationalConferenceonSystemDesignandDataProceesing.pp.319-322,2011.
[17].HaibinZhang,XiaobingWang,LiyaYang.StructuresforReachabilityProblemsofMultirateHybridSystems.Proceedingof3rdIEEEInternationalConferenceonComputerDesignandApplications.acceptedpaper.
[18].HaibinZhang,BohuHuang,LongZhang.ModelcheckingMultirateHybridSystemswithDenseTimedIntervalTemporalLogic.Proceedingof3rdIEEEInternationalConferenceonComputerDesignandApplications.acceptedpaper.
[19].WeijunZhu,ZhongyongWang,HaibinZhang.IntrusionDetectionbasedonModelCheckingProjectionTemporalLogic,ChinaCommunications,8(3):66-72,2011.
[20].张海宾，段振华.混合系统的符号化可达性分析．软件学报．2008.19(12):3111-3121.
[21].朱维军,张海宾,周清雷.离散时间区间时序逻辑可满足性的判定.电子学报.2010.38(5):1039-1045.
[22].张海宾，段振华.稠密时间区间时序逻辑的可满足性判定.西安电子科技大学学报.2007.34(3):463-467.
[23].张海宾，段振华.多速率混合系统的符号化可达性分析.西安交通大学学报.2007.41(4):412-415.
[24].张海宾，段振华.多速率混合系统的模型检测.西安电子科技大学学报.2008.35(1):60-64.
[25].张海宾，段振华.区间时序逻辑的模型检测.西安电子科技大学学报.2009.36(2):338-342.
[26].张海宾，段振华.混合投影时序逻辑与混合系统的形式化验证.计算机科学.2007.34(11):279-282.
[27].朱维军，张海宾，周清雷.命题投影时序逻辑并发建模与自动验证，华中科技大学学报,2010.38(8):77-80.