11月28日上午， 南京大学计算机系教授徐家福先生应邀来我院作了题为“量子程序设计语言初探”的学术报告。

量子计算机是目前世界上极具挑战性的前沿研究领域之一，量子计算的基础和原理以及重要量子算法为在计算速度上超越图灵机模型提供了可能。徐教授从什么是量子程序设计语言、为什么要研究、如何研究等三个方面对相关知识进行了精彩讲解，并回答了老师和研究生的提问。

徐家福教授是我国计算机软件学先驱和奠基人之一，1925年1月出生，江苏南京人，1948年毕业于中央大学数学系，1957年至1959年在前苏联莫斯科大学进修，1981年起任南京大学计算机系教授、博士生导师、计算机软件研究所所长；曾任国务院学位委员会第一、二届学科评议组召集人，中国计算机学会第一届副理事长，江苏省计算机学会第一、二、三届理事长。主要研究领域是高级语言、新型程序设计与软件自动化。

徐家福教授的主要成就包括：研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；参加制定了ALGOL，COBOL国家标准；率先在我国研制出数据驱动计算机模型FPMND，研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统、基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。先后获国家教委(教育部)一等奖4次，电子工业部一等奖3次，出版著作6部，发表论文150余篇。