现今中国排名前十的计算机科学家是哪十位啊

2024-05-15

1. 现今中国排名前十的计算机科学家是哪十位啊

姚期智

姚期智(Andrew Chi-Chih Yao,1946年12月24日-),美籍华人,世界著名计算机科学家,2000年图灵奖得主,目前是清华大学教授。

潘云鹤(1946年11月4日—),中国人工智能和计算机图形学专家,出生于浙江省杭州,现任浙江大学校长,浙江大学人工智能研究所所长。
主要成果
潘云鹤是中国智能CAD领域的开拓者,用人工智能技术解决了构图、色彩等多类知识表达问题,实现艺术图案设计自动推理。在真实感图形描绘、光照模型和空间感色彩模型等方面均有创新。这些成果主要应用于纺织印染设计,甚至被用于敦煌艺术的复原和保护。
李未(1943年6月8日-),计算机专家,中国科学院院士,2002年开始任北京航空航天大学校长。

1966年毕业于北京大学数学与力学系,1983年在英国爱丁堡大学计算机科学系获博士学位,曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员, 欧洲共同体发展信息战略计划(ESPRIT)及德国不莱梅大学教授级研究员,德国萨尔大学(Zuse)客座教授。1986年任教授, 并被批准为博士导师,1997年当选为中国科学院院士。

他主要从事计算机软件与科学理论以及因特网应用研究,研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。

王安(1920年2月7日 - 1990年3月24日),计算机专家,出生于上海;13岁考取了极负盛名的省立上海中学;16岁又以入学考试第一名的成绩,走进了交通大学。 他在磁芯存储器领域的发明专利共有34项之多,并成立自己的公司。


夏培肃(1923年7月28日—)中国计算机科学的先行者,主持研制了中国第一台电子计算机。1923年7月28日生于四川重庆,原籍四川江津。1941年考入中央大学(1949年更名为南京大学)工学院电机系。1945年毕业后赴美留学,1950年获英国爱丁堡大学博士学位。回国后,任中国科学院计算技术研究所研究员。从1952年开始从事电子计算机的研究、设计和试制,是中国最早从事电子计算机的科研人员。她编写了中国第一本电子计算机原理书,为中国计算机科技界培养了大批人才。1950年代设计试制成功中国第一台自行设计的通用电子数字计算机。1960年代开始在高速计算机的研究和设计方面做出了系统的创造性的成果。曾经创办《计算机学报》,并创办国际性期刊 《Journal of Computer Science and Technology》(计算机科技杂志),担任第一任主编。1991年当选为中国科学院院士。

她和丈夫杨立铭为一对院士夫妇;杨立铭,理论物理学家,毕业于中央大学工学院机械系,中国核物理学会理事长。

袁亚湘,男,1960年1月出生于中国湖南资兴。

袁亚湘十八岁考上湘潭大学, 四年后考上中国科学院计算中心研究生, 师从冯康教授。 1982年11月起在剑桥大学应用数学与理论物理系攻读博士, 师从 M.J.D. POWELL 教授。 1986年获博士学位。 1985年10月至1988年9月在剑桥大学菲茨威廉姆学院工作(Rutherford research fellow), 1988年回到中国在中国科学院计算中心工作。 现任中国科学院数学与系统科学研究院副院长。

袁亚湘的专业: 计算数学、应用数学、运筹学 。研究方向: 最优化计算方法 。
陈仕元 计算机科学家、宇航研究专家。1948年毕业于中央大学(1949年更名为南京大学)。后赴美学,获俄亥俄州立大学博士学位。曾任西雅图大学教授、兰德公司研究员、波音公司太空飞行研究中心总裁。
徐家福(1925年11月18日—)中国计算机软件学先驱,中国计算机科学奠基人之一。江苏南京人。

1948年毕业于中央大学(1949年更名为南京大学),1957年至1959年去苏联莫斯科大学进修,1981年起任南京大学计算机系教授、博士生导师,培养出中国第一位计算机软件学博士。现任南京大学计算机软件新技术国家重点实验室名誉主任、中国计算机学会副理事长。

现今中国排名前十的计算机科学家是哪十位啊

2. 计算机发展史上都有哪些重要的科学家


3. 任务一:计算机发展史上都有哪些重要的科学家

1、冯·诺依曼(John Von Neumann , 1903-1957):美籍匈牙利裔科学家、数学家,被誉为“电子计算机之父”.1945年,冯·诺依曼首先提出了“存储程序”的概念和二进制原理,后来,人们把利用这种概念和原理设计的电子计算机系统统称为“冯.诺曼型结构”计算机.冯.诺曼结构的处理器使用同一个存储器,经由同一个总线传输.冯·诺依曼的主要贡献就是提出并实现了“存储程序”的概念.由于指令和数据都是二进制码,指令和操作数的地址又密切相关,因此,当初选择这种结构是自然的.但是,这种指令和数据共享同一总线的结构,使得信息流的传输成为限制计算机性能的瓶颈,影响了数据处理速度的提高.
2、阿兰·麦席森·图灵(Alan Mathison Turing,1912.6.23—1954.6.7),英国数学家、逻辑学家,他被视为计算机之父.1936年,图灵向伦敦权威的数学杂志投了一篇论文,题为“论数字计算在决断难题中的应用”.在这篇开创性的论文中,图灵给“可计算性”下了一个严格的数学定义,并提出著名的“图灵机”(Turing Machine)的设想.“图灵机”不是一种具体的机器,而是一种思想模型,可制造一种十分简单但运算能力极强的计算装置,用来计算所有能想象得到的可计算函数.“图灵机”与“冯·诺伊曼机”齐名,被永远载入计算机的发展史中.1950年10月,图灵又发表了另一篇题为“机器能思考吗”的论文,成为划时代之作.也正是这篇文章,为图灵赢得了“人工智能之父”的桂冠. 

3、克劳德·香农(Claude Elwood Shannon,1916-2001)1916年4月30日诞生于美国密西根州的Petoskey.科学家,现代信息论的著名创始人,信息论及数字通信时代的奠基人.1948年香农长达数十页的论文“通信的数学理论”成了信息论正式诞生的里程碑.在他的通信数学模型中,清楚地提出信息的度量问题,他把哈特利的公式扩大到概率pi不同的情况,得到了著名的计算信息熵H的公式:H=∑-pi log pi.如果计算中的对数log是以2为底的,那么计算出来的信息熵就以比特(bit)为单位.今天在计算机和通信中广泛使用的字节(Byte)、KB、MB、GB等词都是从比特演化而来.“比特”的出现标志着人类知道了如何计量信息量.香农的信息论为明确什么是信息量概念作出决定性的贡献.

4、赫伯特•亚历山大•西蒙(1916年6月15日--2001年2月9日 Herbert Alexander Simon ):美国科学家,他是20世纪科学界的一位奇特的通才,在众多的领域深刻地影响着我们这个世代.他学识渊博、兴趣广泛,研究工作涉及经济学、政治学、管理学、社会学、心理学、运筹学、计算机科学、认知科学、人工智能等广大领域,并做出了创造性贡献,在国际上获得了诸多特殊荣誉.1956年夏天 数十名来自数学、心理学、神经学、计算机科学与电气工程等各种领域的学者聚集在位于美国新罕布什尔州汉诺威市的达特茅斯学院,讨论如何用计算机模拟人的智能,并根据麦卡锡的建议,正式把这一学科领域命名为“人工智能”.西蒙参加了这个具有历史意义的会议,而且他们带到会议上去的“逻辑理论家”是当时唯一可以工作的人工智能软件,引起了与会代表的极大兴趣与关注.因此,西蒙、纽厄尔以及达特茅斯会议的发起人麦卡锡和明斯基被公认为是人工智能的奠基人,被称为“人工智能之父”.1957年 西蒙与别人合作开发了IPL语言(1nformation Processing Language).在AI的历史上,这是最早的一种AI程序设计语言,其基本元素是符号,并首次引进表处理方法.1966年 西蒙、纽厄尔和贝洛尔(Baylor)合作,开发了最早的下棋程序之一MATER. 1970年 在研究自然语言理解的过程中,西蒙发展与完善了语义网络的概念和方法,把它作为知识表示(knowledge representation)的一种通用手段,并取得很大成功.1972年7月 作为美国计算机科学家代表团成员之一第一次到中国访问.之后又9次来华访问.1975年 他和艾伦•纽厄尔因为在人工智能、人类心里识别和列表处理等方面进行的基础研究,荣获计算机科学最高奖——图灵奖.1976年 西蒙和纽厄尔给“物理符号系统” 下了定义,提出了“物理符号系统假说”PSSH(Physical Symbol System Hypothesis),成为人工智能中影响最大的符号主义学派的创始人和代表人物,而这一学说则鼓励着人们对人工智能进行伟大的探索.这也是两人在人工智能中做出的最基本的贡献.1976—1983年间 西蒙和兰利(Pat W.Langley)、布拉茨霍夫(Gary L.Bradshaw)合作,设计了有6个版本的BACON系统发现程序,重新发现了一系列著名的物理、化学定律,证明了西蒙曾多次强调的论点即科学发现只是一种特殊类型的问题求解,因此也可以用计算机程序实现.

5、巨型机之父”西蒙·克雷.谁最早提出了超级计算机的概念?至今存在很大的争议.有人说是最早开发集成电路的肖克利在自己的工作日记中透露了超级计算机的构思,也有人说是当时为军方服务的LawrenceLivermore国家实验室的想法.但从真正意义上来说,研发出符合超级计算机定义产品的人应该是西蒙·克雷(S. Cray)博士,此人后来被西方称为“巨型机之父”.西蒙·克雷1925年9月出生在美国威斯康星州的一个工程师世家.克雷先后在工程研究学会和雷明顿·兰德公司从事计算机研究.在那里,他设计出他的第一台计算机ERA1101.1963年8月,克雷终于从“密林”深处复出,把一台被他亲切称作“简单的蠢东西” —— CDC6600超级计算机公布于世.CDC6600是真正意义上的超级计算机,共安装了35万个晶体管,运算速度为1Mflops.至1969年,克雷研制的CDC6600以及改进型CDC7600巨型机共售出150余台.(美国能源部劳伦斯·伯克利国家实验室对超级计算机的定义是由八个或更多的计算节点组成、作为单个高性能机器工作的集群.通俗点讲,超级计算机就是能够进行大规模、超速运算的计算机.)

任务一:计算机发展史上都有哪些重要的科学家

4. 第一台真正的计算机是著名科学家谁发明的

世界上第一台计算机真正的发明人是美国人约翰·阿塔那索夫(Atanasoff)教授。
在1973年以前,大多数美国计算机界人士认为,电子计算机发明人是宾夕法尼亚大学莫尔电气工程学院的莫奇利(J. Mauchiy)和埃科特(P.Eckert),因为他们是第一台具有很大实用价值的电子计算机ENIAC(埃尼阿克)的研制者。 现在国际计算机界公认的事实是:第一台电子计算机的真正的发明人是美国的约翰·文森特·阿塔那索夫(John V. Atanasoff ,1903-1995)。他在国际计算机界被称为“电子计算机之父”。遗憾的是,中国计算机界的绝大多数人并不知道这个事实。 关于电子计算机的真正发明人是谁,美国的有关人阿塔那索夫、莫奇利和埃科特曾经打了一场旷日持久的官司,法院开庭审讯135次。最后由美国的一个地方法院作出判决。
1973年10月19日,法院当众宣布判决书:“莫奇利和埃科特没有发明第一台计算机,只是利用了阿塔那索夫发明中的构思。”理由是阿塔那索夫早在1941年,就把他对电子计算机的思想告诉过ENIAC的发明人莫奇利。 阿塔那索夫(J. Atanasoft)是爱阿华大学物理学教授。阿塔那索夫是在他的研究生克利福特·贝瑞(Clifford E. Berry ,1818-1963)的帮助下发明电子计算机的。 第一台电子计算机的试验样机于1939年10月开始运转。这台计算机帮助爱阿华大学的教授和研究生们解算了若干复杂的数学方程。阿塔那索夫把这台机器命名为ABC(Atanasoff- Berry-Computer),其中,A、B分别取俩人姓氏的第一个字母,C即“计算机”的首字母。 第一台电子计算机诞生以后,阿塔那索夫和贝瑞却没有获得发明者的花环。 在阿塔那索夫和贝瑞离开之前,已有两台改进后的ABC计算机能够运行。这两台ABC计算机被存放在爱阿华大学物理楼的储存室里,逐渐被人遗忘。
1946年,由于物质短缺,两台机器都被拆散,零件移作它用,只留下了存储器部件。爱阿华大学没有为ABC计算机申请专利,这就给电子计算机的发明权问题带来了旷日持久的法律纠纷。
美国地方法院的裁定是正确的,因为ENIAC的发明者莫契利确实到衣阿华大学参观过ABC计算机,并听了阿塔那索夫的介绍,由此得到启发。

扩展资料:
电子计算机之父
在很长时间内,阿塔那索夫及其ABC机默默无闻,不为世人所知。究其原因大约有以下几点。
一是艾奥瓦地处美国中西部,当时还比较闭塞,艾奥瓦州立大学(当时还叫学院)也没有什么名气,其研究工作不为世人所关注;
二是阿塔那索夫的研究工作没有得到美国政府和军方的资助,完全属于“自拟课题”;
三是阿塔那索夫1942年9月应征人伍,到海军装备实验室工作(Naval Ordnance Laboratory),中止了在ABC上的工作,连机器后来也给学校拆掉了。此外,由于种种原因,ABC也未申请专利。
参考资料:
百度百科-约翰·阿塔那索夫

5. 如何算的上计算机科学家

……计算机现在已经算是一个宏观定义了。从软件,到硬件,甚至到集成,云计算,计算机服务,存储,备份。都属于计算机的一部分,当你在其中的某一领域达到一定的高度的时候,你就可以称之为计算机科学家。但是可能还要下挂分类,比如说:软件学家,这是属于计算机科学的;云计算的高级工程师,这也数据计算机科学的。

总之,你必须要在这个宏观领域下有某个强项,才能算靠近了计算机科学家。如果你可以做到研发新系统,或者是你的知识在这个宏观领域内很多人承认并且了解了,那么你就算是一个计算机科学家了。

如何算的上计算机科学家

6. 世界第一台电子计算机是哪国科学家发明?

1946年2月14日,世界上第一台电脑ENIAC在美国宾夕法尼亚大学诞生。 

第二次世界大战期间,美国军方要求宾州大学莫奇来(Mauchly)博士和他的学生爱克特(Eckert) 设计以真空管取代继电器的“电子化”电脑——ENIAC(Electronic Numerical Integrator and Calculator), 电子数字积分器与计算器), 目的是用来计算炮弹弹道。 

这部机器使用了18800个真空管,长50英尺,宽30英尺, 占地1500平方英尺,重达30吨(大约是一间半的教室大,六只大象重)。它的计算速度快,每秒可从事5000次的加法运算,运作了九年之久。吃电很凶, 据传ENIAC每次一开机,整个费城西区的电灯都为之黯然失色。 
1949年,第一台存储程序计算机--EDSAC在剑桥大学投入运行,ENIAC和EDSAC均属于第一代计算机。

7. 计算机科学之父的主要研究成就有哪些?

主要贡献:
1、提出“图灵测试”概念 
“图灵测试”指测试者与被测试者(一个人和一台机器)隔开的情况下,通过一些装置(如键盘)向被测试者随意提问。
进行多次测试后,如果有超过30%的测试者不能确定出被测试者是人还是机器,那么这台机器就通过了测试,并被认为具有人类智能。
图灵测试一词来源于计算机科学和密码学的先驱艾伦·麦席森·图灵写于1950年的一篇论文《计算机器与智能》,其中30%是图灵对2000年时的机器思考能力的一个预测,目前我们已远远落后于这个预测。
图灵预言,在20世纪末,一定会有电脑通过“图灵测试”。2014年6月7日在英国皇家学会举行的“2014图灵测试”大会上,举办方英国雷丁大学发布新闻稿。
宣称俄罗斯人弗拉基米尔·维西罗夫(Vladimir Veselov)创立的人工智能软件尤金·古斯特曼(Eugene Goostman)通过了图灵测试。
虽然“尤金”软件还远不能“思考”,但也是人工智能乃至于计算机史上的一个标志性事件。
2、图灵机
图灵机是由图灵在1936年提出的,它是一种精确的通用计算机模型,能模拟实际计算机的所有计算行为。
所谓的图灵机就是指一个抽象的机器,它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。有一个机器头在纸带上移来移去。
机器头有一组内部状态,还有一些固定的程序。在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。

3、人工智能
1949年,图灵成为曼切斯特大学(University of Manchester )计算实验室的副院长,致力研发运行Manchester Mark 1型号储存程序式计算机所需的软件。
1956年图灵的这篇文章以“机器能够思维吗?”为题重新发表,此时,人工智能也进入了实践研制阶段。图灵的机器智能思想无疑是人工智能的直接起源之一。
而且随着人工智能领域的深入研究,人们越来越认识到图灵思想的深刻性:它们如今仍然是人工智能的主要思想之一。
4、树立生物学
从1952年直到去世,图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。
他主要的兴趣是斐波那契叶序列,存在于植物结构的斐波那契数。他应用了反应-扩散公式,如今已经成为图案形成范畴的核心。他后期的论文都没有发表,一直等到1992年《艾伦·图灵选集》出版,这些文章才见天日。
5、判定问题
1937年,图灵用他的方法解决了著名的希尔伯特判定问题:狭谓词演算(亦称一阶逻辑)公式的可满足性的判定问题。
他用一阶逻辑中的公式对图灵机进行编码,再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。他在此处创用的“编码法”成为后来人们证明一阶逻辑的公式类的不可判定性的主要方法之一。
在判定问题上,图灵的另一成果是1939年提出的带有外部信息源的图灵机概念,并由此导出“图灵可归约”及相对递归的概念。
运用归约和相对递归的概念,可对不可判定性与非递归性的程度加以比较。在此基础上,E.波斯特(Post)提出了不可解度这一重要概念,这方面的工作后来有重大的进展。
参考资料来源:百度百科——艾伦·麦席森·图灵

计算机科学之父的主要研究成就有哪些?

8. 世界著名的计算机方面的科学家有哪些

查尔斯·巴贝奇(Charles Babbage),英国发明家,电脑先驱. 
  蒂姆·伯纳斯-李(Tim Berners-Lee),万维网发明者. 琳·康维(Lynn Conway) 艾兹赫尔·戴克斯特拉(Edsger Dijkstra),计算理论先驱,算法研究者,戴克斯特拉算法约翰·轩尼诗(John Hennessy),MIPS科技公司创办人. 
  东尼·霍尔(Tony Hoare),算法研究者,快速排序发明人,图灵奖得主. 高德纳(Donald Ervin Knuth),计算理论与算法研究者,曾写作TeX. 高登·摩尔(Gordon Moore),工程师,Intel创始人之一,以摩尔定律著名. 冯·诺伊曼(John von Neumann),计算理论与电脑系统结构先驱,号称“电脑之父”. 大卫·帕特森(David Patterson),电脑系统结构先驱,精简指令集与RAID创始人之一. 克劳德·香农(Claude Shannon),信息论创始人. 赫伯特·西蒙(Herbert A. Simon) 
  盖伊·史提尔二世(Guy Steele Jr.),编程语言理论家,Scheme与Emacs共同作者之一. 
  杰拉德·杰伊·萨斯曼(Gerald Jay Sussman),编程语言理论家,Scheme共同作者之一,自由软件基金会创始人之一. 阿兰·图灵(Alan Turing),计算理论开山鼻祖. 姚期智,计算理论家,高德纳奖与图灵奖得主.
最新文章
热门文章
推荐阅读