北京航空航天大學(xué)

導(dǎo)師詳細信息

姓名：馬世龍

性別：男

出生年份：1953

職稱：教授

院系：計算機學(xué)院

首次聘任導(dǎo)師時間：2004

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

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

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

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

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

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

辦公電話：1082317643

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

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

個人簡介：

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

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

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

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