讲课题目:浅谈几个基本问题
讲座时间:2012-12-14 09:30:00
讲座地点:软件园校区办公楼二楼学术报告厅
徐家福教授简介:
徐家福教授是我国计算机科学技术学科奠基人之一,著名软件专家。
徐家福教授1948年毕业于中央大学数学系,1957年至1959年去前苏联莫斯科大学进修,1981年起任南京大学计算机系教授、博士生导师。主要研究高级语言、新型程序设计与软件自动化。代表性成果有:(1)研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;(2)参加制定ALGOL,COBOL国家标准;(3)率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;(4)完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。先后获国家教委一等奖四次,电子部一等奖三次,出版著作6部,发表论文150余篇。