北京航空航天大學

導師詳細信息

姓名：馬世龍

性別：男

出生年份：1953

職稱：教授

院系：計算機學院

首次聘任導師時間：2004

現(xiàn)聘任導師一級學科名稱：軟件工程

現(xiàn)聘任導師二級學科名稱：軟件工程

聘任在第二學科培養(yǎng)博士生專業(yè)名稱：無

聘任在自主設置學科培養(yǎng)博士生專業(yè)名稱：無

主要研究方向及特色：網(wǎng)絡環(huán)境下計算模型、邏輯和計算動態(tài)行為研究，可信軟件研究，面向航空航天領(lǐng)域的安全攸關(guān)系統(tǒng)可信性研究

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

辦公電話：1082317643

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

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

個人簡介：

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

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

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

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