【導(dǎo)讀】李未院士是我國(guó)著名的計(jì)算機(jī)科學(xué)家。1943年6月8日出生,1966. 2020-2020年任北京航空航天大學(xué)校長(zhǎng)。開發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室主任。李未院士在實(shí)用并發(fā)語言操作語義和。形式理論序列及修正演算等方面取得了開創(chuàng)性研究成果。理及傳輸?shù)睦碚撆c方法”首席科學(xué)家。李未院士1995年獲國(guó)家自然。國(guó)家級(jí)科技進(jìn)步二等獎(jiǎng)一項(xiàng),2020年獲國(guó)家教學(xué)成果一等獎(jiǎng)一項(xiàng)。及實(shí)施方案論證專家委員會(huì)主任委員。程序模塊以及程序例外處理的語義。他的工作系統(tǒng)地解決了諸如像。奠定了理論基礎(chǔ)。究,取得了富有成效的創(chuàng)新性研究成果。在國(guó)際、國(guó)內(nèi)學(xué)術(shù)刊物和國(guó)際。學(xué)術(shù)會(huì)議發(fā)表學(xué)術(shù)論文百余篇,中文專著2部,英文專著1部。防科技預(yù)先研究等20余項(xiàng)國(guó)家科研任務(wù)。用中存在的規(guī)模小、實(shí)時(shí)性差等問題,進(jìn)行研究,取得創(chuàng)新成果。創(chuàng)建了中國(guó)計(jì)算機(jī)學(xué)會(huì)虛擬現(xiàn)實(shí)與可視化技術(shù)專業(yè)委員會(huì)。發(fā)明專利授權(quán)12項(xiàng)。已培養(yǎng)博士36人,碩士50余人。