梅宏,1963年5月生,貴州遵義人。計算機(jī)軟件專家,中國科學(xué)院院士,發(fā)展中國家科學(xué)院院士,歐洲科學(xué)院外籍院士,ACM/CCF/IEEE Fellow,高可信軟件技術(shù)教育部重點實驗室(北京大學(xué))主任。1992 年起在北京大學(xué)工作,曾任北京大學(xué)信息科學(xué)技術(shù)學(xué)院院長,上海交通大學(xué)副校長,北京理工大學(xué)副校長、常務(wù)副校長,軍事科學(xué)院副院長,中國計算機(jī)學(xué)會(CCF)第十二屆理事長。曾獲國家技術(shù)發(fā)明獎一等獎、二等獎,國家自然科學(xué)獎二等獎,國家科技進(jìn)步獎二等獎,何梁何利基金科學(xué)技術(shù)進(jìn)步獎,陳嘉庚科學(xué)獎信息技術(shù)科學(xué)獎,IEEE Computer Society Technical Achievement Awards 等獎勵。
梅宏長期從事計算機(jī)軟件技術(shù)的教學(xué)與科研工作,在構(gòu)件化軟件中間件、開發(fā)方法學(xué)和工具環(huán)境等方面取得了系列創(chuàng)新成果和技術(shù)突破。他作為面向互聯(lián)網(wǎng)計算的軟件范型——網(wǎng)構(gòu)軟件的提出者之一,揭示了網(wǎng)構(gòu)軟件系統(tǒng)高層結(jié)構(gòu)的多階段復(fù)雜性關(guān)聯(lián),提出全生命周期軟件體系結(jié)構(gòu)(Software Architecture,SA) 概 念 及 其 建 模 理 論 和 ABC(Architecture Based component Composition)方法,將軟件生命周期各階段的核心制品與活動統(tǒng)一為 SA 模型及其迭代細(xì)化和轉(zhuǎn)換,大幅提高軟件開發(fā)和演化效率及質(zhì)量;揭示了網(wǎng)構(gòu)軟件系統(tǒng)運行時體系結(jié)構(gòu)機(jī)理與性質(zhì),提出運行時軟件體系結(jié)構(gòu)(Runtime Software Architecture,RSA)概念,將 SA 從開發(fā)階段拓展到運行階段,建立了基于模型雙向變換和代碼自動生成的網(wǎng)構(gòu)軟件 RSA 構(gòu)造與演化方法;揭示了系統(tǒng)設(shè)計、實現(xiàn)與運行間的逆向追蹤性質(zhì),提出基于程序、文檔和運行數(shù)據(jù)分析的 SA 模型恢復(fù)方法,發(fā)明了客戶端驅(qū)動的 SA 資源反射方法與機(jī)制,支持逆向理解和重構(gòu)系統(tǒng) RSA 并實時監(jiān)測與控制;發(fā)明了人機(jī)協(xié)同的互操作接口自動化生成方法,實現(xiàn)了多種常見類型信息孤島業(yè)務(wù)數(shù)據(jù)和功能互操作接口的自動化生成和運行服務(wù),顛覆了傳統(tǒng)互操作技術(shù)的“白盒”途徑。研制的系統(tǒng)平臺和工具在國家若干重大工程和產(chǎn)業(yè)界得到廣泛應(yīng)用。
更新時間:2025年3月