报告题目:浅谈几个基本问题

报告人:徐家福 教授 博导

单位：南京大学

报告时间：2013年11月5日下午14:30

报告地点：翡翠湖校区图书馆报告厅

个人简介:徐家福教授1924年12月生于南京，1948年6月毕业于国立中央大学数学系，1957至1959年在苏联英斯科大学进修程序设计。1981年起任南京大学教授、博士生导师，1984年培养出我国第一位计算机软件学博士。曾任南京大学计算机软件研究所所长，计算机软件新技术国家重点实验室主任，教育部计算机软件教材编审会主任，国务院学位委员会计算机学科评议组召集人，国务院电子振兴领导小组顾问，中国计算机学会副理事长，软件专业委员会主任，清华大学、吉林大学兼职教授等职；现任计算机软件新技术国家重点实验室名誉主任、江苏省计算机学会名誉理事长。主要研究高级语言、新型程序设计与软件自动化，代表性成果有：我国第一个ALGOL编译系统（1965）；基于自编译语言的软件自动产生系统NDHD（1978）；通用系统程序设计语言XCY（1979）；ALGCL、COBOL国标（参与制订）（1978-1981）；数据驱动计算机模型FPMND（1984）；兼顾函数式与逻辑式风格的核心语言KLND及相应并行推理系统NDPIS（1986）；8种规约语言（GSPEC、FGSPEC等）及相应软件自动化系统（NDAUTO、NDADAS等）（1986-1996）；三种量子程序设计语言NDQJava、NDQFP、NDQJava2及相应处理系统（2006~2012）。基于上述工作，出版著作10部，发表论文160余篇，曾获国家教委（现教育部）一等奖4次，电子部（现工信部）一等奖3次。

永利集团304am官方入口