博彩平台

学术报告

报告题目：软件耕耘六十年

报告人：徐家福教授（南京大学）

时间：3月23日（星期一）15:00

地点：天赐庄校区理工大楼504室

徐家福先生简介：

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