中國(guó)科學(xué)院院士李未在計(jì)算機(jī)程序語義研究方面獲國(guó)家自然科學(xué)二等獎(jiǎng)

5915

0

展開

下載

收藏

版權(quán)說明

發(fā)布日期：2021-03-24

true

來源：百度圖片

作者：百度

簡(jiǎn)介：

中國(guó)科學(xué)院院士李未，擔(dān)任國(guó)務(wù)院學(xué)位委員會(huì)委員、國(guó)有智能計(jì)算機(jī)專家組副組長(zhǎng)等。系統(tǒng)地解決了實(shí)用并行程序設(shè)計(jì)語言，特別是并行及通訊結(jié)構(gòu)的語義問題，在并行程序語言翻譯正確方面做出創(chuàng)始性貢獻(xiàn)。還提出開放邏輯理論，建立了形式系統(tǒng)序列的極限理論等，證明了正交設(shè)計(jì)的最優(yōu)性，在研究和使用硅編譯技術(shù)及智能計(jì)算機(jī)研究等做出突出的成績(jī)。