罗伯特·弗洛伊德

✍ dations ◷ 2025-04-26 23:10:51 #罗伯特·弗洛伊德

罗伯特·W·弗洛伊德(英语:Robert W. Floyd,1936年6月8日-2001年9月25日),美国计算机科学家,1978年图灵奖得主。

弗洛伊德出生在美国纽约,14岁即完成高中学业,当他1953年从芝加哥大学获得文学学士学位时,年仅17岁,并于1958年在物理学获得了第二个学士学位。

他在1960年代早期成为计算机操作员,并发表了许多出名的论文,并当他27岁时,被任命为卡内基梅隆大学的副教授,并于6年后成为斯坦福大学的正教授。此时他并没有博士学位。

弗洛伊德的主要贡献包括弗洛伊德算法,能有效地发现图的所有最短路径;他的工作有词法解析;他在一篇独立发表的文章里引入了一个重要的概念——图像渲染的误差扩散法,也被称为弗洛伊德-斯坦伯格抖动(但他区分了抖动和扩散)。

他一个显著的成就是开创性地在程序验证中使用了逻辑断言。在他1967年的论文《如何确定程序的意义》中首先提出,之后演化为霍尔逻辑。

弗洛伊德与高德纳工作很密切,他是高德纳的著作《计算机程序设计艺术》的主要评审,并且在书中被多次提及。他与理查德·贝尔格(Richard Beigel)合著有《机器的语言:可计算和形式语言的介绍》。

弗洛伊德于1978年获得图灵奖,并做“程序设计的风范”(The Paradigms of Programming)的演讲,图灵奖引文是:在构造高效、可靠性软件方法学领域的显著影响;在下列计算机科学重要分支的奠基性的贡献:分析理论,编程语言语义,自动程序验证,自动程序综合生成和算法分析。

相关

  • HNsub3/sub叠氮酸,分子式HN3,在常温常压下为一种无色、具挥发性、有刺激臭、高爆炸性的液体。叠氮酸主要用于保存贮存溶液(stock solution),以及作为一种试剂。叠氮酸在1890年首先由Theodor
  • 于默奥大学于默奥大学(瑞典语: Umeå universitet )是一所瑞典公立综合性大学,位于瑞典北部最大城市西博滕省于默奥市。该校成立于1965年,是瑞典国内历史第五悠久的大学,也是瑞典最好的大学
  • 穹隆脑穹窿(英文:Fornix of the brain),是起自海马内侧的投身纤维,弓形向后上至胼胝体下方,在中线两侧合成穹窿体,再向前分开形成两侧的穹窿柱,分别止于乳头体。穹窿破坏术是颞叶癫痫手
  • 薄暮 (消歧义)薄暮可以指:
  • 克莱格·伯奇克莱格·伯奇(英语:Craig Berkey,1962年6月18日-)加拿大音频工程师。他曾2次提名奥斯卡最佳音响效果奖,和1次提名最佳音效剪辑。自1990年起,伯奇参与制作了80多部电影。
  • 帕拉宏撒·尤迦南达帕拉宏撒·尤迦南达(Paramahansa Yogananda ,孟加拉语:পরমহংস যোগানন্দ,1893年1月5日-1952年3月7日),又译瑜伽难陀(Yogananda),原名Mukunda Lal Ghosh(读作“慕空达·拉
  • 黄垒河黄垒河为山东省乳山市境内的一条河流。黄垒河发源于昆嵛山南麓牟平区曲家口村西北的黄垒口,故名。流经牟平、乳山、文登3地,境内流经下初、冯家、大孤山、南黄4镇,在浪暖口入黄
  • 大关口观音寺大关口观音寺,台湾澎湖县马公市案山里庙宇,主祀观世音菩萨,现址位于马公第三渔港安检所旁。民国76年(1987年)某日,当时在马公安检所服勤警察孔庆玉在第一渔港海堤内拾获一落海的观
  • 东海高速公路 */?)是从釜山广域市海云台区沿着日本海(东海)通往江原道束草市的高速公路。现时共有釜山广域市海云台区到浦项市的100公里及三陟市到束草市的104公里两个路段通车。海云台到蔚山系统区间由釜山蔚山高速道路会社管辖,并称为釜山蔚山高速道路;整条高速道路根据总统令命名为东海高速道路。
  • 侯鸿鉴侯鸿鉴(1872年-1961年),字葆三,号病骥,江苏无锡人,清末秀才出身,中国教育家,江苏近代教育的开拓者。早年就读于上海南洋公学师范院,后与顾倬同往日本宏文学院学习,攻读师范专业,毕业回国后,在无锡陆续创办了单级小学、竞志女学、速成师范等学校。辛亥革命之后,曾先后担任集美学校校长、福建教育厅秘书、上海致用大学校长。著有《西北漫游记》、《南洋旅游记》等书籍。侯鸿鉴生于清同治十一年(1872年)。光绪十六年(1890年)至光绪二十二年(1896年),侯鸿鉴四次参加科举考试均未有所获。光绪二十三年(1897