馬殿富，1960年3月生，中國計算機學會會士，北京航空航天大學計算機學院教授、博士生導師，軟體開發環境國家重點實驗室（北京航空航天大學）副主任。
馬殿富於1979年入讀於北京航空學院計算機科學與工程系，畢業後留校任教；1995年11月—2000年9月任北京航空航天大學計算機學院黨總支書記；2001年1月—2011年12月任北京航空航天大學計算機學院院長；2017年任北京航空航天大學士諤書院院長；2020年當選為中國計算機學會會士。
馬殿富長期從事數理邏輯和軟體工程建模與形式化方法等教學。
基本介紹
人物經歷,主要成就,科研成就,人才培養,榮譽表彰,社會任職,人物評價,
人物經歷
1960年3月，馬殿富出生。
1979年，入讀於北京航空學院（現北京航空航天大學）計算機科學與工程系，畢業後留校任教。
1995年11月—2000年9月，任北京航空航天大學計算機學院黨總支書記。
2001年1月—2011年12月，任北京航空航天大學計算機學院院長。
2017年，任北京航空航天大學士諤書院院長。
2020年，當選為中國計算機學會會士。
主要成就
科研成就
- 科研綜述
馬殿富主要從事服務計算及中間件、非結構化數據組織與處理以及安全關鍵系統方面的研究工作。提出了面向服務的描述語言及Web服務運行平台的形式化驗證方法，帶領團隊開發了思訊Web服務中間件平台。2006年起，圍繞實時系統、以AADL語言為基礎，提出了安全關鍵實時系統設計、分析、驗證及自動代碼生成方法。2010年開展非結構化數據組織與處理研究。另從事安全關鍵系統研究，開展A級安全關鍵軟體建模與驗證機器軟體開發與驗證環境等研究。
- 學術論文
據2024年6月北京航空航天大學計算機學院網站數據，馬殿富已在國際學術會議及中國國內刊物發表論文40餘篇。
- 科研項目
據2024年6月北京航空航天大學計算機學院網站數據，馬殿富已主持973重大基礎研究項目二級課題、國家863計畫重點項目，核高基重大專項項目以及科技部科技平台、國防科工委、總裝預研基金、自然基金等項目。
- 科研獎勵
時間 | 獲獎項目 | 獎勵名稱 |
|---|---|---|
2010年 | 基於大規模移動位置感測器的城市動態交通信息處理技術與服務系統 | 北京市科學技術獎一等獎 |
人才培養
- 教學體系
馬殿富推動北京航空航天大學計算機學院最佳化培養方案，統籌構建本碩博教學體系，對本碩博的知識結構、能力結構和素質結構的全過程培養進行了縱向層次設計和橫行分類設計，並分別落實到本碩博三階段的課程、實驗和科研三個環節。依託學科優勢，將科研能力與素質培養貫穿於本碩博科研實踐過程始終，注重營造探索性的學習氛圍，構建研究性的學習環境，倡導創新性的學習精神。把素質培養作為重點，將科技活動貫穿本碩博三個階段。在培養模式、培養體系和創新機制等方面進行實踐，以“創新型人才”培養為理念，以“三種特色模式”“四個先進體系”和“一個創新機制”為主要內容進行探索和實踐，形成研究型學院人才培養模式與體系。
- 教學改革
馬殿富針對北京航空航天大學計算機學院本科生在計算機系統學習工程中動手能力不足問題，以培養學生系統能力為目標，提出了以“設計一個CPU、構建一個作業系統、編寫一個編譯器”為核心的計算機系統能力培養教學改革方案。在馬殿富倡導下，北京航空航天大學計算機學院以計算機組成原理課程為牽引，作業系統和編譯原理等課程同步改革，進一步強化學生實踐能力的培養，形成了計算機系統核心課程群，打通課程群內的教學團隊，實現課程間的有效銜接，分階段、有計畫地培養本科生系統能力。
- 課程建設
馬殿富在北京航空航天大學講授“離散數學”課程，在其帶領下，“離散數學”課程在中國國內提出“以計算認知重構離散數學”，強調以計算作為認知模型，使用現代工具構建離散數學的概念、運算和關係，然後通過計算實現定理驗證，使得傳統“紙筆推導小規模示意問題”轉變為“程式演算大規模實際問題”，深化學生對基礎理論知識的理解，更增強其解決複雜工程問題的建模能力。基於知識圖譜構建離散課程內容關聯譜系，將知識體系內在關聯具體化、形象化、可操作化，使得學生學習任一知識點的同時也在融會貫通，從而有效建立對知識體系的全局認知。
除離散數學以外，馬殿富還對數學分析、線性代數、機率與數理統計、電路、信號與系統以及現代控制系統等計算機基礎知識進行了系統化分析建模，提出了通過計算（程式）來認知事實，通過計算來驗證知識，通過邏輯證明概念、運算及關係的性質的認知計算學習模式，首創基於自組織機理構建離散數學、數學分析、線性代數、機率與數理統計、信號與系統以及現代控制系統等知識語義圖譜方法，找到了讓計算機專業學生掌握學習數學和專業基礎知識的新型教學方法。
- 教學獎勵
時間 | 獲獎項目 | 獎勵名稱 |
|---|---|---|
2014年 | 計算機系統核心課程群及其實驗體系的研究與實踐 | 國家級教學成果獎二等獎 |
2005年 | 研究型學院人才培養模式與體系的研究及實踐 | 國家級教學成果獎一等獎 |
榮譽表彰
時間 | 榮譽表彰 | 授予單位 |
|---|---|---|
2022年 | CCF創建60周年傑出貢獻獎 | 中國計算機學會 |
2022年 | ||
2020年 | 中國計算機學會會士 | |
2020年 | 北京市教學名師 | - |
2019年 | CCF傑出教育獎 | 中國計算機學會 |
2011年 | CCF卓越服務獎 | 中國計算機學會 |
- | 國家級教學名師 | - |
- | 北京高校創先爭優優秀共產黨員 | - |
- | 北京市優秀教育工作者 | - |
- | 北京高校優秀共產黨員 | - |
- | 北京航空航天大學立德樹人卓越獎 |
社會任職
時間 | 擔任職務 |
|---|---|
2014年—2027年 | 中國計算機學會抗惡劣環境計算機專業委員會執行委員 |
2016年—2023年 | 中國計算機學會抗惡劣環境計算機專業委員會常務委員 |
2012年—2016年 | 中國計算機學會第十屆理事會理事 |
2012年—2014年 | 中國計算機學會第十屆理事會副秘書長 |
2008年4月—2012年4月 | 中國計算機學會第九屆理事會常務理事 |
2004年5月—2008年5月 | 中國計算機學會第八屆理事會常務理事 |
- | 教育部計算機類教學指導委員會秘書長 |
- | 教育部計算機類教學指導委員會計算機學會教育工委主任 |
- | 中國信標委SOA分委員會副組長 |
- | 教育部計算機科學與技術教學指導委員會秘書長 |
- | 中國信標委SOA標準工作組常務副組長 |
- | 中國信標委SOA工程專題組組長 |
- | 北京航空航天大學計算機學院學科建設與科研工作委員會主任 |
- | 北京航空航天大學計算機學院學術委員會委員 |
- | 北京航空航天大學計算機學院學位評定分委員會委員 |
人物評價
“嚴慈相濟甘為人梯，滋蘭樹蕙兩鬢風霜，馬殿富堅守初心、立德樹人，教書育人、教學相長，為中國計算機專業基礎教學的發展做出了突出貢獻，彰顯了教育工作者的使命和擔當。星霜荏苒，堅守三尺講台，潛心教書育人，在教學改革、體系構建和學生培養等方面都取得了豐碩成果。”（北京航空航天大學評）
“馬殿富在教學改革和本科生培養等方面取得卓越成就，做出重要貢獻；他熱心教育公益，積極推動中國的計算機教育事業的改革和進步。痴心育桃李，朱筆寫春秋，馬殿富始終堅持精益求精的工作態度、捨身忘己的工作作風、公開公正的工作原則，把個人的一切都融入立德樹人的事業之中，用自己的育人實踐詮釋著師者的光輝。” （北京航空航天大學北航學院評）
“馬殿富在推動中國計算機專業系統能力培養的研究和推廣，以及計算機專業基礎教學改革方面做出了突出貢獻。他始終在教學一線，教書育人，教學科研相長，取得了豐碩成果。”（中國計算機學會獎勵委員會評）
““馬殿富在中國計算機學會專業委員會的規範化發展和計算機類專業工程教育認證方面作出了重要貢獻。”（中國計算機學會評）
