马艳芳

马艳芳,女,博士,教授,硕士生导师,黑龙江大庆人.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)