計(jì)算機(jī)科學(xué)（computer science）研究計(jì)算機(jī)及其周?chē)�各種現(xiàn)象和規(guī)律的科學(xué)，亦即研究計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、程序系統(tǒng)（即軟件）、人工智能以及計(jì)算本身的性質(zhì)和問(wèn)題的學(xué)科。計(jì)算機(jī)科學(xué)是一門(mén)包含各種各樣與計(jì)算和信息處理相關(guān)主題的系統(tǒng)學(xué)科，從抽象的算法分析、形式化語(yǔ)法等等，到更具體的主題如編程語(yǔ)言、程序設(shè)計(jì)、軟件和硬件等。計(jì)算機(jī)科學(xué)分為理論計(jì)算機(jī)科學(xué)和實(shí)驗(yàn)計(jì)算機(jī)科學(xué)兩個(gè)部分。后者常稱(chēng)為“計(jì)算機(jī)科學(xué)”而不冠以“實(shí)驗(yàn)”二字。前者有其他名稱(chēng)，如計(jì)算理論、計(jì)算機(jī)理論、計(jì)算機(jī)科學(xué)基礎(chǔ)、計(jì)算機(jī)科學(xué)數(shù)學(xué)基礎(chǔ)等。數(shù)學(xué)文獻(xiàn)中一般指理論計(jì)算機(jī)科學(xué)。　

　　徐家福，教授，1925年生，江蘇南京人。獲得中國(guó)計(jì)算機(jī)學(xué)會(huì)終身成就獎(jiǎng),以表彰他在我國(guó)計(jì)算機(jī)軟件發(fā)展中所起到的奠基性貢獻(xiàn)，是中國(guó)計(jì)算機(jī)科學(xué)先驅(qū)、中國(guó)計(jì)算機(jī)軟件學(xué)奠基人之一。南京大學(xué)資深教授、博士生導(dǎo)師。1948年畢業(yè)于中央大學(xué)數(shù)學(xué)系。1957年至1959年在前蘇聯(lián)莫斯科大學(xué)進(jìn)修。南京大學(xué)資深教授、博士生導(dǎo)師，前計(jì)算機(jī)軟件研究所所長(zhǎng)，原計(jì)算機(jī)學(xué)科專(zhuān)家組組長(zhǎng)，計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任。

　　徐教授代表性成果有：

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

　　2、參加制定ALGOL，COBOL國(guó)家標(biāo)準(zhǔn)；

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

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