李未（1943年6月8日-2026年1月25日），男，出生于北京市，中國科學院院士，計算機科學家、教育家，中國計算機和人工智能領域重要奠基人之一，第十、十一屆全國政協委員，北京航空航天大學原校長。
1961年至1966年，李未在北京大學數學力學系學習。1968年起，李未在北京航空學院任教。1979年至1983年，李未赴愛丁堡大學學習，獲計算機科學博士學位。1997年，李未當選中國科學院院士。2002年1月至2009年5月，李未任北京航空航天大學校長。2026年1月25日23時10分，李未同志因病醫治無效在北京逝世，享年82歲。
李未同志是國際上最早研究和發展并發程序語言的結構操作語義模型的學者之一，在實用并發語言操作語義、形式理論序列和修正演算等方面取得了開創性研究成果。他在中國率先倡導開展海量信息計算的理論與方法研究。李未同志曾任國務院學位委員會委員、國家高技術研究發展計劃（863計劃）專家組副組長、國家重點基礎研究發展計劃（973計劃）首席科學家。李未曾獲國家自然科學二等獎、國家科技進步二等獎、國家級教學成果一等獎、何梁何利基金獎、光華科技進步一等獎、俄羅斯康斯坦丁·齊奧爾科夫斯基獎章、首都勞動獎章等榮譽。
人物生平
1943年6月8日，李未出生于北京市。1961年至1966年，李未在北京大學數學力學系學習。1968年起，李未在北京航空學院任教。1979年，李未加入中國共產黨。1979年至1983年，李未赴愛丁堡大學學習，獲計算機科學博士學位。1986年起，李未擔任北京航空航天大學博士生導師。1997年，李未當選中國科學院院士。2002年1月至2009年5月，李未任北京航空航天大學校長。2012年起，李未積極推廣慕課。2014年，李未發起組建中國高校計算機教育MOOC聯盟。
2026年1月25日23時10分，李未同志因病醫治無效在北京逝世，享年82歲。李未同志遺體送別儀式于2026年1月31日上午9時在八寶山殯儀館東禮堂舉行。
人物成就
科研成就
科研綜述
李未同志是國際上最早研究和發展并發程序語言的結構操作語義模型的學者之一，在實用并發語言操作語義、形式理論序列和修正演算等方面取得了開創性研究成果。他在中國率先倡導開展海量信息計算的理論與方法研究。在國際上提出群體軟件工程概念，凝練的群體智能新研究方向被列入國家新一代人工智能發展戰略規劃。
李未對科學理論的進化、軟件及其功能描述中的缺陷和程序錯誤的定位和修復進行了系統深入的研究，提出了關于版本序列的理論，建立了對錯誤進行修正的形式演算系統（R-演算）；設計了描述軟件開發方法的形式語言，提出了可信軟件開發方法的基本理論。
學術論著
李未在國際、國內學術刊物和國際學術會議發表學術論文百余篇，中文專著2部，英文專著1部。
承擔項目
參考資料
科研成果獎勵
參考資料
人才培養
高校治理
李未于2002年至2009年在北京航空航天大學擔任校長，在中國高等教育從精英教育向大眾化教育的歷史性變革中，創新性地謀劃學校的改革和發展，探索以理工科見長的大學全面提高教育質量的路徑，推動北京航空航天大學由一所行業性大學向國際知名的高水平研究型大學轉變，為北京航空航天大學十余來的持續快速發展奠定了堅實的基礎。
李未認為高等教育的根本在于立德樹人，高水平的科學研究，體現了學校的學術水平，同時也是為培養人才服務的，他提出要不斷把科研的優勢轉化為人才培養優勢。他還提出“本科是大學之本”，制定了“強化基礎、突出實踐、重在素質、面向創新”的本科教學指導方針和堅持“嚴進、重教、優出”的培養措施。全校著力打造六門核心基礎課，通過使用高質量教材、聘請名師講課等，讓學生享受到更高質量的本科教育。他親自指導成立高等工程學院，按照先試點、后推廣的原則，積累經驗，改進不足，逐步將本科教學改革措施向各個學院推廣。在研究生教育中，他提出了“拓寬基礎、瞄準前沿、共建團隊、自主創新”的工作方針，全面修訂博士生、碩士生培養方案，大力推進研究生梯隊式培養。
項目管理
李未先后受命擔任國家中長期科技發展規劃大型飛機重大專項論證專家組組長、大型飛機重大專項實施方案論證委員會主任委員，為國家大型飛機重大專項立項和實施做出突出貢獻。
學生指導
李未自1986年起擔任博士生導師，培養博士后8名、博士研究生52名和碩士生百余人。
教育成果
參考資料
社會活動
2016年7月22日，由大中華區MOOC研討會指導委員會主辦、西安交通大學承辦的第三屆大中華區MOOC研討會在西安交大學術交流中心開幕，李未院士出席開幕式。李未院士在《互聯網+與中國高等教育》的主題報告中指出，高校教育面臨資源參差不齊、頂尖人才缺失、信息技術發展不足等問題，如何提高教學質量成為了核心問題。李未認為，高等教育的質量核心是本科教育質量，而本科教育的核心則是核心基礎課與科技實踐課。因此，各高校應給予MOOC建設高度重視，抓住機遇，共同推動師資共有是各高校責無旁貸的責任。李未認為，MOOC推廣應當結合基本國情，通過互聯網+全面提高教育管理質量，從發展面向驗證的科技實驗課程入手，形成大眾創業、萬眾創新，人才支持的新型高質人才社會。
主要作品
論文作品
截至2026年1月27日，中國知網累計收錄李未128篇期刊論文。
參考資料
出版圖書
榮譽獎項
社會任職
參考資料
人物評價
李未同志的一生，是忠誠于黨、奮斗不息的一生，是躬身報國、服務人民的一生。作為科學家，他高瞻遠矚、求真創新，助力高水平科技自立自強。作為教育家，他治校有為、育才有方，深受師生敬重與愛戴。李未同志的逝世，是國際信息科學界和中國高等教育事業的重大損失！我們沉痛悼念并深切緬懷李未同志！（北京航空航天大學評）
李未同志的逝世，是國際信息科學界和中國高等教育事業的重大損失。愿李未同志安息！（中國計算機協會評）
李未在并行程序語言翻譯正確方面做出了創始性貢獻，在研究和使用硅編譯技術及智能計算機研究等方面做出了突出成績。（北京航空航天大學評）
參考資料 >
沉痛悼念李未同志.中國計算機學會.2026-01-27
教授.北京航空航天大學計算機學院.2026-01-27
訃告｜沉痛悼念李未同志！.微信公眾平臺.2026-01-27
北京航空航天大學原校長李未逝世，享年82歲.北京航空航天大學.2026-01-27
北航原校長李未院士獲科學中國人年度人物“杰出大學校長獎”.北京航空航天大學.2026-01-27
高校獲2004年度國家科學技術進步獎獲獎項目.中華人民共和國教育部.2026-01-27
第三屆大中華區MOOC研討會在西安交大舉行.西安交通大學新聞網.2026-01-27
李未.中國知網.2026-01-27
李未院士文集.豆瓣讀書.2026-01-27
變革中的大學.豆瓣讀書.2026-01-27
數理邏輯.豆瓣讀書.2026-01-27
信息技術科學部----中國科學院學部與院士.中國科學院學部.2026-01-27
李未.中國科學院院士文庫.2026-01-27
北航校長被授予俄航空航天最高榮譽勛章(圖).鳳凰網.2026-01-27
痛別！我國著名計算機科學家李未院士逝世.今日頭條.2026-01-27
第一屆中英空間科學與技術研討會.北京航空航天大學儀器科學與光電工程學院.2026-01-27
中國人民政治協商會議第十一屆全國委員會委員名單.光明網.2026-01-27