姓名：莫毓昌职称：副教授所在学院：数理与信息工程学院研究方向：复杂计算系统可靠性建模和评估主讲课程：主讲本科课程：计算机组成与结构、微机原理和接口技术指导专业

姓名：贾泂职称：教授所在学院：数理与信息工程学院研究方向：数据降维、模式分类、数据挖掘、软件工程等学术兼职：全国高等学校计算机教育研究会计算机网络教育分会理事。

姓名：端木春江职称：副教授所在学院：数理与信息工程学院研究方向：图像处理、模式识别、人工智能；视频信息处理、视频通信、第4代（4G）移动通信关键技术主讲课程：本科课

姓名：陈中育职称：教授所在学院：数理与信息工程学院研究方向：规范化软件开发技术、需求建模、形式化方法。主讲课程：主讲本科课程：软件工程、软件项目管理、CMM理论与实

姓名：钟发荣职称：教授所在学院：数理与信息工程学院研究方向：移动进程演算；Web服务组合主讲课程：主讲本科课程：计算机图形学、数据结构、编译原理、人工智能指导专业：(0812)计算机科学与技术（一级）科研项目（课题）1．异步非对称chi-演算的弱互模拟同余研究(Y105272)，主持，浙江省自然科学基金项目，2006.1-2007.12，已结题2．面向谐波检测的嵌入式系统的研究与开发(2006C21018)，主持，浙江省科技计划重点项目，2006.1-2008.6，已上交材料，已结题3．Web服务的容错编制研究(60873234)，主持，国家自然科学基金项目，2009.1-2011.12，在研论文著作1．钟发荣，傅育熙.非对称带不等算子chi-演算的基同余，计算机学报，ISSN0254-4164，28(10)：1626-1637，2005.10.EI(05489513208)2．钟发荣，贾浻，陈建明，傅育熙.消除有限容量演算中的强干扰，上海交通大学学报，ISSN1006-2467，39(8)：1317-1321，2005.8.EI(05399387313)3．FarongZHONG.Theearlyandlatecongruencesforasymmetricchi-calculuswithmismatch,LectureNotesinComputerScience，ISSN0302-9743，3314：371-378，2004.12.SCI(BBO38)，ISTP(BBO38)4．FarongZHONG，YuxiFU，YonggenGU.AvoidinggraveinterferenceinBoCa，Proceedingsof2004InternationalConferenceonMachineLearningandCybernetics，IEEEComputerSocietyPress，ISBN0-7803-8403-2，1：444-449，2004.8.EI(04458446468)，ISTP(BBF92)5．FarongZHONG，YuxiFU，XiaojuDONG.Bisimulationcongruenceforasymmetricchi-calculuswithmismatch，ProceedingsofFifthInternationalSymposiumonParallelandDistributedComputing，IEEEComputerSocietyPress，ISBN0-7695-2638-1，173-181，2006.7.EI(073210746695)6．FarongZHONG.Asymmetricchi-calculuswithmismatch，淮北煤炭师院学报，ISSN1672-7177，27(2)：1-13，2006.6.7．XiaojuDONG，FarongZHONG，YuxiFU.Bisimulationlatticeofasymmetricchicalculuswithmismatch，HighTechnologyLetters，ISSN1006-6748，9(4):50-55，2003.12.EI(04208164568)8．HuaiguangWU，FarongZHONG，ZhejieDUAN.Api-calculusbasedmodelforwebservicecomposition，ProceedingsoftheFirstInternationalSymposiumonPervasiveComputingandApplications，IEEEComputerSocietyPress，ISBN1-4244-0325-1，613-618，2006.8.EI(080611078753)，ISTP(BFB62)9．HuaiguangWU，FarongZHONG.TherelationbetweenWebServicesorchestrationandchoreography，ProceedingsoftheFirstInternationalConferenceonComputerScienceandEcation，XiamenUniversityPress，ISBN7-5615-2582-6，716-718，2006.7.ISTP(BFD83)10．HuaiguangWU，FarongZHONG.AStudyofWebServicesTransactionsBasedonReal-timep-Calculus，ProceedingsoftheSecondInternationalConferenceonSemanticsKnowledgeandGrid，IEEEComputerSocietyPress，ISBN0-7695-2673-X，90-90，2006.11.EI(082511322595)11．黄银强，钟发荣.非对称chi-演算的符号互模拟验证算法，微电子学与计算机，ISSN1000-7180，23(9)：193-196，2006.912．ChangYANG，FarongZHONG，HaimingTANG.APi-calculusbasedformaldescriptionfororchestration/BPEL2.0processes,JournalofHarbinInstituteofTechnology(NewSeries)，ISSN1005-9113，15(SUPPL.)：124-130，2008.4.EI(082311303323)13．HaimingTANG，FarongZHONG，ChangYANG.ATree-basedMethodofWebServiceComposition，ProceedingsoftheThreeInternationalSymposiumonPervasiveComputingandApplications，InternationalAcademicPublishersLtd.,ISBN978-1-4244-2020-9,204-209，2008.10.EI(20091612034567)14．ZhifengZHU，FarongZHONG.TestingEquivalenceforAsymmetricx-Calculus，ProceedingsoftheIASTEDAsianConferenceonModellingandSimulation，ACTAPress，ISBN978-0-88986-701-7，(571-102)：1-6，2007.10.EI(20091311984306)15．JiajieWU,FarongZHONG,YufangQIU.ADynamicCompensationMechanismforWebTransactions.Proceedingsof2009IEEEInternationalConferenceonServicesComputing,IEEEComputerSocietyPress,ISBN978-0-7695-3811-2,509-512,2009.9.EI(20100312642439)16．LiZHAO,QingLI,FarongZHONG.AVisualModelingFrameworkofWorkflowSystemsBasedonCCS.Proceedingsofthe5thInternationalConferenceonSemantics,KnowledgeandGrid,IEEEComputerSocietyPress,ISBN978-0-7695-3810-5,200-207,2009.10EI(11049804)17．HuanLiu,FarongZhong,BangOuyangandJiajieWu.AnApproachforQoS-awareWebServiceCompositionbasedonImprovedGeneticAlgorithm.Proceedingsof2010InternationalConferenceonWebInformationSystemsandMining,IEEEComputerSocietyPress,ISBN978-0-7695-4224-9,123-128,2010.1018．NanshanDu,QingLi,YiwenLiang,FarongZhong.ActorPetrinetModel：towardSuitableandFlexibleLevelRepresentationofScientificWorkflows.Proceedingsofthe25thInternationalSymposiumonComputerandInformationSciences,LectureNotesinElectricalEngineering62：79-84,978-90-481-9793-4,2010.9指导研究生简况：已毕业研究生7人，在读6人*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式

姓名：赵相福职称：教授所在学院：数理与信息工程学院研究方向：基于模型的故障诊断、人工智能主讲课程：主讲本科课程：离散数学、数据结构与算法、C语言程序设计等。

姓名：张胜职称：教授所在学院：数理与信息工程学院学术兼职：中国物理学会会员；江苏生物医学学会会员；中国生物医学物理研究会理事、副秘书长。研究方向：电子系统设计与应用

姓名：叶荣华职称：教授所在学院：数理与信息工程学院研究方向：语义Web服务，Agent技术，云计算主讲课程：主讲本科课程：面向对象分析与设计，面向对象程序设计

姓名：王基一职称：教授所在学院：数理与信息工程学院研究方向：人工智能、数据挖掘、智能计算、粒计算等学术兼职：浙江省省级实验教学示范中心——浙