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