• 院士

    當前位置: 真人平台|主页 > 師資隊伍 > 專家隊伍 > 院士 > 正文

               姓名:     李未
               職位:                                      
               座機:     010-82317576
               郵編:     100191
    辦公地址:   北京市海淀區學院路37號
    電子郵箱:   liwei@nlsde.buaa.edu.cn
    個人主頁:   主頁更新中主頁更新中
            個人介紹

    李未,北京航空航天大學計算機學院教授,博士生導師,中國科學院院士,國務院學位委員會委員真人平台|主页,第十、十一屆全國政協委員,科技部專家顧問委員會委員,教育部咨詢委員會委員真人平台|主页,教育部計算機教學指導委員會主任真人平台|主页,電子學會副理事長。 李未院士是我國著名的計算機科學家真人平台|主页。1943年6月8日出生真人平台|主页,1966年北京大學數學與力學系畢業,1983年獲英國愛丁堡大學計算機科學博士學位。2002-2009年任北京航空航天大學校長≌嫒似教▅主页,F任軟件開發環境國家重點實驗室主任。曾任國家中長期科技發展規劃大型飛機重大專項論證專家組組長,以及實施方案論證專家委員會主任委員。 李未院士在實用并發語言操作語義、形式理論序列和修正演算等方面取得了開創性研究成果。他對科學理論的進化真人平台|主页、軟件及其功能描述中的缺陷和程序錯誤的定位和修復進行了系統深入的研究,提出了關于版本序列的理論,建立了對錯誤進行修正的形式演算系統(R-演算);設計了描述軟件開發方法的形式語言,提出了可信軟件開發方法的基本理論;在2007年和2010年分別出版了中英文專著《數理邏輯——基本原理與形式演算》。李未院士在我國率先倡導進行海量信息計算的理論與方法研究真人平台|主页,曾兩次擔任國家重點基礎研究發展規劃(973)項目的首席科學家。李未院士1995年獲國家自然科學獎二等獎一項真人平台|主页,1997年獲何梁何利科技進步獎一項,2004年獲國家級科技進步二等獎一項,2005年獲國家教學成果一等獎一項真人平台|主页。 李未院士任《中國科學:信息科學》中英文版和《Frontiers of Computer Science in China》的主編真人平台|主页真人平台|主页。在國際、國內學術刊物和國際學術會議發表學術論文百余篇真人平台|主页,中文專著2部,英文專著1部真人平台|主页。86年起擔任博士生導師,培養博士后8名、博士研究生52名和碩士生百余人真人平台|主页。
    目前主要研究方向包括:
    1、計算機科學理論與軟件基礎
    2、非結構化數據理論與實踐
    3、大數據的分析與處理
    李未老師的招生聯系人是:羅杰老師,郵箱:luojie@nlsde.buaa.edu.cn真人平台|主页,辦公地點:G1125,電話:82318422  

    真人平台|主页