淮师大计算机科学与技术学院导师介绍：马艳芳

　　姓名：马艳芳
　　性别：女
　　出生年月：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．

　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>