徐家福 教授,博士生导师,计算机软件新技术国家重点实验室名誉主任。1925年1月出生,1948年毕业于中央大学,1957年至1959年去前苏联莫斯科大学 进修。1981年起任南京大学计算机系教授、博士生导师。曾任中国计算机学会副理事长和软件专业委员会主任等。
主要研究高级语言、新型程序设计与软件自动化。代表性成果有:(1)研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;(2)参加 制定ALGOL、COBOL国家标准;(3)率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并 行推理系统;(4)完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和 自学习软件自动化系统NDSAIL等。先后获国家教委一等奖四次,电子部一等奖三次,出版著作6部,发表论文150余篇。
近年来,他带领一个研究小组围绕量子程序设计语言,在量子计算领域开展了基础性的探索工作,设计了两种量子程序设计语言并给出了相应的实现途径,取得了初步成果。
祝先生身体健康!向先生学习,我总结的关键词: 创新 科学 技术 有效研究并付诸实践以下信息来自清华大学计算机系网站
标题:中国计算机学界前辈、南京大学徐家福教授来我系做学术报告
内容:
2009年5月26日下午,中国计算机学界前辈、南京大学徐家福教授来我系做了题为《量子计算的程序设计语言》的学术报告。系主任孙茂松教授,周立柱教授,张素琴教授,相关方向的青年教师李三江、冯元、白晓颖等以及学生们参加了报告会。
徐先生用言简意赅、深入浅出的语言,从理论基础、语言风范、程序结构等几个角度系统地介绍了量子程序设计语言方面的研究现状以及他所领导的课题组在这方面 的研究工作,阐述了他对量子计算研究的若干基本观点。他还意味深长地谈到了自己在抗战时期的学生时代的一些难忘经历,强调做人与做学问的关系,勉励同学们 一定要不忘历史使命,努力学习、钻研,将来报效国家。
报告会由系主任孙茂松教授主持。他并代表计算机系对徐先生长期以来对清华计算机学科的大力支持表示衷心的感谢。
转载本文请联系原作者获取授权,同时请注明本文来自黄富强科学网博客。
链接地址:http://wap.sciencenet.cn/blog-89075-235297.html
上一篇:微软新搜索引擎Bing.com
下一篇:2008Computer History Museum Fellow Awards