南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任、博士生導(dǎo)師徐家福教授來(lái)校做“計(jì)算機(jī)科學(xué)與技術(shù)若干重大問(wèn)題研究”學(xué)術(shù)報(bào)告

   應(yīng)我校計(jì)算機(jī)與通信工程學(xué)院邀請(qǐng)，南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任、博士生導(dǎo)師徐家福教授來(lái)校進(jìn)行學(xué)術(shù)訪問(wèn)，期間將為我校師生作專場(chǎng)學(xué)術(shù)報(bào)告。有關(guān)事宜如下：

  報(bào)告題目：計(jì)算機(jī)科學(xué)與技術(shù)若干重大問(wèn)題研究

  報(bào)告時(shí)間：2014年5月23日星期五下午2:30-4:30

  報(bào)告地點(diǎn)：科學(xué)校區(qū)政法樓2樓學(xué)生活動(dòng)中心

  歡迎廣大師生參加！

  科技處

計(jì)算機(jī)與通信工程學(xué)院

二零一四年五月22日

  附：徐家福教授簡(jiǎn)介

  徐家福教授，博士生導(dǎo)師，中國(guó)計(jì)算機(jī)科學(xué)和計(jì)算機(jī)軟件學(xué)專家。江蘇南京人。1924年12月出生，1948年畢業(yè)于中央大學(xué)工學(xué)院（今南京大學(xué)）。1957～1959年在蘇聯(lián)莫斯科大學(xué)進(jìn)修。1981年任南京大學(xué)計(jì)算機(jī)系教授、博士生導(dǎo)師，培養(yǎng)出中國(guó)第一位計(jì)算機(jī)軟件學(xué)博士。曾任南京大學(xué)計(jì)算機(jī)軟件研究所所長(zhǎng)、計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室主任，國(guó)務(wù)院學(xué)位委員會(huì)計(jì)算機(jī)學(xué)科評(píng)議組召集人，國(guó)務(wù)院電子振興領(lǐng)導(dǎo)小組顧問(wèn)，中國(guó)計(jì)算機(jī)學(xué)會(huì)副理事長(zhǎng)，清華大學(xué)、吉林大學(xué)兼職教授等?，F(xiàn)任南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任。主要研究高級(jí)語(yǔ)言、新型程序設(shè)計(jì)與軟件自動(dòng)化。代表性成果有：研制出中國(guó)第一個(gè)ALGOL系統(tǒng)、系統(tǒng)程序設(shè)計(jì)語(yǔ)言XCY、多種規(guī)約語(yǔ)言；參加制定ALGOL、COBOL國(guó)家標(biāo)準(zhǔn)；率先在中國(guó)研制出數(shù)據(jù)驅(qū)動(dòng)計(jì)算機(jī)模型；研制出兼顧函數(shù)式和邏輯式風(fēng)格的核心語(yǔ)言KLND及相應(yīng)的并行推理系統(tǒng)；完成多個(gè)軟件自動(dòng)化系統(tǒng)。獲中國(guó)國(guó)家教委（現(xiàn)教育部）一等獎(jiǎng)4次，電子部（現(xiàn)信息產(chǎn)業(yè)部）一等獎(jiǎng)3次，2011年中國(guó)計(jì)算機(jī)學(xué)會(huì)終身成就獎(jiǎng)。出版著作10部，發(fā)表論文160篇