报告题目：计算机科学与技术总论

报告人：徐家福先生

报告时间：2011年10月17日（周一）15:00

报告地点：校本部理工楼153教室

报告人简介：徐家福，江苏南京人。１９４８年毕业于中央大学数学系。１９５７年至１９５９年在前苏联莫斯科大学进修。１９５６年加入中国共产党。历任南京大学副教授、教授、计算机软件研究所所长，国务院学位委员会第一、二届学科评议组成员，中国计算机学会第一届副理事长、软件专业委员会主任委员，江苏省计算机学会第一、二、三届理事长，徐先生是我国计算机学界的“泰山北斗”式人物。其代表性成果有：（1）研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；（2）参加制定ALGOL，COBOL国家标准；（3）率先在我国研制出数据驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；（4）完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统，基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。先后获国家教委一等奖四次，电子部一等奖三次，出版著作6部，发表论文150余篇。