Флойд, Роберт

Роберт Даблью Флойд
англ. Robert W Floyd
Флойд в 1976 году
Дата рождения	8 июня 1936(1936-06-08)
Место рождения	Нью-Йорк
Дата смерти	25 сентября 2001(2001-09-25) (65 лет)
Место смерти	Станфорд
Страна	США
Род деятельности	специалист в области информатики, инженер, преподаватель университета
Научная сфера	Информатика
Место работы	Университет Карнеги — Меллон Стэнфордский университет
Альма-матер	Чикагский университет
Известен как	Алгоритм Флойда — Уоршелла
Награды и премии	стипендия Гуггенхайма (1976) премия Тьюринга (1978) Пионер компьютерной техники (1991) Фелло ACM (1994)

Роберт Даблью Флойд (англ. Robert W Floyd, 8 июня 1936 года, Нью-Йорк, США — 25 сентября 2001 года, Станфорд, США) — американский учёный в области теории вычислительных систем. Лауреат премии Тьюринга. Флойд сменил своё второе имя, которое начиналось на букву W (Willoughby), на саму букву W, поэтому после него не ставится точка. Сам Флойд шутил по этому поводу, что «W.» — это приемлемая аббревиатура от «W»^[1].

Роберт окончил школу в возрасте 14 лет, перепрыгнув три класса. Три года спустя, в 1953 году, он получил титул бакалавра свободных наук в Чикагском университете, а в 1958 — бакалавра по физике. В возрасте 27 лет Флойд стал адъюнкт-профессором при университете Карнеги — Меллона, а ещё шесть лет спустя — профессором в Стэнфорде. Примечательно, что в отличие от большинства коллег, Флойд не имел титула PhD (доктора философии). Дважды женат, дважды разведён, имел четверых детей. Второй женой Флойда была австрийская учёная в области компьютерных наук Кристиане Флойд, которая была замужем за Питером Науром^[2].

К знаменитым достижениям Флойда относятся эффективный алгоритм поиска кратчайшего пути в ориентированных графах (алгоритм Флойда — Уоршелла) и алгоритм дизеринга (алгоритм Флойда — Стейнберга). Кроме того, Флойд работал над проблемой формальной верификации программ, сделав тем самым большой вклад в логику Хоара, которую иногда называют логикой Флойда — Хоара^[2][3].

В Стэнфорде Флойд тесно работал с Дональдом Кнутом, в том числе в качестве главного редактора серии его знаменитых книг «Искусство программирования», ставших фундаментальным источником информации о разработке алгоритмов^[1]. Вместе они поддержали студенческую акцию протеста 1 мая 1970 года, направленную против решения Никсона о введении американских войск в Камбоджу. Целью акции было препятствие работы сотрудников университета, однако Кнут и Флойд провели весь день, дискутируя об алгоритмах сортировки^[1]. Флойд активно принимал участие в работе по освобождению чилийского учёного Фернандо Флореса из тюрьмы^{[источник не указан 470 дней]}.

В число его хобби входили пешие походы, учёный также являлся заядлым игроком в нарды.

Роберт Флойд ушёл на пенсию в 1994 году и умер в клинике Стенфордского университета в возрасте 65 лет после долгой болезни в 2001 году^[2].

• 1978 — Премия Тьюринга «за его несомненное влияние на методологию создания эффективного и надёжного программного обеспечения и за его помощь в становлении таких областей компьютерных наук как теория парсинга, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ, и анализ алгоритмов»^[4].
• 1991 — Медаль «Пионер компьютерной техники» за первые компиляторы^[5].

• Алгоритм Флойда — Уоршелла
• Алгоритм Флойда — Стейнберга

• «Robert W Floyd, In Memoriam», Дональд Кнут, 20 марта 2002 года  (англ.)
• «Robert Floyd, pioneer in computer programming, dead at 65», Дон Леви, Stanford Report, 7 ноября 2001 года  (англ.)
• Список награждённых медалью "Computer Pioneer" (англ.). Дата обращения: 21 октября 2013. Архивировано из оригинала 21 июля 2013 года.