淮師大計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師馬艷芳 正文

　　姓名：馬艷芳
　　性別：女
　　出生年月：1978.12
　　導(dǎo)師類別：學(xué)術(shù)型
　　技術(shù)職稱：副教授
　　聯(lián)系方式：myf1978@gmail.com
　　招生專業(yè)名稱：高級軟件開發(fā)技術(shù)

　　主要研究方向：
　　可信度量
　　形式化方法
　　Domain理論

　　個(gè)人簡歷：
　　1997.09-2001.07 淮北師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院 本科
　　2001.08-2004.07 淮北師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院 教師
　　2004.08-2007.07 上海師范大學(xué)數(shù)理信息學(xué)院 碩士
　　2007.08-2010.06 華東師范大學(xué)軟件學(xué)院 博士
　　2010.07月-至今 淮北師范大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院 教師

　　主要學(xué)術(shù)成就：
　　主要致力于軟件可信度量模型以及形式化方法的研究，發(fā)表論文10余篇，其中SCI檢索4篇，EI檢索6篇，主持省級和廳級科研項(xiàng)目3項(xiàng)。
　?。?）已發(fā)表的部分期刊論文：
　　[1] 馬艷芳*，張敏，陳儀香，軟件動態(tài)正確性的形式化描述，計(jì)算機(jī)研究與發(fā)展，第50卷，第3期，626-635，2013．（EI）
　　[2] 馬艷芳，陳亮*． 基于ε-互模擬的軟件近似正確性模型，計(jì)算機(jī)工程與應(yīng)用，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] 馬艷芳*，張敏，陳儀香，基于環(huán)境的軟件正確性形式化描述，山東大學(xué)學(xué)報(bào)（理學(xué)版），第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] 馬艷芳*，陳儀香，完全相容穩(wěn)定模擬謂詞轉(zhuǎn)換器，模糊系統(tǒng)與數(shù)學(xué)，第23卷，第6期，113-125頁，009
　　（2）已發(fā)表的部分國際會議論文：
　　[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)
　?。?）主持的科研項(xiàng)目
　?。?）基于環(huán)境交互的軟件近似正確性模型研究（1308085QF117），安徽省自然科學(xué)基金項(xiàng)目，主持，2013．
　?。?）軟件的正確性及與環(huán)境交互度量模型研究（KJ2011A248），安徽省高等學(xué)校省級自然科學(xué)研究重點(diǎn)項(xiàng)目，主持，2011
　?。?）基于環(huán)境交互的軟件可信度量模型研究，上海市高可信計(jì)算重點(diǎn)實(shí)驗(yàn)室開放課題基金項(xiàng)目，主持，2010．

　　*如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差，歡迎隨時(shí)與我們聯(lián)系，以便進(jìn)行更新完善。

添加淮北師范大學(xué)學(xué)姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[淮北師范大學(xué)考研分?jǐn)?shù)線、淮北師范大學(xué)報(bào)錄比、淮北師范大學(xué)考研群、淮北師范大學(xué)學(xué)姐微信、淮北師范大學(xué)考研真題、淮北師范大學(xué)專業(yè)目錄、淮北師范大學(xué)排名、淮北師范大學(xué)保研、淮北師范大學(xué)公眾號、淮北師范大學(xué)研究生招生）]即可在手機(jī)上查看相對應(yīng)淮北師范大學(xué)考研信息或資源。

淮北師范大學(xué)