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

报告人：徐家福南京大学教授著名计算机科学家

时    间：    2011年6月16日（星期四）下午3:30

地    点：  数计学院5号楼106室

徐家福教授简介:

徐家福教授是我国计算机科学技术学科奠基人之一，著名软件专家。

徐家福教授1948年毕业于中央大学数学系，1957年至1959年在前苏联莫斯科大学进修。历任南京大学副教授、教授、计算机软件研究所所长，曾任国务院学位委员会计算机科学与技术学科评议组成员、召集人，中国计算机学会副理事长、软件专业委员会主任委员，江苏省计算机学会理事长，计算机科学与技术大百科全书副主编等。培养出中国第一位计算机软件博士，创办了计算机软件新技术国家重点实验室（南京大学）。

代表性成果有：

（1）研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；

（2）参加制定ALGOL，COBOL国家标准；

（3）率先在我国研制出数据驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；

（4）完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统，

基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。

先后获国家教委一等奖四次，电子部一等奖三次，出版著作6部，发表论文150余篇。