姓名：马艳芳
性别：女
出生年月：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-thirds simulation indexes and modal logic characterization, Frontiers of Computer Science in China,5(4) , 454-471, 2011 (SCI: WOS:000297646300009, EI: 20114914582348)
[4] Y. F. Ma(马艳芳*), M. Zhang, Y. X. Chen, L. Chen(陈亮), The convergencemechanism of implementation under two-thirds bisimulation, Journal of Information Computational Science, 8(13), 2875-2884, 2011 (EI: 20115014603223)
[5] 马艳芳*，张敏，陈仪香，基于环境的软件正确性形式化描述，山东大学学报（理学版），第46卷，第9期，22-27页，2011
[6] Y. F. Ma (马艳芳*) , M. Zhang, Topological construction of parameterized bisimulation limit, Electronic Notes in Theoretical Computer Science, 257, 5-70, 2009(EI: 20095112555594)
[7] 马艳芳*，陈仪香，完全相容稳定模拟谓词转换器，模糊系统与数学，第23卷，第6期，113-125页，009
（2）已发表的部分国际会议论文：
[8] Y. F. Ma(马艳芳), M. Zhang. Parameterized bisimulation infinite evolution mechanism[C]. Proceeding of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 2009, 299-300 .(EI: 20094712458563)
[9] Y. F. Ma(马艳芳), M. Zhang. A computation model of trustworthy degree[C]. Proceeding of International Symposium on Intelligent Information Technology Application Workshop, 2008, 523-526 .(EI: 20092912203021)
（3）主持的科研项目
（1）基于环境交互的软件近似正确性模型研究（1308085QF117），安徽省自然科学基金项目，主持，2013．
（2）软件的正确性及与环境交互度量模型研究（KJ2011A248），安徽省高等学校省级自然科学研究重点项目，主持，2011
（3）基于环境交互的软件可信度量模型研究，上海市高可信计算重点实验室开放课题基金项目，主持，2010．