删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

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

淮北师范大学 免费考研网/2014-04-03

淮师大计算机科学与技术学院导师介绍:马艳芳
2013-09-25


  姓名:马艳芳
  性别:女
  出生年月: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:**009, EI: **348)
  [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: **223)
  [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: **594)
  [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: **563)
  [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: **021)
  (3)主持的科研项目
  (1)基于环境交互的软件近似正确性模型研究(1308085QF117),安徽省自然科学基金项目,主持,2013.
  (2)软件的正确性及与环境交互度量模型研究(KJ2011A248),安徽省高等学校省级自然科学研究重点项目,主持,2011
  (3)基于环境交互的软件可信度量模型研究,上海市高可信计算重点实验室开放课题基金项目,主持,2010.

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





相关话题/淮北师范大学