李未,現任石家莊幼兒師範高等專科學校黨委委員、副校長(試用期一年)。
2020年5月19日,石家莊市藁城區二屆人大常委會第二十七次會議決定李未任石家莊幼兒師範高等專科學校黨委委員、副校長。
基本介紹
- 中文名:李未
- 國籍:中國
李未,現任石家莊幼兒師範高等專科學校黨委委員、副校長(試用期一年)。
2020年5月19日,石家莊市藁城區二屆人大常委會第二十七次會議決定李未任石家莊幼兒師範高等專科學校黨委委員、副校長。
李未,1943年6月8日出生於北京市,計算機專家,中國科學院院士,北京航空航天大學計算機學院教授,博士生導師。李未於1961年考入北京大學數學力學系,先後獲得學士、碩士學位;1968年至1979年先後擔任北京航空學院基礎...
李未 李未,曾任中建港航局集團有限公司黨委副書記、董事、總經理。人物履歷 曾任中建港航局集團有限公司黨委副書記、董事、總經理。任職信息 2023年6月30日下午,中建港航局集團有限公司召開中層及以上管理人員大會,李未同志不再擔任中建港航局集團有限公司黨委副書記、董事、總經理職務,另有任用。
李未,現任石家莊幼兒師範高等專科學校黨委委員、副校長(試用期一年)。2020年5月19日,石家莊市藁城區二屆人大常委會第二十七次會議決定李未任石家莊幼兒師範高等專科學校黨委委員、副校長。人物履歷 2020年5月,任石家莊幼兒師範高等專科學校黨委委員、副校長(試用期一年)。任免信息 2020年5月19日,石家莊市藁城區二...
《李未院士文集》是1999年北京出版社出版的圖書,作者是李未。作者介紹 李未,1943年 6月出生。1966年畢 業於北京大學,1983年獲英國愛丁 堡大學計算機科學 博士學位。現為北 京航空航天大學計 算機系教授、軟體 開發環境國家重點 實驗室主任、中國 科學院院士、國務 院學位委員會委 員。李未在實用並 發語言語義...
《計算機科學與軟體研究——李未院士七十華誕紀念文集》是2013年科學出版社出版的圖書,作者是懷進鵬、徐寶文、許可。內容簡介 為慶祝李未院士七十華誕,本書收錄國內外學者撰寫的計算機科學與軟體研究領域的論文49篇,主要反映這些學者近年來在計算機基礎與理論、計算機系統與結構、軟體技術、網路與大數據、計算機套用技術等...
《變革中的大學:李未教育文存》是2012年高等教育出版社出版的圖書,作者是李未。內容簡介 《變革中的大學:李未教育文存》的所有文字,都忠實記錄下了北航在這個大時代里的變革,也記錄下了一個大學管理者面對革新的各種思考。圖書目錄 第一部分辦學思路 做好學科建設和校園建設 橫比找差距實現新突破 建設國際知名...
《數理邏輯:基本原理與形式演算(第二版)》是2018年01月科學出版社出版的圖書,作者是李未。內容簡介 本書的內容共分十章,系統介紹數理邏輯的基本原理與形式演算。前五章涵蓋了經典數理邏輯的核心內容,包括一階語言的語法與模型,形式推理系統,可計算性與可表示性,哥德爾定理。後五章的內容是作者的研究成果。...
《再見偽大人》是連載於17K小說網的一部浪漫青春類網路小說,作者是拾久是我。內容簡介 李未是一個無憂無慮,大大咧咧的女孩,她不會想到即將到來的高一將會是她一生的重要轉折點。命運般地進入一個文科班,有一個奇怪的老頭,一群亦敵亦友的同學,有一堆亂七八糟的事情像是影視劇一般落到了她的頭上。這三年...
《網際網路網路行為的物理學測量和分析研究》是依託北京航空航天大學,由李未擔任項目負責人的重大研究計畫。項目摘要 本項目將在大規模網路測量和實驗的基礎上,研究發現網際網路上信息運動的“特理規律”,建立合適的信息動力學模型,初步形成完整的描述網路行國的“信息特理學”現論框架,為國家信息基礎設施的、高效運行...
開放邏輯 開放邏輯(open logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 中國科學院院士李未提出的一個可以刻畫知識增長、更新以及進化的邏輯理論。由形式理論版本序列及其極限、修正演算和過程模式以及歸納演算四部分組成。出處 《計算機科學技術名詞 》第三版。
吳文峻,1994年畢業於北京航空航天大學計算機科學與工程系,獲學士學位。從1994年師從我國著名的計算機科學家、中科院院士李未教授,攻讀計算機軟體碩士和博士學位,先後獲得碩士和博士學位。簡介 2001年博士畢業後,赴美留學。從2002年到2006年,在美國印第安那大學(Indiana University)作博士後研究,並成為普適計算研究所(...
浙江省可視媒體智慧型處理技術研究重點實驗室是2011年由省科技廳、省財政廳、省發改委聯合發文成立,由浙江工業大學和杭州數字娛樂園有限公司共同建設。由國家級教學名師、國務院政府特殊津貼人員王萬良教授、博導擔任實驗室主任,中科院李未院士擔任學術委員會主任。實驗室坐落在西湖區杭州數字娛樂產業園三號樓五樓,是一個...
丁嶸,男,博士,副教授,北京航空航天大學計算機系本科和碩士畢業於東南大學無線電工程系,博士畢業於清華大學電子工程系。 現在李未院士領導的團隊中工作,主要負責無線感測器網路(WSN)和網路音視頻領域的研究工作,已主持及參與多項國家級項目,發表多篇學術論文(其中SCI檢索4篇,EI檢索15篇),獲部級科技創新獎1項...
2000年4月,學校引進北京航空航天大學李未院士為共享院士,成立了浙江工業大學軟體開發環境重點實驗室,李未院士擔任重點實驗室主任。2001年1月,獲計算機套用技術碩士點。2002.4-2004.8浙江工業大學信息工程學院、軟體學院、軟體職業技術學院 2002年4月15日,校黨委根據浙江省教育廳檔案,決定成立軟體學院,與信息工程...
懷進鵬、陸建華、李未、房建成 12 馬林 55 雷達系統 中國電子科技集團公司第十四研究所 院士小組 13 莫則堯 49 高性能計算 中國工程物理研究院 院士小組 14 錢德沛 68 計算機系統結構 北京航空航天大學 呂建、馮登國、王懷民、林惠民、李未、懷進鵬 15 喬紅(女) 56 機器人理論與套用 中國科學院自動化研究所 譚鐵牛...