学术报告通知（编号：2009-4）

时 间: 2009年4月13日（周一）15：00- 16：00

地 点：校学术会议中心二楼小报告厅

报告人：徐家福 资深教授，博士生导师

题 目：量子程序设计

单 位：南京大学计算机科学与技术系

南京大学计算机软件新技术国家重点实验室

主持人：王浩教授

简 历：徐家福，教授，博士生导师。江苏南京人，中国计算机软件学先驱，中国计算机科学奠基人之一。１９４８年毕业于国立中央大学数学系（1949年更名南京大学），１９５７年至１９５９年在前苏联莫斯科大学进修，１９５６年加入中国共产党，历任南京大学副教授、教授、计算机软件研究所所长，国务院学位委员会第一、二届学科评议组成员，中国计算机学会第一届副理事长、软件专业委员会主任委员，江苏省计算机学会第一、二、三届理事长。现任南京大学计算机软件新技术国家重点实验室名誉主任。主要研究高级语言、新型程序设计与软件自动化。代表性成果有：

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

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

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

（4）完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统，基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自动化系统NDSAIL等。

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