南京大學(xué)計算機軟件新技術(shù)國家重點實驗室名譽主任、博士生導(dǎo)師徐家福教授來校做“計算機科學(xué)與技術(shù)若干重大問題研究”學(xué)術(shù)報告

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

  報告題目：計算機科學(xué)與技術(shù)若干重大問題研究

  報告時間：2014年5月23日星期五下午2:30-4:30

  報告地點：科學(xué)校區(qū)政法樓2樓學(xué)生活動中心

  歡迎廣大師生參加！

  科技處

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

二零一四年五月22日

  附：徐家福教授簡介

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