导师姓名刘坚导师类型硕士生导师工作状态在职职称教授最高学历硕士研究生所属学科硕士学科(081202)计算机软件与理论办公电话882046

导师姓名刘惠导师类型硕士生导师工作状态在职职称副教授最高学历博士研究生所属学科硕士学科(081202)计算机软件与理论办公电话029-8

导师姓名李青山导师类型硕士生导师工作状态在职职称教授最高学历博士研究生所属学科硕士学科(081202)计算机软件与理论博士学科(08

导师姓名霍红卫导师类型硕士生导师、博士生导师工作状态在职职称教授最高学历博士研究生所属学科硕士学科(081202)计算机软件与理论博士学科

导师姓名黄健斌导师类型硕士生导师工作状态在职职称副教授最高学历博士研究生所属学科硕士学科(081202)计算机软件与理论

导师姓名高琳导师类型硕士生导师、博士生导师工作状态在职职称教授最高学历博士研究生所属学科硕士学科(081202)计算机软件与理论(0812

导师姓名高海昌导师类型硕士生导师工作状态在职职称副教授最高学历博士研究生所属学科硕士学科(081202)计算机软件与理论办公电话029-

导师姓名段振华导师类型硕士生导师、博士生导师工作状态在职职称教授最高学历博士研究生硕士学科(081202)计算机软件与理论博士学科(081202)计算机软件与理论工作单位计算理论与技术研究所办公电话029-88202883办公地址新科技楼705通讯地址电子邮箱zhenhua_an@126.com主页地址http://web.xidian.e.cn/zhhan/个人简历段振华，博士，教授，博士生导师。1982年和1987年分别获西北大学学士和硕士学位，1989年到英国学习。1996年7月和1997年2月分别获Newcastle大学理学博士学位和Sheffield大学工学博士学位。2003年回国工作。现任西安电子科技大学计算理论与技术研究所所长。主要研究方向及感兴趣的领域（1）高可信软件技术；（2）P2P与服务计算（包括云计算）；（3）基于FPGA的嵌入式系统。研究成果与着作、个人代表作、获奖情况段教授领导的团队，开发了5个与项目相关的软件系统原型：●框架时序逻辑程序设计语言—FramedTempura解释器●Hp2p软件●模型检测器原型●WebServices支持环境●用c/c++语言设计开发了一个运行于linux操作系统的具有彩色图形界面的FPGA支持软件。已经发表的与项目相关的论文有：[1]ZhenhuaDuan,XiaoxiaoYang,MaciejKoutny,FramedTemporalLogicProgramming,ScienceofComputerProgramming,ElsevierScience，Acceptedpaper.2007[2]ZhenhuaDuan,CongTianandLiZhang,ADecisionProcereforPropositionalProjectionTemporalLogicwithInfiniteModels.ActaInformatica.AcceptedPaper.2007[3]ZhenhuaDuanandMaciejKoutny,Aframedtemporallogicprogramminglanguage,JournalofComputerScienceandTechnology,Vol19,No.3,May2004[4]DuanZ.,HolcombeM.,BellA.,Alogicforbiologicalsystems.ElsevierScience,BioSystems55(2000)93-105,2000[5]LihuiLei,ZhenhuaDuan,IntegratingAJAXandWebservicesforcooperativeimageediting,ITProfessional,Vol9,No3,p25-29,May/June,2007[6]ZhenhuaDuan,TemporalLogicandTemporalLogicProgramming.SciencePress,China,2006.[7]ZhenhuaDuan,ModelingandAnalysisofHybridSystems.SciencePress,China,2005.[8]ZhenhuaDuan,XiaoxiaoYang,MaciejKoutny,SemanticsofFramedTemporalLogicPrograms,ProceedingsofICLP2005Spain,Sigtes,LNCS3886,pp.356-370,SpringerVerlager,Oct.2005[9]ZhenhuaDuanandCongTian,DecidabilityofPropositionalProjectionTemporalLogicwithInfiniteModels.TheoryandApplicationsofModelsofComputation,LectureNotesinComputerScience,4484,521-532.Springer-Verlag,2007[10]CongTianandZhenhuaDuan,ModelCheckingPropositionalProjectionTemporalLogicBasedonSPIN.ICFEM2007,LectureNotesinComputerScience,4789,246-265.Springer-Verlag,2007[11]XiaoxiaoYang,ZhenhuaDuan,OperationalSemanticsofFramedTemporalLogicPrograms,SOFSEM2007,LNCS4362,pp.566-578.SpringerVerlag,Jan.2007[12]YongtaoMa,ZhenhuaDuan,XiaobingWang,XiaoxiaoYang:AnInterpreterforFramedTempuraandItsApplication.TASE2007:251-260，Shanghai,2007[13]PengMen,ZhenhuaDuan,BinYu,UtilizingFuzzyPetriNetforChoreagraphyBasedSemanticWebServicesDiscovery,ATPN07,Siedlce,Poland,LNCS,Springer,6,2007[14]LihuiLei,ZhenhuaDuan,SemanticMatchingofWebServicesforCollaborativeBusinessProcesses,LNCS4202，SpringerVerlag,2007[15]LihuiLei,ZhenhuaDuan,AutomatingWebServiceCompositionforCollaborativeBusinessProcesses,CSCWD07,IEEE,Melbourne,Australia,2007[16]ZhenhuaDuan,XiaobingWang,ImplementingPointerinTemporalLogicProgrammingLanguages,ProceedingofSBMF2006,pp.171-184,Natal,Brazil,Sep.2006[17]LihuiLei,ZhenhuaDuan,BinYu,SemanticMatchingofWebServicesBasedonChoreographies,TheProceedingsofthe10thInternationalConferenceofComputerSupportedCooperativeWorkinDesign(IEEE),P751-756,Nanjing,China.May2006[18]LihuiLei,ZhenhuaDuan,TransformingOWL-SProcessModelintoEDFAforServiceDiscovery,TheProceedingoftheIEEEInternationalConferenceonWebServices(ICWS06),p137-144,Chicago,USA.September,2006[19]ZhileZou,ZhenhuaDuan,JianliWang,AComprehensiveFrameworkforDynamicWebServicesIntegration,TheProceedingsofthe4thIEEEEuropeanConferenceonWebServices(ECOWS06),p211-220,Zurich,Switzerland,Dec.2006[20]ZhileZou,ZhenhuaDuan,BuildingBusinessProcessesorAssemblingServiceComponents:ReuseServiceswithBPEL4WSandSCA,TheProceedingsofthe4thIEEEEuropeanConferenceonWebServices(ECOWS06),p138-147,Zurich,Switzerland,Dec.2006[21]DuanZ.,KoutnyM.,andHoltC.:Projectionintemporallogicprogramming.InF.Pfenning,editor,ProceedingofLogicProgrammingandAutomaticReasoning,LectureNotesinArtificialIntelligence,asubseriesofLNCS,Vol.822,pp333-344,SpringerVerlag,July,1994.[22]ZhuoPeng,ZhenhuaDuan,Jian-JunQi,YangCao,ErtaoLv，“HP2P:AHybridHierarchicalP2PNetwork”,TheProceedingsofTheFirstInternationalConferenceontheDigitalSociety(IEEE)(ICDS2007),Guadeloupe,FrenchCaribbean,Jan.20079．[23]ErtaoLv,zhenhuaDuan,Jian-JunQi,YangCaoandZhuoPeng,“IncorporatingClustersintoHybridP2PNetwork”,TheProceedingsofTheFirstInternationalConferenceontheDigitalSociety(IEEE)(ICDS2007),Guadeloupe,FrenchCaribbean,Jan.2007[24]W.WangandZ.Duan:AMulti-FingerprintsBasedAntiSpamPeer-to-PeerNetwork,ISBN：4-916227-17-4,ISFST’04,Xian,ChinaOct.2004[25]段振华，带ε的回溯自动机，计算机科学，8，2003[26]雷丽珲,段振华，基于工作流模式的OWL-S过程模型分析及其应用，计算机科学，6月2007[27]张海宾，段振华，“多速率混合系统的符号化可达性分析”，西安交通大学学报2007年第四期[28]张海宾，段振华，“稠密时间区间时序逻辑的可满足性判定”，西安电子科技大学学报2007年第3期[29]张海宾，段振华，“混合投影时序逻辑与混合系统的形式化验证”，计算机科学(已录取)[30]刘洪燕，段振华，张鹏飞，“Web服务提供方安全模型的设计、建模和分析”，计算机技术与发展,Vol16,No11,p162-165,2006[31]张海宾*，段振华，“稠密时间区间时序逻辑的可满足性判定”，西安电子科技大学学报，Vol.34(3):463-467,2007.[32]雷丽晖*，段振华，“使用扩展区间时序逻辑为并发工作流建模”，西安电子科技大学学报，Vol.34(4):673-680,2007.[33]雷丽晖，段振华，“基于扩展投影时序逻辑的组合Web服务描述与验证”，西安交通大学学报，2007年第10期页码:1155-1159[34]张鹏飞段振华田聪“状态图到PTL形式规范的转化”,第三届全国软件与应用学术会议论文集(《计算机工程与科学》，vol28，NoA2,p122-125，Sep.2006[35]施小祥，段振华，“划分和时延驱动的动态可重构FPGA在线布局算法”，全国第六届嵌入式系统学术年会论文集《计算机技术与发展》Vol16,10月,2006）,12－15页,西安,2006年10月目前承担的科研项目及教学情况目前承担的项目：●*****开发方法及支持环境●信息服务的需求获取与建模●构造可信、高效软件系统的基础研究●组合Web服务的建模与验证●基于命题投影时序逻辑的模型检测目前承担研究生教学任务：基于互联网的计算 如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式

导师姓名杜军朝导师类型硕士生导师工作状态在职职称副教授最高学历博士研究生所属学科硕士学科(081202)计算机软件与理论电子邮箱junzha