徐家福

维基百科,自由的百科全书
跳转到: 导航, 搜索

徐家福(1925年11月18日-),中国计算机软件学先驱,中国计算机科学奠基人之一。江苏南京人。

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

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

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

[编辑] 参考文献

  1. ^ 中国软件奠基人徐家福. 《现代快报》. 2010年08月23日. 
个人工具
名字空间
操作
导航
帮助
工具