必威电竞|足球世界杯竞猜平台

徐家福
來源:互聯(lián)網(wǎng)

徐家福(1924年12月-2018年1月16日),江蘇南京猿人南京大學(xué)博士生導(dǎo)師,計(jì)算機(jī)科學(xué)和計(jì)算機(jī)軟件學(xué)專家、中國軟件先驅(qū)。

2018年1月16日10時,徐家福在南京不幸逝世,享年94歲。

人物生平

1948年畢業(yè)于中央大學(xué)理學(xué)院(今南京大學(xué)數(shù)學(xué)系)。

1957~1959年在蘇聯(lián)莫斯科國立大學(xué)進(jìn)修。

1981年任南京大學(xué)計(jì)算機(jī)系教授、博士生導(dǎo)師,培養(yǎng)出中國第一位計(jì)算機(jī)軟件學(xué)博士。

曾任南京大學(xué)計(jì)算機(jī)軟件研究所所長、計(jì)算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室主任,國務(wù)院學(xué)位委員會計(jì)算機(jī)學(xué)科評議組召集人,國務(wù)院電子振興領(lǐng)導(dǎo)小組顧問,中國計(jì)算機(jī)學(xué)會副理事長,清華大學(xué)吉林大學(xué)兼職教授等。現(xiàn)任南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任。

2018年1月16日10時,徐家福在南京不幸逝世,享年94歲。

研究方向

主要研究高級語言、新型程序設(shè)計(jì)與軟件自動化。

人物成就

(1)研制出我國第一個ALGOL系統(tǒng)、系統(tǒng)程序設(shè)計(jì)語言XCY、多種規(guī)約語言;

(2)參加制定ALGOL,COBOL國家標(biāo)準(zhǔn);

(3)率先在我國研制出數(shù)據(jù)驅(qū)動計(jì)算機(jī)模型FPMND;研制出兼顧函數(shù)式和邏輯式風(fēng)格的核心語言KLND及相 應(yīng)的并行推理系統(tǒng);

(4)完成8個軟件自動化系統(tǒng),如基于自行設(shè)計(jì)規(guī)約語言GSPEC的NDAUTO系統(tǒng),基于FGSPEC的算法設(shè)計(jì)自動化系統(tǒng)NDADAS和自學(xué)習(xí)軟件自化系統(tǒng)NDSAIL等。先后獲國家教委一等獎四次,電子部一等獎三次,出版著作6部,發(fā)表論文150余篇。

(5)是我國最早的兩位計(jì)算機(jī)軟件博士生導(dǎo)師之一,并培養(yǎng)出我國第一位軟件學(xué)博士。

(6)2011年獲得中國計(jì)算機(jī)學(xué)會終身成就獎

人物逝世

2018年1月16日10時,徐家福在南京不幸逝世,享年94歲。

參考資料 >

生活家百科家居網(wǎng)