徐家福:徐家福（1924年12月至2018年1月），江蘇南京人。南京大學 -百科知識中文網

人物生平

1948年畢業於中央大學理學院（今南京大學數學系）。

1957——1959年在蘇聯莫斯科大學進修。

1981年任南京大學計算機系教授、博士生導師，培養出中國第一位計算機軟體學博士。

曾任南京大學計算機軟體研究所所長、計算機軟體新技術國家重點實驗室主任，國務院學位委員會計算機學科評議組召集人，國務院電子振興領導小組顧問，中國計算機學會副理事長，清華大學、吉林大學兼職教授等。現任南京大學計算機軟體新技術國家重點實驗室名譽主任。

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

主要研究高級語言、新型程式設計與軟體自動化。

（1）研製出我國第一個ALGOL系統、系統程式設計語言XCY、多種規約語言；

（2）參加制定ALGOL，COBOL國家標準；

（3）率先在我國研製出數據驅動計算機模型FPMND；研製出兼顧函式式和邏輯式風格的核心語言KLND及相應的並行推理系統；

（4）完成8個軟體自動化系統，如基於自行設計規約語言GSPEC的NDAUTO系統，基於FGSPEC的算法設計自動化系統NDADAS和自學習軟體自化系統NDSAIL等。先後獲國家教委一等獎四次，電子部一等獎三次，出版著作6部，發表論文150餘篇。

（5）是我國最早的兩位計算機軟體博士生導師之一，並培養出我國第一位軟體學博士。

（6）2011年獲得中國計算機學會終身成就獎。