北京航空航天大學(xué)計(jì)算機(jī)學(xué)院軟件工程導(dǎo)師介紹：馬世龍

• 2025考研復(fù)試伴學(xué)班
• 2025考研復(fù)試標(biāo)準(zhǔn)班
• 2026考研英語(yǔ)全程班
• 26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 北京航空航天大學(xué)2025考研專(zhuān)業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

導(dǎo)師詳細(xì)信息

姓名：馬世龍

性別：男

出生年份：1953

職稱(chēng)：教授

院系：計(jì)算機(jī)學(xué)院

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

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

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

聘任在第二學(xué)科培養(yǎng)博士生專(zhuān)業(yè)名稱(chēng)：無(wú)

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

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

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

辦公電話：1082317643

辦公地點(diǎn)：北航新主樓G座11層1135

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

個(gè)人簡(jiǎn)介：

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

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

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

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