目前，北京航空航天大學官網(wǎng)已調(diào)整為黑白頁面。

據(jù)介紹，李未1943年6月生于北京，1961年至1966年在北京大學數(shù)學力學系學習，1968年起在北京航空學院（現(xiàn)北京航空航天大學）任教，1979年至1983年赴英國愛丁堡大學學習，獲計算機科學博士學位。

1997年，李未當選中國科學院院士，2002年1月至2009年5月任北京航空航天大學校長。

李未是國際上最早研究和發(fā)展并發(fā)程序語言的結構操作語義模型的學者之一，在實用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性研究成果。

李未在我國率先倡導開展海量信息計算的理論與方法研究，在國際上提出群體軟件工程概念，凝練的群體智能新研究方向被列入國家新一代人工智能發(fā)展戰(zhàn)略規(guī)劃，創(chuàng)建軟件開發(fā)環(huán)境國家重點實驗室并擔任首屆主任。

李未曾任國務院學位委員會委員、國家高技術研究發(fā)展計劃（863計劃）專家組副組長、國家重點基礎研究發(fā)展計劃（973計劃）首席科學家。

獲國家自然科學二等獎、國家科技進步二等獎、國家級教學成果一等獎、何梁何利基金科學與技術進步獎、光華科技進步一等獎、俄羅斯齊奧爾科夫斯基獎章、首都勞動獎章等榮譽。

李未先后受命擔任國家中長期科技發(fā)展規(guī)劃大型飛機重大專項論證專家組組長、大型飛機重大專項實施方案論證委員會主任委員，為國家大型飛機重大專項立項和實施做出突出貢獻。