申博官网,申博娱乐登录

学校首页|收藏本站|登录

学术报告通知(编号:2009-4)

发布者:系统管理员申博官网:2009-04-11浏览次数:1688

学术报告通知(编号:2009-4)

时  间: 2009年4月13日(周一)15:00- 16:00
地  点:校学术会议中心二楼小报告厅

报告人:徐家福 资深教授,博士生导师
题  目:量子程序设计
单  位:南京大学计算机科学与技术系
南京大学计算机软件新技术国家重点实验室

主持人:王浩教授

简  历:徐家福,教授,博士生导师。江苏南京人,中国计算机软件学先驱,中国计算机科学奠基人之一。1948年毕业于国立中央大学数学系(1949年更名南京大学),1957年至1959年在前苏联莫斯科大学进修,1956年加入中国共产党,历任南京大学副教授、教授、计算机软件研究所所长,国务院学位委员会第一、二届学科评议组成员,中国计算机学会第一届副理事长、软件专业委员会主任委员,江苏省计算机学会第一、二、三届理事长。现任南京大学计算机软件新技术国家重点实验室名誉主任。主要研究高级语言、新型程序设计与软件自动化。代表性成果有:
(1)研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;
(2)参加制定ALGOL,COBOL国家标准;
(3)率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;
(4)完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。
(5)先后获国家教委一等奖四次,电子部一等奖三次,出版著作6部,发表论文150余篇。

XML 地图 | Sitemap 地图