馬豔芳，工學博士、教授，碩士生導師，中國計算機學會形式化方法專委會委員、嵌入式系統專委會委員，中國人工智能學會人工智能邏輯專委會委員、離散智能計算專委會委員。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
