徐家福对计算机科学发展的影响或作用,科学网—老一代计算机科学家徐家福 - 黄富强的博文...

本文主要是介绍徐家福对计算机科学发展的影响或作用,科学网—老一代计算机科学家徐家福 - 黄富强的博文...,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

xujiafu.jpg   徐家福 教授,博士生导师,计算机软件新技术国家重点实验室名誉主任。1925年1月出生,1948年毕业于中央大学,1957年至1959年去前苏联莫斯科大学 进修。1981年起任南京大学计算机系教授、博士生导师。曾任中国计算机学会副理事长和软件专业委员会主任等。

主要研究高级语言、新型程序设计与软件自动化。代表性成果有:(1)研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;(2)参加 制定ALGOL、COBOL国家标准;(3)率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并 行推理系统;(4)完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和 自学习软件自动化系统NDSAIL等。先后获国家教委一等奖四次,电子部一等奖三次,出版著作6部,发表论文150余篇。

近年来,他带领一个研究小组围绕量子程序设计语言,在量子计算领域开展了基础性的探索工作,设计了两种量子程序设计语言并给出了相应的实现途径,取得了初步成果。

祝先生身体健康!向先生学习,我总结的关键词: 创新  科学  技术   有效研究并付诸实践以下信息来自清华大学计算机系网站

标题:中国计算机学界前辈、南京大学徐家福教授来我系做学术报告

内容:

2009年5月26日下午,中国计算机学界前辈、南京大学徐家福教授来我系做了题为《量子计算的程序设计语言》的学术报告。系主任孙茂松教授,周立柱教授,张素琴教授,相关方向的青年教师李三江、冯元、白晓颖等以及学生们参加了报告会。

徐先生用言简意赅、深入浅出的语言,从理论基础、语言风范、程序结构等几个角度系统地介绍了量子程序设计语言方面的研究现状以及他所领导的课题组在这方面 的研究工作,阐述了他对量子计算研究的若干基本观点。他还意味深长地谈到了自己在抗战时期的学生时代的一些难忘经历,强调做人与做学问的关系,勉励同学们 一定要不忘历史使命,努力学习、钻研,将来报效国家。

报告会由系主任孙茂松教授主持。他并代表计算机系对徐先生长期以来对清华计算机学科的大力支持表示衷心的感谢。

lip_image001.jpg

lip_image002.jpg

转载本文请联系原作者获取授权,同时请注明本文来自黄富强科学网博客。

链接地址:http://wap.sciencenet.cn/blog-89075-235297.html

上一篇:微软新搜索引擎Bing.com

下一篇:2008Computer History Museum Fellow Awards

这篇关于徐家福对计算机科学发展的影响或作用,科学网—老一代计算机科学家徐家福 - 黄富强的博文...的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/356922

相关文章

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类(常规内部类)局部内部类(方法内部类)匿名内部类二、

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

css中的 vertical-align与line-height作用详解

《css中的vertical-align与line-height作用详解》:本文主要介绍了CSS中的`vertical-align`和`line-height`属性,包括它们的作用、适用元素、属性值、常见使用场景、常见问题及解决方案,详细内容请阅读本文,希望能对你有所帮助... 目录vertical-ali

浅析CSS 中z - index属性的作用及在什么情况下会失效

《浅析CSS中z-index属性的作用及在什么情况下会失效》z-index属性用于控制元素的堆叠顺序,值越大,元素越显示在上层,它需要元素具有定位属性(如relative、absolute、fi... 目录1. z-index 属性的作用2. z-index 失效的情况2.1 元素没有定位属性2.2 元素处

Spring 中 BeanFactoryPostProcessor 的作用和示例源码分析

《Spring中BeanFactoryPostProcessor的作用和示例源码分析》Spring的BeanFactoryPostProcessor是容器初始化的扩展接口,允许在Bean实例化前... 目录一、概览1. 核心定位2. 核心功能详解3. 关键特性二、Spring 内置的 BeanFactory

Spring组件初始化扩展点BeanPostProcessor的作用详解

《Spring组件初始化扩展点BeanPostProcessor的作用详解》本文通过实战案例和常见应用场景详细介绍了BeanPostProcessor的使用,并强调了其在Spring扩展中的重要性,感... 目录一、概述二、BeanPostProcessor的作用三、核心方法解析1、postProcessB

MyBatis的配置对象Configuration作用及说明

《MyBatis的配置对象Configuration作用及说明》MyBatis的Configuration对象是MyBatis的核心配置对象,它包含了MyBatis运行时所需的几乎所有配置信息,这个对... 目录MyBATis配置对象Configuration作用Configuration 对象的主要作用C

MySQL表锁、页面锁和行锁的作用及其优缺点对比分析

《MySQL表锁、页面锁和行锁的作用及其优缺点对比分析》MySQL中的表锁、页面锁和行锁各有特点,适用于不同的场景,表锁锁定整个表,适用于批量操作和MyISAM存储引擎,页面锁锁定数据页,适用于旧版本... 目录1. 表锁(Table Lock)2. 页面锁(Page Lock)3. 行锁(Row Lock

SpringBoot中的404错误:原因、影响及解决策略

《SpringBoot中的404错误:原因、影响及解决策略》本文详细介绍了SpringBoot中404错误的出现原因、影响以及处理策略,404错误常见于URL路径错误、控制器配置问题、静态资源配置错误... 目录Spring Boot中的404错误:原因、影响及处理策略404错误的出现原因1. URL路径错

如何测试计算机的内存是否存在问题? 判断电脑内存故障的多种方法

《如何测试计算机的内存是否存在问题?判断电脑内存故障的多种方法》内存是电脑中非常重要的组件之一,如果内存出现故障,可能会导致电脑出现各种问题,如蓝屏、死机、程序崩溃等,如何判断内存是否出现故障呢?下... 如果你的电脑是崩溃、冻结还是不稳定,那么它的内存可能有问题。要进行检查,你可以使用Windows 11