报告题目：量子程序设计语言
　　报告人：徐家福（南京大学教授、博士生导师、原国务院计算机学科专家组组长）
　　报告时间：2009年5月13日（星期三）上午9：30
　　报告地点：玉泉校区曹光彪主楼218室（学院学术报告厅）
　　报告人简介：
　　徐家福教授，博士生导师，计算机软件新技术国家重点实验室名誉主任，1925年1月出生，1948年毕业于中央大学，1957年至1959年去前苏联莫斯科大学进修，1981年起任南京大学计算机系教授、博士生导师，原国务院计算机学科专家组组长。主要研究高级语言、新型程序设计与软件自动化。
　　代表性成果有：
　　（1）研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；
　　（2）参加制定ALGOL，COBOL国家标准；
　　（3）率先在我国研制出数据驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；
　　（4）完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统，基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。先后获国家教委一等奖四次，电子部一等奖三次，出版著作6部，发表论文150余篇。
　　本次学术报告记学院研究生读书报告一次，由于场地限制，希望大家提前达到会场。

　　　　　　　　　　　　　　　　　　　　　　　计算机学院博士生会、研究生会