基本信息

张海宾　副教授硕导
硕士学科：(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人
基本要求：
掌握基本的计算机知识体系和编程能力；
刻苦钻研、勤于思考；
良好的英语表达、交流能力。