徐家福(1924年12月—2018年1月16日)[1],男,江苏南京人,中国计算机软件学先驱,中国计算机科学奠基人之一,南京大学教授,南京大学计算机软件新技术国家重点实验室名誉主任。
生平
1948年毕业于国立中央大学(1949年更名为南京大学)。1957年至1959年去苏联莫斯科大学进修,1981年起任南京大学计算机系教授、博士生导师,培养出中国第一位计算机软件学博士。[5]后任南京大学计算机软件研究所所长、计算机软件新技术国家重点实验室主任、名誉主任。
社会兼职
曾任教育部计算机软件教材编审会主任,国务院学位委员会计算机学科评议组召集人,中国计算机学会副理事长及软件专业委员会主任等职。
学术贡献
主要研究高级语言、新型程序设计与软件自动化。代表性成果有:
- 研制出中国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;
- 参加制定ALGOL、COBOL国家标准;
- 率先在中国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;
- 完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。
- 先后获中国国家教委一等奖四次,电子部一等奖三次,出版著作6部,发表论文150余篇。
奖项和荣誉
- 为中国计算机事业的创建、开拓和发展做出了卓越贡献 [6]
参考文献
|
---|
2010年 | |
---|
2011年 | |
---|
2012年 | |
---|
2013年 | |
---|
2014年 | |
---|
2015年 | |
---|
2016年 | |
---|
2017年 | |
---|
2018年 | |
---|
2019年 | |
---|
2020年 | |
---|
2021年 | |
---|
|
|