| 李未 |
|---|
| 性別 | 男 |
|---|
| 出生 | (1943-06-08) 1943年6月8日（80歲）
北京 |
|---|
| 國籍 |  中華人民共和國 |
|---|
|
李未（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月 | | | 會長 | |
|---|
| | 副會長 | |
|---|
| | 秘書長 | |
|---|
| | 副秘書長 | |
|---|
| | 常務理事 | |
|---|
| | 顧問 | |
|---|
|
|
|
中華人民共和國