当前位置:首页  教学科研

学术讲座【软件语言五十年】

时间:2011-06-13浏览:611设置

时间:2011年6月15日下午15:30

地点:旗山校区图书馆一楼学术报告厅

主讲:南京大学 徐家福 教授

主办:软件学院

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

返回原图
/

Baidu
sogou