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

发布时间：2018-11-27 编辑：考研派小莉推荐访问：

淮师大计算机科学与技术学院导师马艳芳内容如下，更多考研资讯请关注我们网站的更新！敬请收藏本站，或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取，有各种考研问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位考研一臂之力，争取早日考上理想中的研究生院校。）

+淮北师范大学研究生
微信,为你答疑,送资源

淮北师范大学生命科学学院导师郭传友淮北师范大学生命科学学院导师傅兆麟淮北师范大学生命科学学院导师邓道贵淮北师范大学生命科学学院导师包先明淮北师范大学经济学院导师朱高林淮北师范大学经济学院导师贾敬全 95%的同学还阅读了： 淮北师范大学研究生招生目录淮北师范大学研究生分数线淮北师范大学王牌专业排名淮北师范大学考研难吗淮北师范大学考研调剂信息淮北师范大学研究生导师名单淮北师范大学研究生学费淮北师范大学研究生奖学金

淮师大计算机科学与技术学院导师马艳芳正文

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

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

以上老师的信息来源于学校网站，如有更新或错误，请联系我们进行更新或删除，联系方式

添加淮北师范大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[淮北师范大学考研分数线、淮北师范大学报录比、淮北师范大学考研群、淮北师范大学学姐微信、淮北师范大学考研真题、淮北师范大学专业目录、淮北师范大学排名、淮北师范大学保研、淮北师范大学公众号、淮北师范大学研究生招生）]即可在手机上查看相对应淮北师范大学考研信息或资源。