扫码加入训练营

牢记核心词

学习得礼盒

研究生导师徐家福:南京大学

2016-05-07 11:01:57来源:网络
姓  名 徐家福 性  别 出生年月 1925-01
所在院校 南京大学 所在院系 技术学院
职称 教授 招生专业 计算机软件与理论
研究领域 高级语言、新型程序设计与软件自动化
联系方式 E-mail xjf@nju.edu.cn 电 话 025-*******邮 编 0
地 址
个人简介
  徐家福教授,博士生导师,计算机软件新技术国家重点实验室名誉主任,1925年1月出生,1948年毕业于中央大学,1957年至1959年去前苏联莫斯科大学进修,1981年起任南京大学计算机系教授、博士生导师,现任中国计算机学会副理事长。主要研究高级语言、新型程序设计与软件自动化。
  代表性成果有:(1)研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;(2)参加制定ALGOL,COBOL国家标准;(3)率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;(4)完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。  徐家福教授,博士生导师,计算机软件新技术国家重点实验室名誉主任,1925年1月出生,1948年毕业于中央大学,1957年至1959年去前苏联莫斯科大学进修,1981年起任南京大学计算机系教授、博士生导师,现任中国计算机学会副理事长。主要研究高级语言、新型程序设计与软件自动化。
  代表性成果有:(1)研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;(2)参加制定ALGOL,COBOL国家标准;(3)率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;(4)完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。
获得奖项
  先后获国家教委一等奖四次,电子部一等奖三次。  先后获国家教委一等奖四次,电子部一等奖三次。
著作及论文
  出版著作6部,发表论文150余篇。  出版著作6部,发表论文150余篇。

考研择校小程序

本文关键字: 考研导师 研究生导师

考研英语核心词汇营

背词+听课+练习+督学,学习得礼盒

更多资料
更多>>
更多内容

关注新东方在线考研服务号

获得21考研真题及答案解析

1. 打开手机微信【扫一扫】,识别上方二维码;
2.点击【关注公众号】,获取资料大礼包。

免费下:2010-2026年考研真题及答案
更多>>
更多公开课>>
更多>>
更多资料