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

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

姓名：馬世龍

性別：男

出生年份：1953

職稱：教授

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

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

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

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

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

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

主要研究方向及特色：網(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é)位。現(xiàn)任北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授，擔(dān)任計(jì)算機(jī)科學(xué)與技術(shù)一級(jí)學(xué)科和軟件工程一級(jí)學(xué)科博士生導(dǎo)師，軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室副主任。主講研究生課程“計(jì)算理論”、本科生課程“計(jì)算引論”。獲2012年度國防科學(xué)技術(shù)進(jìn)步獎(jiǎng)二等獎(jiǎng)、2012年度北京市科學(xué)技術(shù)獎(jiǎng)三等獎(jiǎng)。獲國家科學(xué)技術(shù)學(xué)術(shù)著作出版基金資助，2010年出版專著“航天器自動(dòng)化測(cè)試語言及其系統(tǒng)”。在國內(nèi)外學(xué)術(shù)刊物和國際學(xué)術(shù)會(huì)議上發(fā)表研究論文一百多篇；應(yīng)邀參加撰寫英文科研專著（章節(jié)）兩本。2005年應(yīng)邀出版譯著“類型和程序設(shè)計(jì)語言”（國外計(jì)算機(jī)科學(xué)教材系列）。

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

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

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