[学术报告]徐家福教授: 计算机科学技术总论

徐家福教授简介:

 

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

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

代表性成果有：
（1）研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；
（2）参加制定ALGOL，COBOL国家标准；
（3）率先在我国研制出数据驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；
（4）完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统，
基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。

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

 

 

主办单位:北京大学信息科学技术学院