徐家福

✍ dations ◷ 2025-05-18 09:26:52 #1924年出生,2018年逝世,江苏科学家,中国计算机科学家,中央大学校友,南京大学校友,莫斯科国立大学校友,南京大学教授,CCF终身成就奖获得者,南京人,徐姓

徐家福(1924年12月-2018年1月16日),中国计算机软件学先驱,中国计算机科学奠基人之一,南京大学教授,南京大学计算机软件新技术国家重点实验室名誉主任。江苏南京人。

1948年毕业于国立中央大学(1949年更名为南京大学),1957年至1959年去苏联莫斯科大学进修,1981年起任南京大学计算机系教授、博士生导师,培养出中国第一位计算机软件学博士。曾任南京大学计算机软件研究所所长、计算机软件新技术国家重点实验室主任,教育部计算机软件教材编审会主任,国务院学位委员会计算机学科评议组召集人,中国计算机学会副理事长及软件专业委员会主任,南京大学计算机软件新技术国家重点实验室名誉主任等职。

主要研究高级语言、新型程序设计与软件自动化。代表性成果有:

相关

  • 肠道外营养肠道外营养(parenteral nutrition)是将营养送入静脉中,而非一般地食入后消化。注入的营养品是由专业的制药公司制造,其营养品富有高度养分,包含了葡萄糖、盐、氨基酸还有脂肪等等
  • 组织蛋白组蛋白(英语:histone)是真核生物体细胞染色质与原核细胞中的碱性蛋白质,和DNA共同组成核小体结构。它们是染色质的主要蛋白质组分,作为DNA缠绕的线轴,并在基因调控(英语:Regulation
  • 山中伸弥山中伸弥(日语:山中 伸弥/やまなか しんや Yamanaka Shin'ya,1962年9月4日-),日本干细胞科学家,现任京都大学教授、UCSF附属格拉德斯通心血管病研究所(英语:Gladstone Institutes)高等
  • 总界在生物分类学中,域(英语:domain、superkingdom、empire、拉丁语:regio)是美国生物学家卡尔·沃斯1990年设计的三域系统中最高的分类单元,该系统中,生命之树(英语:Tree of life (biolo
  • 史密森协定史密森协定(Smithsonian Agreement)指1971年12月,布雷顿森林体系解体后西方十国集团所达成的新的国际货币制度的协定。由于会议在史密森尼学会召开而得名。企图在布雷顿森林体
  • 丽蝇丽蝇是属于丽蝇科的苍蝇。丽蝇外表一般都呈金属色,长约10-12毫米。丽蝇成虫的外表有光泽的金属色,一般都是蓝色、绿色或黑色。触角分三节及有芒。整条触角芒都呈羽毛状,第二节
  • 方耀方耀(1834年-1891年8月14日),又名方辉、方照轩,广东省普宁县洪阳西村(今属普宁市洪阳镇)人。行伍出身,以镇压广东洪兵起义起家,官至广东水师提督。原汕头洋税务司的辛盛是这样评价方
  • 2006年世界房车锦标赛英国站2006年世界房车锦标赛英国站是2006年度世界房车锦标赛的第三站赛事,正式比赛在2006年5月21日于英格兰Brands Hatch上举行。这是历来第二次在英国举行赛事。第一回合由西亚车
  • 747超级灭火机长青航空747超级灭火机(Evergreen 747 Supertanker)是一种以波音747广体货机改造而成的超大型灭火机,由美国长青国际飞行(英语:Evergreen International Aviation)(Evergreen Inter
  • 让·迪厄多内让·亚历山大·欧仁·迪厄多内(Jean Alexandre Eugène Dieudonné,1906年7月1日-1992年11月29日),法国数学家。布尔巴基学派的代表成员之一。迪厄多内生于法国里尔。迪厄多内是