報(bào)告題目:淺談幾個(gè)基本問題
報(bào)告人:徐家福 教授 博導(dǎo)
單位：南京大學(xué)
報(bào)告時(shí)間：2013年11月5日下午14:30
報(bào)告地點(diǎn)：翡翠湖校區(qū)圖書館報(bào)告廳
個(gè)人簡(jiǎn)介:徐家福教授1924年12月生于南京，1948年6月畢業(yè)于國立中央大學(xué)數(shù)學(xué)系，1957至1959年在蘇聯(lián)英斯科大學(xué)進(jìn)修程序設(shè)計(jì)。1981年起任南京大學(xué)教授、博士生導(dǎo)師，1984年培養(yǎng)出我國第一位計(jì)算機(jī)軟件學(xué)博士。曾任南京大學(xué)計(jì)算機(jī)軟件研究所所長，計(jì)算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室主任，教育部計(jì)算機(jī)軟件教材編審會(huì)主任，國務(wù)院學(xué)位委員會(huì)計(jì)算機(jī)學(xué)科評(píng)議組召集人，國務(wù)院電子振興領(lǐng)導(dǎo)小組顧問，中國計(jì)算機(jī)學(xué)會(huì)副理事長，軟件專業(yè)委員會(huì)主任，清華大學(xué)、吉林大學(xué)兼職教授等職；現(xiàn)任計(jì)算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任、江蘇省計(jì)算機(jī)學(xué)會(huì)名譽(yù)理事長。主要研究高級(jí)語言、新型程序設(shè)計(jì)與軟件自動(dòng)化，代表性成果有：我國第一個(gè)ALGOL編譯系統(tǒng)（1965）；基于自編譯語言的軟件自動(dòng)產(chǎn)生系統(tǒng)NDHD（1978）；通用系統(tǒng)程序設(shè)計(jì)語言XCY（1979）；ALGCL、COBOL國標(biāo)（參與制訂）（1978-1981）；數(shù)據(jù)驅(qū)動(dòng)計(jì)算機(jī)模型FPMND（1984）；兼顧函數(shù)式與邏輯式風(fēng)格的核心語言KLND及相應(yīng)并行推理系統(tǒng)NDPIS（1986）；8種規(guī)約語言（GSPEC、FGSPEC等）及相應(yīng)軟件自動(dòng)化系統(tǒng)（NDAUTO、NDADAS等）（1986-1996）；三種量子程序設(shè)計(jì)語言NDQJava、NDQFP、NDQJava2及相應(yīng)處理系統(tǒng)（2006~2012）?；谏鲜龉ぷ?，出版著作10部，發(fā)表論文160余篇，曾獲國家教委（現(xiàn)教育部）一等獎(jiǎng)4次，電子部（現(xiàn)工信部）一等獎(jiǎng)3次。
太陽集團(tuán)tyc5997
TOP
