學術報告通知（編號：2009-4）
時 間: 2009年4月13日（周一）15：00- 16：00
地 點：校學術會議中心二樓小報告廳
報告人：徐家福 資深教授，博士生導師
題 目：量子程序設計
單 位：南京大學計算機科學與技術系
南京大學計算機軟件新技術國家重點實驗室
主持人：王浩教授
簡 歷：徐家福，教授，博士生導師。江蘇南京人，中國計算機軟件學先驅(qū)，中國計算機科學奠基人之一。１９４８年畢業(yè)于國立中央大學數(shù)學系（1949年更名南京大學），１９５７年至１９５９年在前蘇聯(lián)莫斯科大學進修，１９５６年加入中國共產(chǎn)黨，歷任南京大學副教授、教授、計算機軟件研究所所長，國務院學位委員會第一、二屆學科評議組成員，中國計算機學會第一屆副理事長、軟件專業(yè)委員會主任委員，江蘇省計算機學會第一、二、三屆理事長?，F(xiàn)任南京大學計算機軟件新技術國家重點實驗室名譽主任。主要研究高級語言、新型程序設計與軟件自動化。代表性成果有：
（1）研制出我國第一個ALGOL系統(tǒng)、系統(tǒng)程序設計語言XCY、多種規(guī)約語言；
（2）參加制定ALGOL，COBOL國家標準；
（3）率先在我國研制出數(shù)據(jù)驅(qū)動計算機模型FPMND；研制出兼顧函數(shù)式和邏輯式風格的核心語言KLND及相應的并行推理系統(tǒng)；
（4）完成8個軟件自動化系統(tǒng)，如基于自行設計規(guī)約語言GSPEC的NDAUTO系統(tǒng)，基于FGSPEC的算法設計自動化系統(tǒng)NDADAS和自學習軟件自動化系統(tǒng)NDSAIL等。
（5）先后獲國家教委一等獎四次，電子部一等獎三次，出版著作6部，發(fā)表論文150余篇。
TOP
