姓名：姚玉华性别：男出生年月：1973年3月职称：副研究员（硕士生导师）所在学院：理学院主要研究方向：计算生物学,生物信息学,常微分方程数值解及其应用。主要研

姓名：岑仲迪性别：男出生年月：1964年职称：副教授所在学院：理学院个人简介：岑仲迪副教授、博士、浙江理工大学硕士生导师，2007年入选宁波市&ldqu

姓名：丁佐华性别：男职称：教授所在学院：理学院个人简介：丁佐华，男，博士，浙江理工大学教授，硕士生导师，中国计算机学会软件工程专业委员会委员，中国计算机学会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)。*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式

姓名：施国生性别：男出生年月：1946年10月职称：教授所在学院：理学院个人简介：施国生，男，1946年10月出生，教授，硕士，硕士生导师1963.09~1

姓名：周颂平性别：男出生年月：1956年7月职称：教授所在学院：理学院个人简介：周颂平，男，1956年7月出生，浙江杭州人，博士，教授，博士生导师，入选&ldqu

姓名：徐定华性别：男出生年月：1967年8月职称：教授所在学院：理学院个人简介：徐定华，1967年8月生，理学院教授、硕士生导师，教务处处长。1985.09

姓名：奚李峰性别：男职称：教授所在学院：理学院个人简介：奚李峰教授、博士、浙江理工大学硕士生导师，湘潭大学博士生导师。2003年入选宁波市“4321

姓名：王建平性别：男职称：副教授所在学院：理学院个人简介：王建平，男，汉族，浙江绍兴人。山东大学理学博士，2003年晋升为教授。浙江理工大学、宁波大学硕士研究生导师

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