罗伯特·弗洛伊德
中文名： 罗伯特·弗洛伊德
外文名： Robert W．Floyd
国籍： 美国
出生日期： 1936年6月8日
职业： 计算机科学家
主要成就： 1978年获得图灵奖
出生地： 纽约
详细介绍：
罗伯特·弗洛伊德（RobertW.Floyd，1936－2001），美国计算机科学家，生于纽约。曾任斯坦福大学教授，1978年因在算法设计与程序验证领域的开创性贡献获图灵奖，是前后断言法创始人之一，堆排序算法和Floyd-Warshall算法的共同发明者。与Warsall提出Floyd-Warshall算法，与威廉姆斯共同发明堆排序算法。发表《如何确定程序的意义》，提出基于流程图的归纳断言法。其学术生涯先后任职于卡内基－梅隆大学和斯坦福大学，在编译器技术、语法分析及程序设计语言领域取得成果。+bd
2026-02-18 07:46:21，ID：151114
影视热度排行榜