淮師大計算機科學與技術學院導師馬艷芳 正文

　　姓名：馬艷芳
　　性別：女
　　出生年月：1978.12
　　導師類別：學術型
　　技術職稱：副教授
　　聯系方式：[email protected]
　　招生專業名稱：高級軟件開發技術

　　主要研究方向：
　　可信度量
　　形式化方法
　　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．

　　*如果發現導師信息存在錯誤或者偏差，歡迎隨時與我們聯系，以便進行更新完善。

添加淮北師范大學學姐微信，或微信搜索公眾號“考研派小站”，關注[考研派小站]微信公眾號，在考研派小站微信號輸入[淮北師范大學考研分數線、淮北師范大學報錄比、淮北師范大學考研群、淮北師范大學學姐微信、淮北師范大學考研真題、淮北師范大學專業目錄、淮北師范大學排名、淮北師范大學保研、淮北師范大學公眾號、淮北師范大學研究生招生）]即可在手機上查看相對應淮北師范大學考研信息或資源。

淮北師范大學