中國日報1月28日電(記者 趙磊)記者從北京航空航天大學獲悉,中國共產(chǎn)黨黨員,中國科學院院士,著名計算機科學家、教育家,我國計算機和人工智能領域重要奠基人之一,第十、十一屆全國政協(xié)委員,北航原校長李未,因病醫(yī)治無效,于1月25日23時10分在北京逝世,享年82歲。
李未1943年6月生于北京,1979年加入中國共產(chǎn)黨。1961年至1966年在北京大學數(shù)學力學系學習。1968年起在北京航空學院(現(xiàn)北京航空航天大學)任教。1979年至1983年赴英國愛丁堡大學學習,獲計算機科學博士學位。1997年當選中國科學院院士。2002年1月至2009年5月任北京航空航天大學校長。
訃告指出,李未是國際上最早研究和發(fā)展并發(fā)程序語言的結(jié)構(gòu)操作語義模型的學者之一,在實用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性研究成果。在我國率先倡導開展海量信息計算的理論與方法研究。在國際上提出群體軟件工程概念,凝練的群體智能新研究方向被列入國家新一代人工智能發(fā)展戰(zhàn)略規(guī)劃。創(chuàng)建軟件開發(fā)環(huán)境國家重點實驗室并擔任首屆主任。曾任國務院學位委員會委員、國家高技術(shù)研究發(fā)展計劃(863計劃)專家組副組長、國家重點基礎研究發(fā)展計劃(973計劃)首席科學家。獲國家自然科學二等獎、國家科技進步二等獎、國家級教學成果一等獎、何梁何利基金科學與技術(shù)進步獎、光華科技進步一等獎、俄羅斯齊奧爾科夫斯基獎章、首都勞動獎章等榮譽。
李未擔任北京航空航天大學校長期間,以深遠的戰(zhàn)略眼光和卓越的領導能力,與領導班子一道,帶領學校建成國內(nèi)一流、世界知名高水平研究型大學,為北航中國特色、世界一流大學建設奠定堅實基礎。他高度重視培育學校空天信融合新特色,推動學校從拓展辦學規(guī)模向全面提高辦學質(zhì)量轉(zhuǎn)變,從培養(yǎng)常規(guī)型科技人才向培養(yǎng)創(chuàng)新型專業(yè)人才轉(zhuǎn)變。他強調(diào)本科是大學之本,大力推行"嚴進、重教、優(yōu)出"的培養(yǎng)措施,顯著提升人才培養(yǎng)質(zhì)量。他強調(diào)"以學生為本、以教師為本",堅持教授治學和扁平化管理,推動按一級學科建設學院,擴大院(系)辦學自主權(quán),極大激發(fā)基層組織活力。他強調(diào)一流大學要做出歷史性貢獻,緊扣國家戰(zhàn)略需求,培養(yǎng)領軍和領導人才,產(chǎn)出標志性科研成果。他先后受命擔任國家中長期科技發(fā)展規(guī)劃大型飛機重大專項論證專家組組長、大型飛機重大專項實施方案論證委員會主任委員,為國家大型飛機重大專項立項和實施做出突出貢獻。