北京航空航天大學(xué)計(jì)算機(jī)學(xué)院導(dǎo)師介紹:李未
北京航空航天大學(xué)計(jì)算機(jī)學(xué)院導(dǎo)師介紹:李未內(nèi)容如下,更多考研資訊請關(guān)注我們網(wǎng)站的更新!敬請收藏本站,或下載我們的考研派APP和考研派微信公眾號(里面有非常多的免費(fèi)考研資源可以領(lǐng)取,有各種考研問題,也可直接加我們網(wǎng)站上的研究生學(xué)姐微信,全程免費(fèi)答疑,助各位考研一臂之力,爭取早日考上理想中的研究生院校。)
微信,為你答疑,送資源
北京航空航天大學(xué)計(jì)算機(jī)學(xué)院導(dǎo)師介紹:李未 正文
李未,北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授,博士生導(dǎo)師,中國科學(xué)院院士,國務(wù)院學(xué)位委員會委員,第十、十一屆全國政協(xié)委員,科技部專家顧問委員會委員,教育部咨詢委員會委員,教育部計(jì)算機(jī)教學(xué)指導(dǎo)委員會主任,電子學(xué)會副理事長。
李未院士是我國著名的計(jì)算機(jī)科學(xué)家。1943年6月8日出生,1966年北京大學(xué)數(shù)學(xué)與力學(xué)系畢業(yè),1983年獲英國愛丁堡大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。2002-2009年任北京航空航天大學(xué)校長?,F(xiàn)任軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室主任。曾任國家中長期科技發(fā)展規(guī)劃大型飛機(jī)重大專項(xiàng)論證專家組組長,以及實(shí)施方案論證專家委員會主任委員。
李未院士在實(shí)用并發(fā)語言操作語義、形式理論序列和修正演算等方面取得了開創(chuàng)性研究成果。他對科學(xué)理論的進(jìn)化、軟件及其功能描述中的缺陷和程序錯誤的定位和修復(fù)進(jìn)行了系統(tǒng)深入的研究,提出了關(guān)于版本序列的理論,建立了對錯誤進(jìn)行修正的形式演算系統(tǒng)(R-演算);設(shè)計(jì)了描述軟件開發(fā)方法的形式語言,提出了可信軟件開發(fā)方法的基本理論;在2007年和2010年分別出版了中英文專著《數(shù)理邏輯--基本原理與形式演算》。李未院士在我國率先倡導(dǎo)進(jìn)行海量信息計(jì)算的理論與方法研究,曾兩次擔(dān)任國家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃(973)項(xiàng)目的首席科學(xué)家。李未院士1995年獲國家自然科學(xué)獎二等獎一項(xiàng),1997年獲何梁何利科技進(jìn)步獎一項(xiàng),2004年獲國家級科技進(jìn)步二等獎一項(xiàng),2005年獲國家教學(xué)成果一等獎一項(xiàng)。
李未院士任《中國科學(xué):信息科學(xué)》中英文版和《FrontiersofComputerScienceinChina》的主編。在國際、國內(nèi)學(xué)術(shù)刊物和國際學(xué)術(shù)會議發(fā)表學(xué)術(shù)論文百余篇,中文專著2部,英文專著1部。86年起擔(dān)任博士生導(dǎo)師,培養(yǎng)博士后8名、博士研究生52名和碩士生百余人。
目前主要研究方向包括:
計(jì)算機(jī)科學(xué)理論與軟件基礎(chǔ)
非結(jié)構(gòu)化數(shù)據(jù)理論與實(shí)踐
大數(shù)據(jù)的分析與處理
李未老師的招生聯(lián)系人是:羅杰老師, 郵箱:luojie@nlsde.buaa.edu.cn,辦公地點(diǎn):G1125,電話:82318422
添加北京航空航天大學(xué)學(xué)姐微信,或微信搜索公眾號“考研派小站”,關(guān)注[考研派小站]微信公眾號,在考研派小站微信號輸入[北京航空航天大學(xué)考研分?jǐn)?shù)線、北京航空航天大學(xué)報(bào)錄比、北京航空航天大學(xué)考研群、北京航空航天大學(xué)學(xué)姐微信、北京航空航天大學(xué)考研真題、北京航空航天大學(xué)專業(yè)目錄、北京航空航天大學(xué)排名、北京航空航天大學(xué)保研、北京航空航天大學(xué)公眾號、北京航空航天大學(xué)研究生招生)]即可在手機(jī)上查看相對應(yīng)北京航空航天大學(xué)考研信息或資源。
北京航空航天大學(xué)
本文來源:http://m.zgxindalu.cn/beijinghangkong/daoshi_188616.html
推薦閱讀
-
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:曹慶華
個人簡介姓名:曹慶華性別:男出生年份:職稱:教授職務(wù):北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教學(xué)實(shí)驗(yàn)中心主任。院系:計(jì)算機(jī)學(xué)院現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:巢文涵
個人簡介姓名:巢文涵性別:男出生年份:出生地:江西九江人職稱:講師院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:陳夢東
個人簡介姓名:陳夢東性別:男出生年份:職稱:副研究員、副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:陳真勇
個人簡介姓名:陳真勇性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:丁嶸
個人簡介姓名:丁嶸性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方向……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:何兵
個人簡介姓名:何兵性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方向……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:洪飛
個人簡介姓名:洪飛性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方向……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:胡春明
個人簡介姓名:胡春明性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)聯(lián)系方式電……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:胡海苗
個人簡介姓名:胡海苗性別:男出生年份:職稱:講師院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方向……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:黃迪
個人簡歷姓名:黃迪性別:男出生年份:職稱:講師院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方向及……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:季書帆
個人簡介姓名:季書帆性別:女職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方向及特色:……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:冷彪
個人簡介姓名:冷彪性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)研究方向及特……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:李超
個人簡介姓名:李超性別:男職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:李帥
個人簡介姓名:李帥性別:男出生年份:職稱:講師院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)聯(lián)系方式電子信……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:李巍
個人簡介姓名:李巍性別:女出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)聘任在自主設(shè)置學(xué)科培養(yǎng)博士生專……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:李煒
個人簡介姓名:李煒性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方向……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:劉連忠
個人簡介姓名:劉連忠性別:男出生年份:職稱:研究員、教授院系:計(jì)算機(jī)學(xué)院現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)聘任在自主設(shè)置學(xué)科培養(yǎng)……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:劉禹
個人簡介姓名:劉禹性別:男院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:呂良雙
個人簡介姓名:呂良雙性別:男出生年份:職稱:副教授院系:計(jì)算機(jī)學(xué)院首次聘任導(dǎo)師時間:現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二級學(xué)科名稱:計(jì)算機(jī)應(yīng)用技術(shù)主要研究方……
日期:11-22 閱讀量:20 -
北航計(jì)算機(jī)應(yīng)用技術(shù)專業(yè)導(dǎo)師:羅燕京
個人簡介姓名:羅燕京性別:男出生年份:職稱:高級工程師職務(wù):北京航空航天大學(xué)計(jì)算機(jī)基礎(chǔ)教學(xué)實(shí)驗(yàn)中心主任。院系:計(jì)算機(jī)學(xué)院現(xiàn)聘任導(dǎo)師一級學(xué)科名稱:計(jì)算機(jī)科學(xué)與技術(shù)現(xiàn)聘任導(dǎo)師二……
日期:11-22 閱讀量:20