學(xué)術(shù)報(bào)告通知（編號(hào)：2009-4）
時(shí) 間: 2009年4月13日（周一）15：00- 16：00
地 點(diǎn)：校學(xué)術(shù)會(huì)議中心二樓小報(bào)告廳
報(bào)告人：徐家福 資深教授，博士生導(dǎo)師
題 目：量子程序設(shè)計(jì)
單 位：南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系
南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室
主持人：王浩教授
簡(jiǎn) 歷：徐家福，教授，博士生導(dǎo)師。江蘇南京人，中國(guó)計(jì)算機(jī)軟件學(xué)先驅(qū)，中國(guó)計(jì)算機(jī)科學(xué)奠基人之一。１９４８年畢業(yè)于國(guó)立中央大學(xué)數(shù)學(xué)系（1949年更名南京大學(xué)），１９５７年至１９５９年在前蘇聯(lián)莫斯科大學(xué)進(jìn)修，１９５６年加入中國(guó)共產(chǎn)黨，歷任南京大學(xué)副教授、教授、計(jì)算機(jī)軟件研究所所長(zhǎng)，國(guó)務(wù)院學(xué)位委員會(huì)第一、二屆學(xué)科評(píng)議組成員，中國(guó)計(jì)算機(jī)學(xué)會(huì)第一屆副理事長(zhǎng)、軟件專(zhuān)業(yè)委員會(huì)主任委員，江蘇省計(jì)算機(jī)學(xué)會(huì)第一、二、三屆理事長(zhǎng)?，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ī)模型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í)軟件自動(dòng)化系統(tǒng)NDSAIL等。
（5）先后獲國(guó)家教委一等獎(jiǎng)四次，電子部一等獎(jiǎng)三次，出版著作6部，發(fā)表論文150余篇。
TOP
