• 教授

    當前位置: 首頁 > 師資隊伍 > 全體教師 > 教授 > 正文

    姓名: 馬殿富
    職位:            
    座機: 010-82316339
    郵編:            
    辦公地址: 京航空航天大學新主樓G1117
    電子郵箱: dfma@buaa.edu.cn
    個人主頁: 主頁更新中
     個人介紹

    馬殿富,男,1960年生,教授,博士生導師。2001年至2011年任計算機學院院長?,F任軟件開發環境國家重點實驗室副主任,教育部計算機類教學指導委員會秘書長,計算機學會教育工委主任,中國信標委SOA分委員會副組長,計算機工程教育專業認證專家。多年一直從事數理邏輯和軟件工程建模與形式化方法等教學。2005年獲國家教學一等獎,2014年獲得國家教學二等獎。 一直從事服務計算及中間件、非結構化數據組織與處理以及安全關鍵系統方面的研究工作。提出了面向服務的描述語言及Web服務運行平臺的形式化驗證方法,并帶領團隊開發了思訊Web服務中間件平臺,成為四方國件聯盟-國產中間件參考實現平臺的重要組成。2006年起,圍繞實時系統、以AADL語言為基礎,提出了安全關鍵實時系統設計、分析、驗證及自動代碼生成方法。2010年開展非結構化數據組織與處理研究?,F在主要從事安全關鍵系統研究,開展A級安全關鍵軟件建模與驗證機器軟件開發與驗證環境等研究。先后主持了973重大基礎研究項目二級課題、國家863計劃重點項目,核高基重大專項項目以及科技部科技平臺、國防科工委、總裝預研基金、自然基金等項目。近年來在國際學術會議及國內核心刊物發表論文40余篇。

     

    真人平台|主页