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

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

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

相关文章

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()?它的作用是什么?类比一下:二、join()的作用总结三、join()怎么

java中反射Reflection的4个作用详解

《java中反射Reflection的4个作用详解》反射Reflection是Java等编程语言中的一个重要特性,它允许程序在运行时进行自我检查和对内部成员(如字段、方法、类等)的操作,本文将详细介绍... 目录作用1、在运行时判断任意一个对象所属的类作用2、在运行时构造任意一个类的对象作用3、在运行时判断

python常用的正则表达式及作用

《python常用的正则表达式及作用》正则表达式是处理字符串的强大工具,Python通过re模块提供正则表达式支持,本文给大家介绍python常用的正则表达式及作用详解,感兴趣的朋友跟随小编一起看看吧... 目录python常用正则表达式及作用基本匹配模式常用正则表达式示例常用量词边界匹配分组和捕获常用re

Java 继承和多态的作用及好处

《Java继承和多态的作用及好处》文章讲解Java继承与多态的概念、语法及应用,继承通过extends复用父类成员,减少冗余;多态实现方法重写与向上转型,提升灵活性与代码复用性,动态绑定降低圈复杂度... 目录1. 继承1.1 什么是继承1.2 继承的作用和好处1.3 继承的语法1.4 子类访问父类里面的成

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. 配置线程栈大小