马艳芳，工学博士、教授，硕士生导师，中国计算机学会形式化方法专委会委员、嵌入式系统专委会委员，中国人工智能学会人工智能逻辑专委会委员、离散智能计算专委会委员。2010年华东师范大学获得博士学位，研究方向：软件形式化方法、可信人工智能。
l 科研项目
(1) 基于环境交互的软件近似正确性量化模型研究，国家自然科学基金青年项目
(2) 构件化软件系统可信性优化方法与评估模型研究, 省自然科学基金面上项目
(3) 组件化软件系统的可信性度量及属性权衡代价分析，省高校自然科学研究重点项目
(4) 实时系统近似正确性模型及其应用研究，省自然科学基金面上项目
(5) 省高校优秀青年人才支持计划，省高等学校振兴计划人才项目
(6) 基于环境交互的软件近似正确性模型研究，省自然科学基金项目青年项目
(7) 软件的正确性及与环境交互度量模型研究，省高校自然科学研究重点项目
(8) 基于环境交互的软件可信度量模型的研究，上海市高可信计算重点实验室开放项目
l 代表性论文
(1)The Allocation Scheme of Software Development Budget with Minimal Conflict Attributes, International Journal of Software Engineering and Knowledge Engineering,2024
(2) The Evolution Mechanism of Correctness for Cyber-Physical System, International Journal of Software Engineering and Knowledge Engineering,2024
(3) The Trustworthiness Measurement Model of Component Based on Defects, Mathematical Problems in Engineering, 2022
(4)The Trustworthiness Measurement Model of Component-Based Software Based on Combination Weight. Communications in Computer and Information Science，2022
(5) Based on Weight and User Feedback: A Novel Trustworthiness Measurement Model, Chinese Journal of Electronics , 2022
(6)Analysis of Software Trustworthiness Based on FAHP-CRITIC Method. Journal of Shanghai Jiaotong University（Science），2022
(7)Trade-off Costs of Software Trustworthy Attributes. International Journal of Performability Engineering, 2019
(8)Software Trustworthiness Metric Model based on Component Weight. International Journal of Performability Engineering, 2018
(9)The Approximate Correctness of Systems Based on δ-bisimulation, Electronic Notes in Theoretical Computer Science, 2017
(10)The Quantitative Analysis of Approximate Correctness for Real-Time Systems, International Journal of Performability Engineering, 2017
(11)The Quantitative Analysis of Software Correctness, Mathematical Problems in Engineering, 2015
(12) 三分之二模拟拓扑. 计算机学报 , 2014
(13) 基于部分交互的软件近似度量模型. 计算机工程与应用 ,2014
(14)软件动态正确性的形式化描述. 计算机研究与发展 , 2013
(15)The infinite evolution mechanism of ε-bisimilarity. Journal of Computer Science and Technology. 2013
(16)基于交互的环境近似度量模型. 山东大学学报（理学版）,2013
(17) 基于ε-互模拟的软件近似正确性模型. 计算机工程与应用 ,2013
(18) The convergence mechanism of implementation under two-thirds bisimulation, Journal of Information and Computational Science, 2011
(19)Two-thirds simulation indexes and modal logic characterization, Frontiers of Computer Science in China, 2011
(20)基于环境的软件正确性形式化描述. 山东大学学报（理学版） , 2011
l 授权发明专利
(1) 一种计算机数据线接口保护机构,2023年
(2) Computer Image Processing System with Image Enhancement Capabilities，2024
l 获得奖励
(1) 省教坛新秀，省级，2013，
(2) 省第八届自然科学优秀学术论文，二等奖，省级，2016，第一
(3) 省第七届自然科学优秀学术论文，二等奖，省级，2013，第一
l 联系方式：Email：mayf@czu.cn
