申博官网,申博娱乐登录

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

学术报告通知(编号:2013-29)

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

       报告题目:浅谈几个基本问题
       报告人:徐家福 教授 博导
       单位:南京大学 
       报告时间: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次。
 

 

申博官网

XML 地图 | Sitemap 地图