北京航空航天大學

導師詳細信息

姓名：馬世龍

性別：男

出生年份：1953

職稱：教授

院系：計算機學院

首次聘任導師時間：2004

現聘任導師一級學科名稱：軟件工程

現聘任導師二級學科名稱：軟件工程

聘任在第二學科培養博士生專業名稱：無

聘任在自主設置學科培養博士生專業名稱：無

主要研究方向及特色：網絡環境下計算模型、邏輯和計算動態行為研究，可信軟件研究，面向航空航天領域的安全攸關系統可信性研究

電子信箱：slma@nlsde.buaa.edu.cn

辦公電話：1082317643

辦公地點：北航新主樓G座11層1135

通信地址：北京市海淀區學院路37號北航

個人簡介：

馬世龍，男，1953年7月24日出生，北京人，漢族。1984年6月在北京航空航天大學計算機系研究生畢業，獲碩士學位。后在科研工作中獲（論文）博士學位�，F任北京航空航天大學計算機學院教授，擔任計算機科學與技術一級學科和軟件工程一級學科博士生導師，軟件開發環境國家重點實驗室副主任。主講研究生課程“計算理論”、本科生課程“計算引論”。獲2012年度國防科學技術進步獎二等獎、2012年度北京市科學技術獎三等獎。獲國家科學技術學術著作出版基金資助，2010年出版專著“航天器自動化測試語言及其系統”。在國內外學術刊物和國際學術會議上發表研究論文一百多篇；應邀參加撰寫英文科研專著（章節）兩本。2005年應邀出版譯著“類型和程序設計語言”（國外計算機科學教材系列）。

現任中國人工智能學會常務理事，中國人工智能學會基礎理論專業委員會主任。國家新聞出版總署重大科技工程項目專家咨詢委員會委員。曾任國家自然科學基金委員會第十、十一屆信息科學部專家評審組成員。曾任Frontiers of Computer Science in China第一屆編委，中國人工智能學會會刊“智能系統學報”、“中國人工智能學會通訊”現任編委。擔任2010年“亞洲軟件基礎學術研討會”（AWFS2010，2010年5月，北京）組織委員會主席。2011年“綠色能源、材料、制造技術與應用”國際會議（2011年7月，重慶）會議主席。

研究方向為：網絡環境下計算模型、邏輯和計算動態行為研究，海量信息處理的計算模型研究。曾承擔國家973項目“網絡環境下海量信息組織與處理的理論與方法研究”01課題“海量信息系統規律、模型和維護機理研究”的研究工作。作為負責人承擔過的研究項目還有：與中國地質調查局合作的國家863B類重大項目“資源環境應用網格系統構建”及其滾動項目；與北京新奧集團、北京市建筑設計研究院合作的國家科技支撐計劃科技奧運專項“奧運景觀照明的IPv6數字化網絡控制系統開發”，負責照明控制與管理軟件平臺和IPv6基礎網絡設計研究；與中國空間技術研究院合作的“航天器自動化測試總控軟件研發”等項目。

當前特色研究方向：可信軟件、面向航空航天領域的安全攸關系統可信性驗證與評估研究。這一方向取得的主要成果包括，1、面向航天器自動化測試的通用測試語言及系統，2008年10月起應用于中國空間技術研究院日常測試業務，完成北斗導航系列3種類型12顆衛星測試；2、***任務電子系統自動化檢測裝置，填補了國內大型信息化武器裝備系統軟件檢測的空白，列裝并交付，已應用于空軍和海軍現役**機。