- Флойд, Роберт
-
Роберт В Флойд Robert W Floyd
Флойд в 1976 годуДата рождения: Место рождения: Дата смерти: 25 сентября 2001 (65 лет)
Место смерти: Страна: Научная сфера: Место работы: Альма-матер: Известен как: Награды и премии
Премия Тьюринга, Медаль «Пионер компьютерной техники» (1991)Роберт В Флойд (англ. Robert W Floyd, 8 июня 1936 года, Нью-Йорк, США — 25 сентября 2001 года, Стэнфорд, США) — американский учёный в области теории вычислительных систем. Лауреат премии Тьюринга. Флойд сменил своё второе имя, которое начиналось на букву W, на саму букву, поэтому после него не ставится точка. Однако, он повторял, что «W.» — это приемлемая аббревиатура от «W».[1]
Содержание
Биография
Роберт закончил школу в возрасте 14 лет, перепрыгнув три класса. Три года спустя, в 1953 году, он получил титул бакалавра свободных наук в чикагском университете, а в 1958 — бакалавра по физике. В возрасте 27 лет Флойд стал адъюнкт-профессором при университете Карнеги — Меллон, а еще шесть лет спустя — профессором в Стэнфорде. Примечательно, что в отличие от большинства коллег, Флойд не имел титула доктора философии. Дважды женат, дважды разведён, имел четверых детей. Второй женой Флойда была австрийская учёная в области компьютерных наук Кристиане Флойд, которая была замужем за Питером Науром.[2]
К знаменитым достижениям Флойда относятся эффективный алгоритм поиска кратчайшего пути в ориентированных графах (Алгоритм Флойда — Уоршелла) и алгоритм размывания (Алгоритм Флойда — Стейнберга). Кроме того, Флойд работал над проблемой формальной верификации программ, сделав тем самым большой вклад в логику Хоара, которую иногда называют логикой Флойда-Хоара.[2][3]
В Стэнфорде, Флойд тесно работал с Дональдом Кнутом, в том числе в качестве главного редактора серии его знаменитых книг «Искусство программирования», ставших фундаментальным источником информации о разработке алгоритмов.[1] Вместе они поддержали студенческую акцию протеста 1 мая 1970 года, направленную против решения Никсона о введении американских войск в Камбоджу. Целью акции было препятствие работы сотрудников университета, однако Кнут и Флойд провели весь день, дискутируя об алгоритмах сортировки.[1] Флойд активно принимал участие в работе по освобождению чилийского учёного Фернандо Флореса из тюрьмы.
Роберт Флойд ушёл на пенсию в 1994 году и умер в клинике стэнфордского университета в возрасте 65 лет после долгой болезни в 2001 году.[2]
Награды
- 1978 — Премия Тьюринга «за его несомненное влияние на методологию создания эффективного и надёжного программного обеспечения и за его помощь в становлении таких областей компьютерных наук как теория парсинга, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ, и анализ алгоритмов» [4]
- 1991 — Медаль «Пионер компьютерной техники»[5] (англ. Computer Pioneer Award)
См. также
- Алгоритм Флойда — Уоршелла
- Алгоритм Флойда — Стейнберга
Ссылки
- «Robert W Floyd, In Memoriam», Дональд Кнут, 20 марта 2002 года (англ.)
- «Robert Floyd, pioneer in computer programming, dead at 65», Дон Леви, Stanford Report, 7 ноября 2001 года (англ.)
Примечания
- ↑ 1 2 3 «Robert W Floyd, In Memoriam», Дональд Кнут, 20 марта 2002 года (англ.)
- ↑ 1 2 3 «Robert Floyd, pioneer in computer programming, dead at 65», Дон Леви, Stanford Report, 7 ноября 2001 года (англ.)
- ↑ «Assigning Meaning to Programs», R. W. Floyd, in Proceedings of Symposium on Applied Mathematics, Vol. 19, J.T. Schwartz (Ed.), A.M.S., 1967, pp. 19-32 (англ.)
- ↑ Robert W. Floyd - A.M. Turing Award Winner (англ.)
- ↑ Past Recipients for Computer Pioneer
Лауреаты премии Тьюринга Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 8 июля
- Родившиеся в 1936 году
- Умершие 25 сентября
- Умершие в 2001 году
- Лауреаты премии Тьюринга
- Выпускники Чикагского университета
- Учёные в области информатики США
- Родившиеся в Нью-Йорке
- Умершие в Стэнфорде
Wikimedia Foundation. 2010.