<address id="hhzlz"><big id="hhzlz"></big></address>

        <meter id="hhzlz"></meter>
        <th id="hhzlz"><sub id="hhzlz"><font id="hhzlz"></font></sub></th>

            李未

               2021-10-08 630
            核心提示:中國科學院院士

              

              李未,男,1943年生,北京市人,計算機專家。1968年于北京大學數學力學系畢業后在北京航空學院(現北京航空航天大學)任教至今,期間獲英國愛丁堡大學計算機系博士學位。1986年起任北京航空航天大學計算機學院教授、博士研究生導師,2002年-2009年任北京航空航天大學校長,現任國務院學位委員會委員、國有智能計算機專家組副組長等職務。1997年當選中國科學院院士。

                李未院士系統地解決了實用并行程序設計語言,特別是并行及通訊結構的語義問題,在并行程序語言翻譯正確方面做出創始性貢獻。還提出開放邏輯理論,建立了形式系統序列的極限理論等,證明了正交設計的最優性,在研究和使用硅編譯技術及智能計算機研究等做出突出的成績,在計算機程序語義研究方面獲1995年國家自然科學二等獎。1999年起先后擔任973計劃“網絡環境下海量信息的組織與處理的理論與方法研究”和“海量信息的協同性與可生存性的理論和實踐研究”項目首席科學家。提出了修正的演算系統(R-演算),并證明了R-演算的可靠性、完全性和可達性。提出并設計了過程模式語言,提出并研究了合理過程模式的三個基本特性,獲得1999年光華科技進步一等獎。主持研制的基礎設施網絡管理系統軟件生產平臺獲得2004年度國家科技進步二等獎(第一完成人)。已發表學術論文100余篇,專著1部。獲2005年度國家教學成果一等獎,獲何梁何利科技進步獎一項。


             
            反對 0舉報 0 收藏 0 打賞 0評論 0
             
            更多>同類行業資訊
            推薦圖文
            推薦行業資訊
            點擊排行