铁骨鸿儒:沉重悼念南京大学教授——徐家福先生

2018 年 1 月 17 日 新智元







  新智元推荐  

来源:图灵人工智能


【新智元导读】中国计算机软件学科奠基人,南京大学计算机系教授、博士生导师 徐家福先生,16日清晨于家中辞世,享年94岁。新智元在此整理了徐家福先生生前众多研究成果资料,以纪念徐家福先生为我国的计算机软件事业做出的巨大贡献。



中国计算机软件学科奠基人,南京大学计算机系教授、博士生导师徐家福先生,今晨于家中辞世,享年94岁。


徐家福先生是江苏南京人,1924年12月出生,1948年毕业于中央大学(今南京大学)。1957~1959年在苏联莫斯科大学进修。1981年任南京大学计算机系教授、博士生导师,培养出中国第一位计算机软件学博士。


曾任南京大学计算机软件研究所所长、计算机软件新技术国家重点实验室主任,国务院学位委员会计算机学科评议组召集人,国务院电子振兴领导小组顾问,中国计算机学会副理事长,清华大学、吉林大学兼职教授等。也是南京大学计算机软件新技术国家重点实验室名誉主任。主要研究高级语言、新型程序设计与软件自动化。

中国计算机学会沉痛悼念




16日,计算机学会发布关于徐家福先生仙逝的唁电,我们搜集和整理了一些资料,以纪念徐家福先生为我国的计算机软件事业做出的巨大贡献!


徐家福先生少年时求学天赋异禀


徐家福先生,字筱棠,江苏南京人,我国计算机软件奠基人之一。

1924年11月18日出生

1931年上学,就读于南京船板巷小学

1937年毕业,考入南京一中,时值抗日战争爆发,辍学在家

1938年又考入国立东北中学

1941年初中毕业,学校解散,转入国立十八中

1944年高中毕业,考入国立中央大学理学院数学系

1948年毕业,留校任助教,1953年任南京大学讲师


注:徐家福先生小学奖状


注:徐家福先生中学奖状


注:徐家福先生高中奖状


注:徐家福先生小学、中学毕业证书


注:徐家福先生大学毕业证书


徐家福先生远赴莫斯科大学修习程序设计,师从舒拉布拉教授


1957年赴莫斯科大学修习程序设计,师从舒拉布拉教授

1959年回国

1981年任南京大学教授,成为当时全国两名计算机软件专业博士生导师之一


注:右四为徐家福,有三为舒拉布拉,右二为杨芙清院士


徐家福先生归国后学术硕果累累


徐家福先生20世纪50年代后期起致力于计算机软件研究

曾主持并参与研制14个软件系统

发表学术论文158篇

出版著作8本,获奖20多次

主要的研究成果有J-501机上的Algol语言编译系统

103机上的Algol语言编译系统

Cobol国标的制定

系统程序设计语言XCY的设计与实现

软件设计规约语言GSPEC

软件功能规约语言FGSPEC

软件需求定义语言NDRDL

软件需求定义语言NDORL

其中,J-501机上的Algol语言编译系统是国内第一个可用的Algol编译系统

使程序人员解脱了低级语言程序设计的繁琐细节


1978年与中科院计算所仲萃豪、北京大学杨芙清教授

合作设计并实现了系统程序设计语言XCY

XCY兼顾程序设计与并发程序设计

使和机器有关的部分尽可能局部化

以便于移植和扩充

徐先生代表研究组

在1980年10月在日本东京举行的“第八届计算机大会”上做了报告

题目是《On the Design ,Implementation and Use of the Systems ProgrammingLanguage XCY》

这是我国第一次在Information Processing上发表文章

苏联科学院院士叶尔绍夫说:

“这项工作不仅在理论上还是实践上都很有意义,其中的模块定义与处理很有特色”



在新型程序设计方面

开发了“数据驱动式并行规约机模型FPMND与并行推理系统NDPIS”

FPMND是基于函数式语言FP的规约机模型

当时的博士生、曾经的教育部副部长、现在的院士赵沁平教授也参了这个项目



在20世纪80年代

徐先生参加了大量国际计算机会议

为推动我国计算机软件的发展做出了很大贡献

看每次会议中的熟悉面孔

很多是是国内的著名院士



南京大学计算机系在20世纪80年代实力雄厚

在徐家福和孙仲秀等的带领下

计算机软件新技术国家重点实验室在1986年就成立了


徐先生从1948年秋起

任教时间达55年

主讲过微积分、微分方程、数学分析、计算方法

以及程序设计、算法语言、编译技术、软件自动化等课程

所授各课无不精选内容、精心备课,注重交代来龙去脉

讲解能深入浅出、引人入胜

并能身教、言教、晓以为人之道,堪称良师

自1981年起

先后招收博士研究生24名

而毕业获博士学位者仅仅16人

淘汰率之高,国内实属罕见

其门弟子真可谓严师出高徒

大都道德文章闻于世

至今已有两名院士

10年前荣获国家杰出青年基金者2人

长江学者2人

霍英东基金或者奖金者4人

中创软件人才奖者3人

比较知名的如原教育部副部长、现在的院士赵沁平教授

南京大学常务副校长、院士吕建教授

等等



徐家福先生与爱人相濡以沫,为人刚正不阿


注:徐家福先生与爱人


注:徐家福先生与爱人


注:徐家福先生与爱人


徐先生为人重气节,爱憎分明,刚正不阿

对人诚信忠厚,好与人争

1985年

日本一家机构邀请徐先生去日本合作

在福刚游览时

日本人将车停在一标有“破元寇处”之石碑下

妄图让徐先生等在石碑下合影

徐先生火从中来

挥手命朝石碑往者止步返回

对方悟其诡计已被识破

立即登车而往他处

此类事件不一而足


谨以此文怀念徐家福先生。



文章来源:图灵人工智能,点击阅读原文查看原文

新智元编辑:弗朗西斯

点击阅读原文了解更多



加入社群


新智元AI技术+产业社群招募中,欢迎对AI技术+产业落地感兴趣的同学,加小助手微信号: aiera2015_1 入群;通过审核后我们将邀请进群,加入社群后务必修改群备注(姓名-公司-职位;专业群审核较严,敬请谅解)。


此外,新智元AI技术+产业领域社群(智能汽车、机器学习、深度学习、神经网络等)正在面向正在从事相关领域的工程师及研究人员进行招募。


加入新智元技术社群,共享AI+开放平台


登录查看更多
1

相关内容

南京大学坐落于钟灵毓秀、虎踞龙蟠的金陵古都,是一所历史悠久、声誉卓著的百年名校。1949年,由国立中央大学更名为国立南京大学。南京大学是综合研究型大学,格物致知,广博易良,向有学科齐备的传统,涵盖了众多领域,现为中央直管、教育部直属的全国重点大学,是”985工程”和“211工程”重点建设的大学之一。
中科大-人工智能方向专业课程2020《脑与认知科学导论》
普林斯顿大学经典书《在线凸优化导论》,178页pdf
专知会员服务
183+阅读 · 2020年2月3日
电力人工智能发展报告,33页ppt
专知会员服务
120+阅读 · 2019年12月25日
“光纤之父”高锟离世,感谢他的贡献
人工智能学家
3+阅读 · 2018年9月24日
Deep Randomized Ensembles for Metric Learning
Arxiv
5+阅读 · 2018年9月4日
Arxiv
9+阅读 · 2018年5月22日
Arxiv
3+阅读 · 2018年5月21日
Arxiv
5+阅读 · 2018年1月17日
Arxiv
4+阅读 · 2018年1月15日
VIP会员
Top
微信扫码咨询专知VIP会员