中国计算机科学和计算机软件学专家徐家福教授学术报告

发布日期:2017-04-06 浏览次数: [字体: ]

 

报告题目:计算机领域中若干基本问题
报告人:徐家福 先生
南京大学计算机系教授、博导
中国著名计算机科学和软件学专家
报告时间:2017.4.12(周三)下午3:15
报告地点:J2-401
专家简介:
徐家福, 教授,博士生导师,中国计算机科学和计算机软件学专家。1924年12月出生,1948年毕业于中央大学(今南京大学)。1957~1959年在苏联莫斯科大学进修。1981年任南京大学计算机系教授、博士生导师,培养出中国第一位计算机软件学博士。曾任南京大学计算机软件研究所所长、计算机软件新技术国家重点实验室主任,国务院学位委员会计算机学科评议组召集人,国务院电子振兴领导小组顾问,中国计算机学会副理事长,清华大学、吉林大学兼职教授等。现任南京大学计算机软件新技术国家重点实验室名誉主任。主要研究高级语言、新型程序设计与软件自动化。代表性成果有:研制出中国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;参加制定ALGOL、COBOL国家标准;率先在中国研制出数据驱动计算机模型;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;完成多个软件自动化系统。获中国国家教委(现教育部)一等奖4次,电子部(现信息产业部)一等奖3次,2011年中国计算机学会终身成就奖。出版著作10部,发表论文160余篇。