李未，男，1943年生，北京市人，計算機專家。1968年于北京大學數學力學系畢業后在北京航空學院（現北京航空航天大學）任教至今，期間獲英國愛丁堡大學計算機系博士學位。1986年起任北京航空航天大學計算機學院教授、博士研究生導師，2002年-2009年任北京航空航天大學校長，現任國務院學位委員會委員、國有智能計算機專家組副組長等職務。1997年當選中國科學院院士。
李未院士系統地解決了實用并行程序設計語言，特別是并行及通訊結構的語義問題，在并行程序語言翻譯正確方面做出創始性貢獻。還提出開放邏輯理論，建立了形式系統序列的極限理論等，證明了正交設計的最優性，在研究和使用硅編譯技術及智能計算機研究等做出突出的成績，在計算機程序語義研究方面獲1995年國家自然科學二等獎。1999年起先后擔任973計劃“網絡環境下海量信息的組織與處理的理論與方法研究”和“海量信息的協同性與可生存性的理論和實踐研究”項目首席科學家。提出了修正的演算系統（R-演算），并證明了R-演算的可靠性、完全性和可達性。提出并設計了過程模式語言，提出并研究了合理過程模式的三個基本特性，獲得1999年光華科技進步一等獎。主持研制的基礎設施網絡管理系統軟件生產平臺獲得2004年度國家科技進步二等獎（第一完成人）。已發表學術論文100余篇，專著1部。獲2005年度國家教學成果一等獎，獲何梁何利科技進步獎一項。
