时间：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 余篇。