Відкрити головне меню

Роберт (Боб) Флойд (англ. Robert W. (Bob) Floyd; 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики. Найбільш відомий своїми дослідженнями у галузях формальної верифікації та семантики мов програмування, за які він був нагороджений премією Тюрінга.

Роберт Флойд
англ. Robert W. Floyd
Народився 8 червня 1936(1936-06-08)
Нью-Йорк, США
Помер 25 вересня 2001(2001-09-25) (65 років)
Стенфорд, США
Громадянство Flag of the United States.svg США
Діяльність інформатик, інженер, викладач університету
Alma mater Чиказький університет
Сфера інтересів інформатика, програмування
Заклад Університет Карнегі-Меллон,
Стенфордський університет,
Іллінойський технологічний інститут
Відомі учні Роберт Андре Тар'ян,
Рональд Рівест, Зохар Манна[1]
Аспіранти, докторанти Рональд Рівест[2], Jay Earley[d][3], Зохар Манна[4], Роберт Андре Тар'ян[5] і David Plaisted[d][6]
Член Американська академія мистецтв і наук і Association for Computing Machinery
Відомий завдяки: Алгоритм Флойда — Воршелла,
Логіка Флойда-Гоара,
Сортування двійковим деревом
У шлюбі з Крістіане Флойд
Нагороди Премія Тюрінга (1978)
Нагорода «Піонер комп'ютерної галузі» (1991)

Зміст

БіографіяРедагувати

Був надзвичайно обдарованою дитиною, закінчив шкільні навчання в 14 років та 1953 року здобув ступінь бакалавра в Чиказькому університеті коли йому було лише 17 років. У 1958 році отримав другу ступінь бакалавра в галузі фізики.[7]

ПублікаціїРедагувати

ПриміткиРедагувати

ПосиланняРедагувати