马艳芳，女，博士，教授，硕士生导师，黑龙江大庆人．2010年从华东师范大学计算机应用技术专业研究生毕业，获工学博士学位。2014年纽约州立大学石溪分校访问学者。2013年被评为安徽省教坛新秀，并评为淮北师范大学优秀教师。主要研究兴趣：形式语义模型、形式化方法以及软件可信度量模型．现已公开发表论文20余篇,其中被SCI和EI收录10篇．

主持的科研项目：

1. 基于环境交互的软件近似正确性量化模型研究（61300048），2014.01-2016.12，国家自然科学基金青年项目
2. 安徽省高校优秀青年人才支持计划项目，2015.01-2017.12
3. 基于环境交互的软件近似正确性模型研究（1308085QF117），2013.01-2015.12，安徽省自然科学基金项目
4. 软件的正确性及与环境交互度量模型研究（KJ2011A248），2011.01-2013.12，安徽省高校省级自然科学研究重点项目
5. 基于环境的软件可信性度量模型研究，上海市高可信计算重点实验室开放课题项目，2010.09-2012.09

近期已发表文章：

[1] 马艳芳, 张敏, 陈仪香． 三分之二互模拟拓扑, 计算机学报, 2014, 37(8):1-13（EI）

[2] Yanfang Ma(马艳芳), Min Zhang(张敏). The Infinite Evolution Mechanism of ε-bisimilarity, Journal of Computer Science and Technology, 2013, 28(6):1097-1105. (SCI/EI)

[3] 马艳芳, 张敏, 陈仪香. 系统动态正确性的形式化描述, 计算机研究与发展, 2013, 50(3), 626-635.(EI)

[4] Yanfang Ma(马艳芳). The quantitative analysis of software correctness. Mathematical Problems in Engineering, Volume 2015, Article ID 173012, 13 page, http://dx.doi.org/10.1155/2015/173012）

[5] Y. F. Ma（马艳芳）, M. Zhang, Y. X. Chen, L. Chen. Two-thirds simulation indexes and modal logic characterization, Frontiers of Computer Science in China, 2011, 5(4): 454-471.(SCI/EI)

[6] Y. F. Ma（马艳芳）, M. Zhang, Y. X. Chen, L. Chen.The convergence mechanism of implementation under two-thirds bisimulation, Journal of Information Computational Science, 2011, 8(13):2875-2884. (EI)