南京大学计算机软件新技术国家重点实验室名誉主任、博士生导师徐家福教授来校做“计算机科学与技术若干重大问题研究”学术报告

   应我校计算机与通信工程学院邀请，南京大学计算机软件新技术国家重点实验室名誉主任、博士生导师徐家福教授来校进行学术访问，期间将为我校师生作专场学术报告。有关事宜如下：

  报告题目：计算机科学与技术若干重大问题研究

  报告时间：2014年5月23日星期五下午2:30-4:30

  报告地点：科学校区政法楼2楼学生活动中心

  欢迎广大师生参加！

  科技处

计算机与通信工程学院

二零一四年五月22日

  附：徐家福教授简介

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