姓名：黄文清性别：女出生年月：1969年01月职称：副教授所在学院：信息电子学院个人简介：黄文清，女，1969年01月，硕士，副教授，硕士生导师，浙江理工大学信息

姓名：丁佐华性别：男职称：教授所在学院：信息电子学院个人简介：丁佐华，男，博士，浙江理工大学教授，硕士生导师，中国计算机学会软件工程专业委员会委员，中国计算机学会Petri网专业委员会委员。1996年、1998年分获UniversityofSouthFlorida数学博士、计算机硕士，1998-2001在AdvancedFiberCommunication公司任高级软件工程师，2001-2005任UniversityofSouthFlorida计算机系研究教授。近十年来一直从事软件工程、计算机理论方面的教学和科研工作，主持一项国家自然科学基金重大研究计划面上项目、一项浙江省自然科学基金重点项目。在《IEEETransactionsonServiceComputing》、《IEEETransactionsonFuzzySystems》、《InformationSciences》、《MathematicalandComputerModeling》、《FuzzySetsandSystem》、《计算机学报》、ICSE/PESOS、ICWE、SCC、QSIC、COMPSAC、ICFEM、ICTAC、SEKE、TASE等国内外刊物或国际会议上发表学术论文60多篇，其中SCI、EI收录58篇。科研项目1．（主持）教育部留学回国人员基金：基于结构的程序自动产生及逆软件工程问题，3万，2008年1月至2010年12月。2．（主持）国家自然科学基金重大研究计划：基于常微分方程的程序死锁检测研究（No.90818013），50万，2009年1月-2011年12月。3．（主持）浙江省自然科学基金重点项目：服务组合的可靠性计算研究（No.Z1090357），40万，2010年1月-2012年12月。4．（主持）浙江理工大学启动基金：数学计算与软件工程研究所建设，100万，2006年-2010年。近期发表的部分文章：[1]ZuohuaDing,MingyueJiang,AbrahamKandel.PortBasedReliabilityComputingForServiceComposition.In:IEEETransactionsonServiceComputing,accepted（SCI）[2]ZuohuaDing,MingyueJiang,JensPalsberg,FromTextualUseCasestoServiceComponentModels.In:ICSE/PESOS2011.（顶级会议）[3]ZuohuaDing,HuiShen,andAbrahamKandel,PerformanceAnalysisofServiceCompositionBasedonFuzzyDifferentialEquations.In:IEEETransactionsonFuzzySystems,vol.19,no.1pp.164-178,2011.(SCI)[4]ZuohuaDing,MingyueJiang,GeguangPu,JingLiu,Requirementchecking:GeneratingusescasesoutofnavigationallogsinWebapplications,QSIC2010(EI).[5]ZuohuaDing,NaZhang,ModelingandBehaviorCheckingofComponentBasedArchitecture,In:SEDM’10,Cheng,2010.(EI)[6]LeiZhou,JingPing,HaoXiao,ZhengWang,GeguangPu,ZuohuaDing,AutomaticallyTestingWebServicesChoreographywithAssertions.In:ICFEM’10,2010,pp.138-154.(EI)[7]XijiaoXiong,JingLiu,ZuohuaDing,DesignandVerificationofaTrustableMedicalSystem.In:ENTCS,vol.266,2010,pp.77-92.(EI)[8]ZuohuaDing,HuiShen,JingLiu,ApplyingOrdinaryDifferentialEquationsToThePerformanceAnalysisofServiceComposition,ICFEM2010,LectureNotesinComputerSciences.vol.6447,155-170.[9]ZuohuaDingandHuiShen,ApplyingFuzzyDifferentialEquationstothePerformanceAnalysisofServiceComposition，LectureNotesinComputerSciences,vol.6215,pp.118–125,2010[10]ZuohuaDing,StaticAnalysisofConcurrentProgramsUsingOrdinaryDifferentialEquations（InvitedTalk）.ICTAC2009,LectureNotesinComputerSciences,vol.5684,pp.1-35,2009.(EI)[11]ZuohuaDing,Qi-WeiGe,andJueliangHu,FuzzyTimedPetriNetsandThePerformanceAnalysis，Information,vol.12,no.5,2009.(SCIE)[12]ZuohuaDing,MingyueJiang,GeguangPu,JeffW.Sanders,ModellingandVerificationofWebNavigation.ProceedingsofInternationalConferenceonWebEngineering(ICWE’09)(topconference),LectureNotesinComputerSciences,vol.5648,pp.181-188,2009.(EI)[13]ZuohuaDing,JingLiu,AnImprovementofSoftwareArchitectureVerification,ElectronicNotesinTheoreticalComputerScience,vol.243,Pages49-67,2009.(EI)[14]ZuohuaDing,MingyueJiang,JingLiu,ModelCheckingServiceComponentCompositionBySPIN,InProceedingsof8thIEEE/ACISInternationalConferenceonComputerandInformationScience(ICIS2009),June1-3,2009,Shanghai,China(EI)[15]ZuohuaDing，MingyueJiang，RebuildingWebApplicationRequirementsBasedOnUserNavigation，2009FifthInternationalJointConferenceonINC,IMSandIDC，2009.(EI)[16]ZuohuaDing,MingyueJiang,PortBasedReliabilityComputingForServiceComposition,ProceedingsofInternationalConferenceonServiceComputing(SCC’09),Bangalore,India,Sept21-25,2009.(EI)[17]ZuohuaDing,MingyueJiang,ModellingandVerificationofPortBasedComponentComposition,Proceedingsof9thInternationalConferenceonQualityConference(QSIC’09),Jeju,Korea,24-25August2009.(EI)[18]丁佐华，江明月，刘静，基于常微分方程的死锁检测实验分析，计算机学报，vol.32,Sept.2009.(EI)[19]JueliangHu,ZuohuaDingandGeguangPu,Path-basedApproachtoIntegrationTesting,ProceedingsofIEEESSIRI2009,Shanghai,July8-10,2009.(EI)[20]ZhengWang,XiaoYu,TaoSun,GeguangPuandZuohuaDing.TestDataGenerationforDerivedTypesinCProgram,Proceedingsof3rdIEEETASE’09,July29-31,2009,Tianjin,China.(EI)[21]JueliangHu,ZuohuaDing,andJingLiu,MeasuringtheSurvivabilityofObject-OrientedSoftware,Proceedingsof3rdIEEETASE’09,July29-31,2009,Tianjin,China.(EI)[22]XiaoanBao,NaZhang,andZuohuaDing,TestCaseGenerationofConcurrentProgramsBasedonEventGraph,ProceedingsofIEEENCM’09,August25-27,2009,Seoul–Korea.(EI)[23]ZuohuaDing,KaoZhangandJueliangHu,Arigorousapproachtowardstestcasegeneration,InformationSciences,vol.178,pp.4057-4079,2008.(SCI)[24]ZuohuaDing,ZhenbangChenandJingLiu,Arigorousmodelofservicecomponentarchitecture,ElectronicNotesinTheoreticalComputerScience,vol.207,pp.33-48,2008.(EI)[25]ZuohuaDing,JianmingDong,WeiHan,FormalArchitecturalModelsForAgentBasedServiceSystem,InternationalJournalofComputerApplicationsinTechnology,vol.31,pp.45-63,2008。(EI)[26]ZuohuaDing,LujuanXiao,JueliangHu,Performanceanalysisofservicecompositionusingordinarydifferentialequations,IEEEFTDCS,Oct,2008.(EI)[27]ZuohuaDing,KaoZhang,Performanceanalysisofconcurrentprogramsusingordinarydifferentialequations,IEEECOMPSAC,pp.841-846,Aug.2008.(EI)。*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式

姓名：包晓安职称：副教授所在学院：信息电子学院个人简介：包晓安，副教授，硕士生导师，浙江理工大学信息学院主要研究方向方向1：软件开发模式及测试方向2：服务组合分

姓名：喻擎苍性别：男出生年月：1967.3职称：教授所在学院：机械与自动控制学院个人简介：喻擎苍，男，1967.3生，工学博士，教授，硕士生导师，研究生部副主任

姓名：姚青性别：女职称：副教授所在学院：信息电子学院个人简介：姚青博士，副教授，硕士生导师，浙江理工大学信息电子学院。主要研究方向：[1]基于机器视觉、模式

姓名：黄理灿性别：男出生年月：1962年1月职称：教授所在学院：信息电子学院个人简介：黄理灿，男，博士，教授。1962年1月生。硕士生导师，网络与分布式计算研究所

姓名：汪亚明性别：男出生年月：1964年职称：教授所在学院：信息电子学院个人简介：汪亚明，男，1972年7月生，工学博士，教授，博士生导师，信息电子学院院长。

姓名：周平性别：男出生年月：1960年8月职称：教授所在学院：信息电子学院个人简介：周平，男，1960年8月生，工学硕士（在读博士），教授，九三学社浙江理工大学支

姓名：裴道武性别：男职称：教授所在学院：理学院个人简介：裴道武，男，江苏省盐城市人，理学博士学位，理学院教授，数学系主任，博士生导师。社会兼职中国系统工程学会模糊系