北京航空航天大學(xué)名師風(fēng)采_跨考網(wǎng)

　　李未

　　北京航空航天大學(xué)校長(zhǎng)、中國(guó)科學(xué)院院士、教授、博士生導(dǎo)師，國(guó)內(nèi)外知名的學(xué)者、國(guó)家級(jí)有突出貢獻(xiàn)的計(jì)算機(jī)專(zhuān)家、北京航空航天大學(xué)軟件開(kāi)發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室主任及學(xué)術(shù)帶頭人。他是國(guó)務(wù)院學(xué)位委員會(huì)委員，現(xiàn)任國(guó)家高技術(shù)(863)計(jì)劃“智能計(jì)算機(jī)專(zhuān)家組”副組長(zhǎng)。在并發(fā)程序語(yǔ)言和知識(shí)庫(kù)理論方面做出了系統(tǒng)的開(kāi)創(chuàng)性貢獻(xiàn)，是世界上最早研究和發(fā)展結(jié)構(gòu)操作語(yǔ)義方法的學(xué)者之一。他在國(guó)際上首次提出了并發(fā)語(yǔ)言翻譯理論，開(kāi)創(chuàng)了并發(fā)語(yǔ)言的比較研究方向，上述工作獲1995年國(guó)家自然科學(xué)二等獎(jiǎng)。

　　主要研究方向：理論計(jì)算機(jī)科學(xué)、大規(guī)模網(wǎng)絡(luò)計(jì)算

　　馬世龍

　　北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師、軟件開(kāi)發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室副主任。曾獲1998年度教育部科技進(jìn)步三等獎(jiǎng)，目前主持國(guó)家973項(xiàng)目(網(wǎng)絡(luò)環(huán)境下海量信息組織與處理的理論與方法研究)01課題“海量信息系統(tǒng)規(guī)律、模型和維護(hù)機(jī)理研究”和國(guó)家863重大項(xiàng)目“資源環(huán)境應(yīng)用網(wǎng)格系統(tǒng)構(gòu)建”的研究工作。

　　主要研究方向：網(wǎng)絡(luò)環(huán)境下計(jì)算的模型、邏輯和計(jì)算的動(dòng)態(tài)統(tǒng)計(jì)行為研究、海量信息處理的計(jì)算模型研究、數(shù)據(jù)倉(cāng)庫(kù)技術(shù)及其應(yīng)用研究(特別是各種數(shù)據(jù)挖掘算法研究)