徐家福

徐家福（），男，江苏南京人，中国计算机软件学先驱，中国计算机科学奠基人之一，南京大学教授，南京大学计算机软件新技术国家重点实验室名誉主任。

生平 
1948年毕业于国立中央大学（1949年更名为南京大学）。1957年至1959年去苏联莫斯科大学进修，1981年起任南京大学计算机系教授、博士生导师，培养出中国第一位计算机软件学博士。后任南京大学计算机软件研究所所长、计算机软件新技术国家重点实验室主任、名誉主任。

社会兼职 
曾任教育部计算机软件教材编审会主任，国务院学位委员会计算机学科评议组召集人，中国计算机学会副理事长及软件专业委员会主任等职。

学术贡献 
主要研究高级语言、新型程序设计与软件自动化。代表性成果有：
研制出中国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；
参加制定ALGOL、COBOL国家标准；
率先在中国研制出数据驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；
完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统，基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。
先后获中国国家教委一等奖四次，电子部一等奖三次，出版著作6部，发表论文150余篇。

奖项和荣誉 
 2011，CCF终身成就奖
 为中国计算机事业的创建、开拓和发展做出了卓越贡献

参考文献 

Jia
南京人
理
莫斯科国立大学校友
南京大學教授
江苏科学家
中国计算机科学家
国务院学位委员会第一届学科评议组成员
国务院学位委员会第二届学科评议组成员
CCF终身成就奖获得者