报告人：徐家福教授，南京大学计算机学院
时间：2015 年 3 月 27 日（周五）上午 09：30
地点：邯郸校区逸夫楼 604 会议室
联系人：王晓阳 xywangCS@fudan.edu.cn
摘要：
徐教授将介绍其在软件科学方面工作的历史及成就，时期覆盖上世纪 60 年代到本世纪 10 年代软件科学发展近 60 年的历史进程。讲座将深入浅出，使听者收益匪浅，也是听众与我国老一辈计算机科学家交流的好时机。
简介：
徐家福，教授。江苏南京人。1948 年毕业于中央大学数学系。1957 年至 1959 年在前苏联莫斯科大学进修。1956 年加入中国共产党。历任南京大学副教授、教授、计算机软件研究所所长，国务院学位委员会第一、二届学科评议组成员，中国计算机学会第一届副理事长、软件专业委员会主任委员，江苏省计算机学会第一、二、三届理事长。代表成就：（1）研制出我国第一个 ALGOL 系统、系统程序设计语言 XCY、多种规约语言；（2）参加制定 ALGOL，COBOL 国家标准；（3）率先在我国研制出数据驱动计算机模型 FPMND；研制出兼顾函数式和逻辑式风格的核心语言 KLND 及相 应的并行推理系统；（4）完成 8 个软件自动化系统，如基于自行设计规约语言 GSPEC 的 NDAUTO 系统，基于 FGSPEC 的算法设计自动化系统 NDADAS 和自学习软件自化系统 NDSAIL 等。先后获国家教委一等奖四次，电子部一等奖三次，出版著作 6 部，发表论文 150 余篇。
