複製鏈接
請複製以下鏈接發送給好友

李未

(中國科學院院士、計算機專家)

鎖定
李未,1943年6月8日出生於北京市,計算機專家,中國科學院院士北京航空航天大學計算機學院教授,博士生導師 [13] 
李未於1961年考入北京大學數學力學系,先後獲得學士、碩士學位 [15]  ;1968年至1979年先後擔任北京航空學院基礎部、計算中心教師;1983年獲得英國愛丁堡大學計算機系博士學位,之後回國擔任北京航空學院計算機系講師;1986年擔任北京航空航天大學計算機學院教授、博士研究生導師;1997年當選為中國科學院院士;2002年至2009年擔任北京航空航天大學校長、黨委副書記。
李未主要從事併發程序語言的結構操作語義方法、翻譯理論和實現技術研究 [2] 
中文名
李未
國    籍
中國
出生地
北京市
出生日期
1943年6月8日
畢業院校
英國愛丁堡大學
職    業
教育科研工作者
主要成就
1997年當選為中國科學院院士
性    別

李未人物經歷

李未
李未(9張)
1943年6月8日,李未出生於北京市。
1961年9月—1965年6月,就讀於北京大學數學力學系,畢業並獲得學士學位。
1965年9月—1968年6月,就讀於北京大學數學力學系,畢業並獲得碩士學位 [14] 
1968年6月—1979年7月,先後擔任北京航空學院基礎部、計算中心教師。
1979年7月—1983年1月,就讀於英國愛丁堡大學計算機系,畢業並獲得博士學位。
1983年1月—1986年8月,擔任北京航空學院計算機系講師。
1986年9月,擔任北京航空航天大學計算機學院教授、博士研究生導師。
1997年,當選為中國科學院院士 [2] 
2002年1月—2009年5月,擔任北京航空航天大學校長、黨委副書記 [13] 

李未主要成就

李未科研成就

  • 科研綜述
李未解決了實用併發語言的複雜語法結構的語義問題,在建立併發語言的翻譯和比較研究理論方面取得了開創性研究成。1991年提出了用版本序列的收斂性描述軟件開發過程和知識庫維護策略的理論和方法,開闢了用近似和逼近方法研究軟件開發和知識庫維護的方向 [3] 
  • 學術論著
根據2021年11月北京航空航天大學計算機學院網站顯示,李未先後在國際、中國國內學術刊物和國際學術會議發表學術論文百餘篇,中文專著2部,英文專著1部 [13] 
  • 承擔項目
項目名稱
項目來源,擔任職務
網絡環境下海量信息的組織與處理的理論與方法研究
海量信息的協同性與可生存性的理論和實踐研究
國家重點基礎研究發展計劃(973計劃),首席科學家 [5] 
  • 科研成果獎勵
獲獎時間
項目名稱
獎勵名稱
1995年

國家自然科學二等獎
1999年

光華科技進步一等獎
2004年
基礎設施信息網絡管理系統生產平台技術
國家科技進步二等獎(第一完成人) [4]  [11] 

李未人才培養

  • 高校治理
李未於2002年至2009年在北京航空航天大學擔任校長,在中國高等教育從精英教育向大眾化教育的歷史性變革中,創新性地謀劃學校的改革和發展,探索以理工科見長的大學全面提高教育質量的路徑,推動北京航空航天大學由一所行業性大學向國際知名的高水平研究型大學轉變,為北京航空航天大學十餘來的持續快速發展奠定了堅實的基礎 [5] 
李未認為高等教育的根本在於立德樹人,高水平的科學研究,體現了學校的學術水平,同時也是為培養人才服務的,他提出要不斷把科研的優勢轉化為人才培養優勢。他還提出“本科是大學之本”,制定了“強化基礎、突出實踐、重在素質、面向創新”的本科教學指導方針和堅持“嚴進、重教、優出”的培養措施。全校着力打造六門核心基礎課,通過使用高質量教材、聘請名師講課等,讓學生享受到更高質量的本科教育。他親自指導成立高等工程學院,按照先試點、後推廣的原則,積累經驗,改進不足,逐步將本科教學改革措施向各個學院推廣。在研究生教育中,他提出了“拓寬基礎、瞄準前沿、共建團隊、自主創新”的工作方針,全面修訂博士生、碩士生培養方案,大力推進研究生梯隊式培養 [5] 
  • 寄語學生
2008年6月22日,北京航空航天大學舉行的本科生畢業典禮上,校長李未寄語2008屆畢業生,希望他們在新的人生階段,成為“有大志向的人”,成為“有利於國家,有利於人類,又對得起自己人生的人” [8] 
  • 指導學生
根據2021年11月北京航空航天大學計算機學院網站顯示,李未從1986年起擔任博士生導師,培養博士後8名、博士研究生52名和碩士生百餘人 [13] 
  • 教育成果獎勵
獲獎時間
項目名稱
獎勵名稱
2005年
研究型學院人才培養模式與體系的研究與實踐
國家教學成果一等獎 [6] 

李未榮譽表彰

時間
榮譽表彰
授予單位
1997年
中國科學院院士
1998年
2004年
國家中長期科學與技術發展規劃“突出貢獻獎” [12] 

2007年8月
齊奧爾科夫斯基勳章
俄羅斯國家航天局 [9] 
2018年6月
科學中國人(2017)年度人物傑出大學校長獎
《科學中國人》雜誌社 [1]  [5] 
2024年1月
2023年“CCF最高科學技術獎”
CCF獎勵委員會 [16] 

李未社會任職

時間
擔任職務
2003年3月—2008年3月
中國人民政治協商會議第十屆全國委員會委員、教科文衞體委員會委員
2006年3月
中英空間科學與技術合作研討會主席 [10] 

軟件開發環境國家重點實驗室主任


國家自然科學基金委員會委員

國家中長期科技發展規劃專家組成員

國有智能計算機專家組副組長

教育部計算機教學指導委員會主任

中國電子學會副理事長

英國科學與工程委員會高級研究

德國不來梅大學教授級研究員

德國薩爾布呂肯大學Zuse講座教授

《Frontiers of Computer Science》主編 [13] 

李未人物評價

李未對在在中國開展推理計算機、可擴展計算機羣及其軟件工具和環境的設計與實現等方面也做出了貢獻 [3] (中國科學院評)
李未在並行程序語言翻譯正確方面做出了創始性貢獻,在研究和使用硅編譯技術及智能計算機研究等方面做出了突出成績 [5] (北京航空航天大學新聞網評)

李未人物影響

  • 李未院士70壽辰
2012年9月8日上午9點,慶賀李未院士70壽辰計算機科學與軟件工程發展論壇在北京航空航天大學新主樓第一報告廳召開,李未院士、北京航空航天大學校長懷進鵬院士、北京大學梅宏院士、南京大學副校長呂建教授、浙江大學副校長吳朝暉教授、中國計算機學會秘書長杜子德先生等來自全國三十餘所高校、科研院所及業界的數十名專家、學者出席了論壇,該論壇的主題是計算機科學與軟件工程未來10年的發展方向、趨勢和對策及人才培養的重點和思路 [7] 
參考資料
展開全部 收起