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