删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
淮北师范大学计算机科学与技术学院导师教师师资介绍简介-马艳芳
本站小编 Free考研考试/2021-05-01
马艳芳，女，博士，教授，硕士生导师，黑龙江大庆人．2010年从华东师范大学计算机应用技术专业研究生毕业，获工学博士学位。2014年纽约州立大学石溪分校访问****。2013年被评为安徽省教坛新秀，并评为淮北师范大学优秀教师。主要研究兴趣：形式语义模型、形式化方法以及软件可信度量模型．现已公开发表论文20余篇,其中被SCI和EI收录10篇．
主持的科研项目：
基于环境交互的软件近似正确性量化模型研究（**），2014.01-2016.12，国家自然科学基金青年项目
安徽省高校优秀青年人才支持计划项目，2015.01-2017.12
基于环境交互的软件近似正确性模型研究（**QF117），2013.01-2015.12，安徽省自然科学基金项目
软件的正确性及与环境交互度量模型研究（KJ2011A248），2011.01-2013.12，安徽省高校省级自然科学研究重点项目
基于环境的软件可信性度量模型研究，上海市高可信计算重点实验室开放课题项目，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)
相关话题/淮北师范大学 计算机科学与技术学院
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19淮北师范大学计算机科学与技术学院导师教师师资介绍简介-杨忆
杨忆，男，安徽凤阳县人。2003年7月本科毕业于安庆师范大学（原安庆师范学院），获工学学士学位，2003年9月~2006年7月在宿州职业技术学院工作，2009年6月研究生毕业于南京师范大学，获工学硕士学位，2009年7月开始在淮北师范大学计算机学院工作。主讲过的课程有：网络与信息安全，计算机病毒与防 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学计算机科学与技术学院导师教师师资介绍简介-赵兵
赵兵，1976年8月29日生，男，安徽怀远人。1998年6月毕业于淮北煤炭师范学院计算机科学教育本科专业，2011年6月毕业于淮北师范大学计算机软件与理论硕士专业，主要研究方向：计算机软件与理论。现在淮北师范大学计算机科学与技术学院工作，研究方向为网络与信息安全，多次被学校评为校级教育实习优秀指导教 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学计算机科学与技术学院导师教师师资介绍简介-沈龙凤
个人信息沈龙凤，男，汉族，1981年10月出生；博士，硕士生导师，校聘副教授。安徽省高校管理大数据研究中心——大数据技术应用研究所所长。2004年毕业于河南理工大学并获得学士学位，2007年毕业于河北工程大学并获得硕士学位，2016年毕业于中国科学技术大学并获得博士学位，2020-2021年于安徽大 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学计算机科学与技术学院导师教师师资介绍简介-李敏
李敏，女，汉族，1985年12月生，2008年7月本科毕业于淮北煤炭师范学院信息与计算科学专业，2011年3月硕士毕业于西北工业大学系统分析与集成专业，研究方向：数据挖掘。硕士期间发表的文章：李敏，王勇，蔡立军.数据流分类中的一种增量特征选择算法.计算机应用，Vol.30，No.9(2010)，pp ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学管理学院导师教师师资介绍简介-殷李松
殷李松，男，安徽太湖人，经济学教授、硕士研究生导师、安徽经济文化研究会理事、安徽省高校管理大数据研究中心研究人员。主要研究方向劳动经济、区域经济、财政经济等，熟练掌握编程、仿真、制图、计量软件。个人简历1996年7月毕业于安徽农业大学；2004年6月毕业于重庆大学，获经济学硕士学位，2004年至今应 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学管理学院导师教师师资介绍简介-庄道元
一、个人简介庄道元，1972年10月生，安徽宿州人，管理学博士，教授，现任经济与管理学院副院长。1996年本科毕业于安徽教育学院数学教育专业，1996--2002年于宿州市曹村中学任教，2002-2005年就读于江西农业大学农业经济管理专业，获管理学硕士学位，2008-2011年就读于南京农业大学农 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学管理学院导师教师师资介绍简介-卓翔芝
一、个人简介卓翔芝，1970年生，教授，管理学博士。长期从事信息管理、物流与供应链管理研究，主持国家社科基金项目“情报学视野下我国智库运行机制和能力体系建设研究”，教育部青年基金项目“供应链企业间信任的动态定量评估方法与应用”，安徽省软科学研究项目“安徽自主创新路径及对策研究”、“皖北地区科技创新资 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学管理学院导师教师师资介绍简介-伯娜
伯娜，女，1978年11月生，安徽宿州人，硕士，教授。2000年7月至今在淮北师范大学任教。现为经济与管理学院副院长。主讲课程：《政治经济学》、《资本论》、《财政学》等；研究方向：社会主义经济理论。近年来主持两项省级科研项目，参加多项国家社科和省部级科研项目，在《学术界》、《财贸研究》等刊物发表论文 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学管理学院导师教师师资介绍简介-吴宏伟
吴宏伟，男，1975年生，安徽濉溪人，经济学硕士，教授。1995年9月至1999年7月毕业于安徽大学数学系应用数学专业，获理学学士学位；2003年9月至2006年6月毕业于四川省社会科学院区域经济所区域经济学专业，获经济学硕士学位，2006年至今应聘淮北师范大学经济与管理学院从事教学与科研工作。主讲 ...淮北师范大学 本站小编 Free考研考试 2021-05-01淮北师范大学管理学院导师教师师资介绍简介-崔木花
崔木花，女，1969年生，山西山阴人，淮北师范大学经济与管理学院教授，硕士生导师。2007年7月毕业于中国地质大学（北京），获博士学位；2007年6月至今应聘淮北师范大学经济与管理学院从事教学与科研工作。主讲课程：《统计学》；《产业经济学》；《政治经济学》等；研究方向：区域经济、产业经济与生态经济。 ...淮北师范大学 本站小编 Free考研考试 2021-05-01
