徐家福
维基百科，自由的百科全书
跳转到： 导航, 搜索
徐家福（1925年11月18日—）中国计算机软件学先驱，中国计算机科学奠基人之一。江苏南京人。

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

主要研究高级语言、新型程序设计与软件自动化。代表性成果有：

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