李未 |
---|
性別 | 男 |
---|
出生 | (1943-06-08) 1943年6月8日(81歲) 北京 |
---|
國籍 | 中華人民共和國 |
---|
|
李未(1943年6月8日—),男,北京人,中國計算機專家,中國科學院院士,北京航空航天大學原校長。他主要從事計算機軟件與科學理論以及互聯網應用研究,研究領域包括並發程式語言語義理論、軟件開發方法、人工智能基礎及超大規模集成電路輔助設計技術。
生平
1966年畢業於北京大學數學與力學系,1983年在英國愛丁堡大學計算機科學系獲博士學位,曾任英國科學與工程委員會、紐卡瑟大學和愛丁堡大學計算機系高級研究員,歐洲共同體發展信息戰略計劃(ESPRIT)及德國不萊梅大學教授級研究員,德國薩爾大學(Zuse)客座教授。1986年任教授,並被批准為博士導師,1997年當選為中國科學院院士。
1981年提出了用結構操作語義描述軟件中並發、同步及通訊現象的方法,系統地解決了諸如Ada、Edison等並髮式程式語言的操作語義問題,結構操作語義方法已成為程式語言語義學的一種經典方法。
1992年建立了開放邏輯理論,解決了信息的不完全性、知識的可錯性及推理的非單調性的描述問題。
1998年在中國首先倡導海量信息計算的理論與方法研究。
2002年開始任北京航空航天大學校長。2008年,當選第十一屆全國政協委員[1],代表科學技術界,分入第三十一組。並擔任教科文衛體委員會專委。[2]
參考文獻
- ^ 第十一届全国政协委员名单. 新華社北京1月25日電 中國人民政治協商會議第十一屆全國委員會委員名單(共2237人,2008年1月25日政協第十屆全國委員會常務委員會第二十次會議通過). 2008-01-25 [2013-04-09]. (原始內容存檔於2013-09-28).
- ^ 全国政协信息-李未. 全國政協委員會. [2013-04-09]. (原始內容存檔於2019-06-01).
|
---|
| 歷史沿革 | |
---|
| 校園 | |
---|
| 校長 | |
---|
| 教學科研 | 院系 | 材料科學與工程學院 · 電子信息工程學院 · 自動化科學與電氣工程學院 · 能源與動力工程學院 · 航空科學與工程學院 · 計算機學院 · 機械工程及自動化學院 · 經濟管理學院 · 數學與系統科學學院 · 生物與醫學工程學院 · 人文社會科學學院(公共管理學院) · 外國語學院 · 交通科學與工程學院 · 可靠性與系統工程學院 · 宇航學院 · 飛行學院 · 儀器科學與光電工程學院 · 北京學院 · 物理科學與核能工程學院 · 法學院 · 軟件學院 · 繼續教育學院 · 高等理工學院 · 中法工程師學院 · 國際學院 · 新媒體藝術與設計學院 · 化學學院 · 馬克思主義學院 · 人文與社會科學高等研究院 · 空間與環境學院 · 國際通用工程學院 · 無人系統研究院 · 國際交叉科學研究院 · 北斗絲路學院 · 醫工交叉創新研究院 · 網絡空間安全學院 · 微電子學院 · 人工智能研究院 · 前沿科學技術創新研究院 · 雲南創新研究院 · 中法航空學院 |
---|
| 教學單位 | 北航學院(士諤書院 · 馮如書院 · 士嘉書院 · 守鍔書院 · 致真書院 · 知行書院) · 研究生院 · 工程訓練中心 · 體育部 |
---|
| 實驗室 | 航空科學與工程國家實驗室(籌) · 衛星導航應用國家工程研究中心 · 軟件開發環境國家重點實驗室 · 虛擬現實技術與系統國家重點實驗室 · 國家科技資源共享服務工程技術研究中心 · 虛擬現實/增強現實技術及應用國家工程實驗室 · 綜合交通大數據應用技術國家工程實驗室 · 大型金屬構件增材製造國家工程實驗室 |
---|
|
---|
| 組織機構 | 領導機構 | 黨政辦公室 · 發展規劃部(處) · 組織部/黨校 · 宣傳部/新聞中心 · 統戰部 · 紀委辦公室(監察處) · 學生工作部(學生處)/武裝部 · 安全保衛部(處) · 保密處 · 機關黨委(機關行政辦公室) · 教務處 · 科學技術研究院 · 人事處/人才工作辦公室 · 財務處 · 審計處 · 國際交流合作處/港澳台事務辦公室 · 招生就業處/招生辦公室/學生就業指導服務中心 · 校園規劃建設與資產管理處 · 後勤保障處/後勤黨委 · 離退休黨委/離退休工作處 · 沙河校區管理委員會辦公室 · 國家實驗室辦公室 · 國內合作辦公室 · 法律事務辦公室 · 招標採購管理中心 · 信訪辦公室 · 人才交流中心 · 校友聯絡發展處 · 信息化辦公室 · |
---|
| 群團組織 | 校工會 · 校團委 · 校友總會 · 北航教育基金會 · 北航科協 |
---|
| 直屬與附屬單位 | 檔案與文博館 · 北航學報編輯部 · 圖書館 · 學術委員會辦公室 · 校醫院 · 北航實驗學校 · 資產經營有限公司 · 北航社區管理服務辦公室 · 北航幼兒園 |
---|
| 學生組織 | 學生會 · 研究生會 · 社團聯合會 · 藍天志願者協會 · 廣播電視台 · 新媒體記者團 · 大學生藝術團 · 排球校隊 · 未來花園BBS/PT |
---|
|
---|
| 學生活動 | 校慶日 · 馮如杯 |
---|
| |
|
|
---|
| 技術科學部 | 1955年 | |
---|
| 1980年 | |
---|
| 1991年 | |
---|
| 1993年 | |
---|
| 1995年 | |
---|
| 1997年 | |
---|
| 1999年 | |
---|
| 2001年 | |
---|
| 2003年 | |
---|
|
---|
| 信息技術科學部 | 2005年 | |
---|
| 2007年 | |
---|
| 2009年 | |
---|
| 2011年 | |
---|
| 2013年 | |
---|
| 2015年 | |
---|
| 2017年 | |
---|
| 2019年 | |
---|
| 2021年 | |
---|
| 2023年 | |
---|
|
---|
| 註:姚期智於2004年被選為 中國科學院外籍院士,2015年放棄美國籍,加入中華人民共和國國籍,2017年轉為中國科學院院士。 | | |
|
|
---|
|
|
---|
| 2012年4月-2018年12月 | | 名譽理事長 | |
---|
| 名譽副理事長 | |
---|
| 理事長 | |
---|
| 副理事長 | |
---|
| 秘書長 | |
---|
|
|
|
|
---|
| |
---|
| 2006年4月-2012年8月 | | 會長 | |
---|
| 副會長 | |
---|
| 秘書長 | |
---|
| 副秘書長 | |
---|
| 常務理事 | |
---|
| 顧問 | |
---|
|
|
|