講座題目：淺談幾個(gè)基本問(wèn)題
報(bào) 告 人：徐家福先生
我國(guó)計(jì)算機(jī)軟件學(xué)的奠基人、南京大學(xué)資深教授、博士生導(dǎo)師，計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室名譽(yù)主任
講座時(shí)間：2013年5月30日下午15:00
講座地點(diǎn)：前衛(wèi)南校區(qū)計(jì)算機(jī)大樓A521報(bào)告廳
主辦單位：吉林大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院
吉林大學(xué)軟件學(xué)院
符號(hào)計(jì)算與知識(shí)工程教育部重點(diǎn)實(shí)驗(yàn)室
吉林大學(xué)計(jì)算機(jī)科學(xué)技術(shù)研究所
歡迎廣大師生踴躍參加！
徐家福教授簡(jiǎn)歷：
徐家福先生是中國(guó)計(jì)算機(jī)科學(xué)和計(jì)算機(jī)軟件學(xué)專(zhuān)家，中國(guó)計(jì)算機(jī)軟件學(xué)的奠基人。
徐先生是江蘇南京人。1925年1月出生，1948年畢業(yè)于中央大學(xué)，1957年至1959年去莫斯科大學(xué)進(jìn)修，1981年起任南京大學(xué)計(jì)算機(jī)系教授、博士生導(dǎo)師，培養(yǎng)出第一位計(jì)算機(jī)軟件學(xué)博士。曾任南京大學(xué)計(jì)算機(jī)軟件所所長(zhǎng)、計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室主任，曾長(zhǎng)期擔(dā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)化。代表性成果有：
（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ī)模型；研制出兼顧函數(shù)式和邏輯式風(fēng)格的核心語(yǔ)言KLND及相應(yīng)的并行推理系統(tǒng)；
（4） 完成8個(gè)軟件自動(dòng)化系統(tǒng)。
先后獲國(guó)家教委一等獎(jiǎng)4次，電子部（現(xiàn)信息產(chǎn)業(yè)部）一等獎(jiǎng)3次，出版著作8部，發(fā)表論文150余篇。
注：以上信息來(lái)源于校內(nèi)辦公，若有變動(dòng)請(qǐng)及時(shí)通知！ 電話(huà)：85166975
