姓名：张明新性别：男出生年月：1966.1导师类别：学术型技术职称：副教授联系方式：1505618587招生专业名称：教育信息化主要研究方向：计算机及技术网络工

姓名：张震性别：女出生年月：1977.1导师类别：学术型技术职称：副教授联系方式：13856108838招生专业名称：教育信息化主要研究方向：数据挖掘智能信息处

姓名：朱昌杰性别：男出生年月：1963.8导师类别：学术型技术职称：教授联系方式：13909619228招生专业名称：软件工程主要研究方向：人工智能与数据挖掘信

姓名：曹磊性别：男出生年月：1979年12月导师类别：学术型技术职称：副教授联系方式：13966113007招生专业名称：高级软件开发技术主要研究方向：模式识别

姓名：范祺性别：男出生年月：1979年8月导师类别：学术型技术职称：副教授联系方式：Email：fanqimai@hotmail.com招生专业名称：软件工程主要研究方

姓名：葛方振性别：男出生年月：1975.11导师类别：学术型技术职称：副教授联系方式：15256109218招生专业名称：软件工程主要研究方向：人工智能软件自适

姓名：洪留荣性别：男出生年月：1969.12导师类别：学术型技术职称：教授联系方式：Email：hongliurong@126.com招生专业名称：计算机软件与理论主要

姓名：李建国性别：男出生年月：1975.3导师类别：学术型技术职称：副教授联系方式：13965877123招生专业名称：计算机应用主要研究方向：信息安全网络安全

姓名：马艳芳性别：女出生年月：1978.12导师类别：学术型技术职称：副教授联系方式：myf1978@gmail.com招生专业名称：高级软件开发技术主要研究方向：可信度量形式化方法Domain理论个人简历：1997.09-2001.07淮北师范大学数学科学学院本科2001.08-2004.07淮北师范大学数学科学学院教师2004.08-2007.07上海师范大学数理信息学院硕士2007.08-2010.06华东师范大学软件学院博士2010.07月-至今淮北师范大学计算机科学与技术学院教师主要学术成就：主要致力于软件可信度量模型以及形式化方法的研究，发表论文10余篇，其中SCI检索4篇，EI检索6篇，主持省级和厅级科研项目3项。（1）已发表的部分期刊论文：[1]马艳芳*，张敏，陈仪香，软件动态正确性的形式化描述，计算机研究与发展，第50卷，第3期，626-635，2013．（EI）[2]马艳芳，陈亮*．基于ε-互模拟的软件近似正确性模型，计算机工程与应用，49（11），15-19，2013．[3]Y.F.Ma(马艳芳*),M.Zhang,Y.X.Chen,L.Chen(陈亮),Two-thirdssimulationindexesandmodallogiccharacterization,FrontiersofComputerScienceinChina,5(4),454-471,2011(SCI:WOS:000297646300009,EI:20114914582348)[4]Y.F.Ma(马艳芳*),M.Zhang,Y.X.Chen,L.Chen(陈亮),Theconvergencemechanismofimplementationundertwo-thirdsbisimulation,JournalofInformationComputationalScience,8(13),2875-2884,2011(EI:20115014603223)[5]马艳芳*，张敏，陈仪香，基于环境的软件正确性形式化描述，山东大学学报（理学版），第46卷，第9期，22-27页，2011[6]Y.F.Ma(马艳芳* ),M.Zhang,Topologicalconstructionofparameterizedbisimulationlimit,ElectronicNotesinTheoreticalComputerScience,257,5-70,2009(EI:20095112555594)[7]马艳芳*，陈仪香，完全相容稳定模拟谓词转换器，模糊系统与数学，第23卷，第6期，113-125页，009（2）已发表的部分国际会议论文：[8]Y.F.Ma(马艳芳),M.Zhang.Parameterizedbisimulationinfiniteevolutionmechanism[C].ProceedingofThirdIEEEInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering,2009,299-300.(EI:20094712458563)[9]Y.F.Ma(马艳芳),M.Zhang.Acomputationmodeloftrustworthydegree[C].ProceedingofInternationalSymposiumonIntelligentInformationTechnologyApplicationWorkshop,2008,523-526.(EI:20092912203021)（3）主持的科研项目（1）基于环境交互的软件近似正确性模型研究（1308085QF117），安徽省自然科学基金项目，主持，2013．（2）软件的正确性及与环境交互度量模型研究（KJ2011A248），安徽省高等学校省级自然科学研究重点项目，主持，2011（3）基于环境交互的软件可信度量模型研究，上海市高可信计算重点实验室开放课题基金项目，主持，2010．*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>