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

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

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

相关文章

SpringBoot 中 CommandLineRunner的作用示例详解

《SpringBoot中CommandLineRunner的作用示例详解》SpringBoot提供的一种简单的实现方案就是添加一个model并实现CommandLineRunner接口,实现功能的... 目录1、CommandLineRunnerSpringBoot中CommandLineRunner的作用

无法启动此程序因为计算机丢失api-ms-win-core-path-l1-1-0.dll修复方案

《无法启动此程序因为计算机丢失api-ms-win-core-path-l1-1-0.dll修复方案》:本文主要介绍了无法启动此程序,详细内容请阅读本文,希望能对你有所帮助... 在计算机使用过程中,我们经常会遇到一些错误提示,其中之一就是"api-ms-win-core-path-l1-1-0.dll丢失

$在R语言中的作用示例小结

《$在R语言中的作用示例小结》在R语言中,$是一个非常重要的操作符,主要用于访问对象的成员或组件,它的用途非常广泛,不仅限于数据框(dataframe),还可以用于列表(list)、环境(enviro... 目录1. 访问数据框(data frame)中的列2. 访问列表(list)中的元素3. 访问jav

Java的"伪泛型"变"真泛型"后对性能的影响

《Java的伪泛型变真泛型后对性能的影响》泛型擦除本质上就是擦除与泛型相关的一切信息,例如参数化类型、类型变量等,Javac还将在需要时进行类型检查及强制类型转换,甚至在必要时会合成桥方法,这篇文章主... 目录1、真假泛型2、性能影响泛型存在于Java源代码中,在编译为字节码文件之前都会进行泛型擦除(ty

Kotlin运算符重载函数及作用场景

《Kotlin运算符重载函数及作用场景》在Kotlin里,运算符重载函数允许为自定义类型重新定义现有的运算符(如+-…)行为,从而让自定义类型能像内置类型那样使用运算符,本文给大家介绍Kotlin运算... 目录基本语法作用场景类对象数据类型接口注意事项在 Kotlin 里,运算符重载函数允许为自定义类型重

Spring Boot项目部署命令java -jar的各种参数及作用详解

《SpringBoot项目部署命令java-jar的各种参数及作用详解》:本文主要介绍SpringBoot项目部署命令java-jar的各种参数及作用的相关资料,包括设置内存大小、垃圾回收... 目录前言一、基础命令结构二、常见的 Java 命令参数1. 设置内存大小2. 配置垃圾回收器3. 配置线程栈大小

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 元素处