著名科學(xué)家學(xué)術(shù)報(bào)告會(huì):科學(xué)發(fā)現(xiàn)的邏輯
時(shí)間：2012年11月14日（周三）上午10：00
地點(diǎn)：計(jì)算所四層報(bào)告廳
報(bào)告人：李未院士，北京航空航天大學(xué)
報(bào)告人簡介：
報(bào)告人簡介：
李未，北京大學(xué)數(shù)學(xué)系本科畢業(yè)，1983年獲愛丁堡大學(xué)博士學(xué)位，1986年起任北京航空航天大學(xué)教授，1997年當(dāng)選中國科學(xué)院院士。1992至2012任軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室主任，2002年至2009年任北航校長。
李未院士長期從事計(jì)算機(jī)軟件與科學(xué)理論以及因特網(wǎng)應(yīng)用研究。系統(tǒng)地解決了實(shí)用并行程序設(shè)計(jì)語言，特別是并行及通訊結(jié)構(gòu)的語義問題，在并行程序語言翻譯正確方面做出創(chuàng)始性貢獻(xiàn)。還提出開放邏輯理論，建立了形式系統(tǒng)序列的極限理論等，證明了正交設(shè)計(jì)的最優(yōu)性，在研究和使用硅編譯技術(shù)及智能計(jì)算機(jī)研究等做出突出的成績。
在程序設(shè)計(jì)理論與方法方面獲1995年國家自然科學(xué)獎(jiǎng)二等獎(jiǎng)。在計(jì)算機(jī)體系結(jié)構(gòu)方面主持研制推理工作站獲航空航天部1996年科技進(jìn)步獎(jiǎng)一等獎(jiǎng)。在人工智能方面是形式系統(tǒng)序列與極限理論的開創(chuàng)者，獲1999年光華科技進(jìn)步一等獎(jiǎng)及何梁何利科技進(jìn)步獎(jiǎng)。在網(wǎng)絡(luò)計(jì)算方面1996年獲北京市科技進(jìn)步獎(jiǎng)二等獎(jiǎng)，主持研制的基礎(chǔ)設(shè)施網(wǎng)絡(luò)管理系統(tǒng)軟件生產(chǎn)平臺(tái)，獲得2004年度國家科技進(jìn)步二等獎(jiǎng)（第一完成人）。