Роберт В. Флойд - Robert W. Floyd
Роберт Флойд | |
---|---|
Родившийся | |
Умер | 25 сентября 2001 г. Стэнфорд, Калифорния, Соединенные Штаты | (65 лет)
Гражданство | Соединенные Штаты |
Образование | Чикагский университет (Б.А., 1953, 1958) |
Известен | Алгоритм Флойда-Уоршолла Дизеринг Флойда – Стейнберга Алгоритм поиска цикла Флойда Треугольник Флойда АЛГОЛ |
Супруг (а) | Яна М. Мейсон; Кристиан Флойд (урожденная Ридль) |
Дети | 4 |
Награды | Премия Тьюринга (1978) Премия Computer Pioneer (1991) |
Научная карьера | |
Поля | Информатика |
Учреждения | Иллинойсский технологический институт Университет Карнеги Меллон Стэндфордский Университет |
Докторанты | 7 |
Роберт В. «Боб» Флойд[1] (8 июня 1936 г. - 25 сентября 2001 г.) специалист в области информатики. Его вклад включает дизайн Алгоритм Флойда-Уоршолла (независимо от Стивен Уоршалл ), которая эффективно находит все кратчайшие пути в график, Алгоритм поиска цикла Флойда для обнаружения циклы в последовательности, и его работа над разбор. В одной изолированной статье он представил важную концепцию распространения ошибок при рендеринге изображений, также называемую Дизеринг Флойда – Стейнберга (хотя он отличал дизеринг от диффузии). Он был пионером в области проверка программы с помощью логические утверждения с бумагой 1967 г. Придание смысла программам. Это был вклад в то, что позже стало Логика Хоара. Флойд получил Премия Тьюринга в 1978 г.
Жизнь
Рожден в Нью-Йорк Флойд закончил среднюю школу в 14 лет. Чикагский университет, он получил Бакалавр искусств (BA) в гуманитарные науки в 1953 году (когда еще было 17 лет) и второй степень бакалавра в физика в 1958 году. Флойд был соседом по комнате колледжа Карл Саган.[2]
Флойд стал сотрудником Armor Research Foundation (ныне IIT Research Institute) в Иллинойсский технологический институт в 1950-е гг. Став оператором на компьютере в начале 1960-х, он начал публиковать множество статей, в том числе о компиляторах (особенно разбор ). Он был пионером грамматики приоритета операторов, и ему приписывают начало области семантика языка программирования в Флойд (1967). Он был назначен доцентом в Университет Карнеги Меллон к 27 годам он стал профессором в Стэндфордский Университет шесть лет спустя. Он получил эту должность без Доктор Философии (Степень доктора философии.
Он был членом Международная федерация обработки информации (ИФИП) Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям,[3] который указан, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.[4]
Он был избран членом Американская академия искусств и наук в 1974 г.[5]
Он получил Премия Тьюринга в 1978 году "за то, что оказал явное влияние на методологии создания эффективного и надежного программного обеспечения, а также за помощь в создании следующих важных областей информатики: теория синтаксического анализа, семантика языков программирования, автоматический проверка программы, автоматический программный синтез, и анализ алгоритмов ".
Флойд тесно сотрудничал с Дональд Кнут, в частности, как главный рецензент основополагающей книги Кнута Искусство программирования, и это человек, который чаще всего цитируется в этой работе. Вместе с Ричардом Бейгелем он был соавтором учебника. Язык машин: введение в вычислимость и формальные языки.[6] Флойд руководил семью кандидатами наук. выпускники.[7]
Флойд был женат и дважды развелся, сначала с Яной М. Мейсон, а затем с компьютерным ученым. Кристиан Флойд, и у него было четверо детей. В последние годы жизни он страдал от Болезнь Пика, а нейродегенеративное заболевание, и поэтому ушел на пенсию в начале 1994 года.[нужна цитата ]
Его хобби включали пешие прогулки, и он был заядлым нарды игрок:
Однажды мы застряли в аэропорту Чикаго О'Хара на несколько часов в ожидании вылета нашего рейса из-за снежной бури. Когда мы сидели у ворот, Боб в непринужденной манере спросил меня: «Ты умеешь играть в нарды?» Я ответил, что знаю правила, но почему он хочет знать? Боб сказал, что, поскольку у нас есть несколько часов ожидания, возможно, нам следует сыграть несколько игр, конечно, с небольшими ставками. Затем он полез в свой портфель и достал набор для игры в нарды.
Мой отец многому меня научил. Один из них - опасаться любого, кто предлагает сыграть в бильярд на деньги, а затем открывает черный футляр и начинает скручивать клюшку. Я подумал, что этот совет применим ко всем, кто путешествовал со своим набором для игры в нарды. Я сказал Бобу, что ни в коем случае не буду играть на деньги. Он немного надавил, но наконец сказал: «Хорошо». Вместо этого он дал мне бесплатный урок искусства и науки игры в нарды.
Я был прав, отказавшись от игры за деньги - при любых ставках. Урок прошел весело. Позже я узнал, что он много лет работал над изучением игры. Он очень серьезно относился к игре в нарды, изучал игру и ее математику и был почти профессионалом. Думаю, это было больше, чем хобби. Как и его исследования, Боб серьезно относился к тому, что делал, и совершенно очевидно, что он был бы великолепен в нардах.
Избранные публикации
- Флойд, Роберт В. (1967). «Придание смысла программам» (PDF). В Schwartz, J.T. (ред.). Математические аспекты информатики. Материалы симпозиума по прикладной математике. 19. Американское математическое общество. С. 19–32. ISBN 0821867288.
- Флойд, Роберт В.; Кнут, Дональд Эрвин (1970). Проблема сортировки Бозе-Нельсона. Стэнфорд, Калифорния: Факультет компьютерных наук Стэнфордского университета.
- Флойд, Роберт В .; Смит, Алан Дж. (1972). «Линейное время слияния двух лент». Стэнфорд, Калифорния: Факультет компьютерных наук Стэнфордского университета. Цитировать журнал требует
| журнал =
(помощь) - Флойд, Р. В. (1979). «Парадигмы программирования». Коммуникации ACM. 22 (8): 455. Дои:10.1145/359138.359140.
- Флойд, Роберт В .; Ульман, Джеффри Д. (1980). "Компиляция регулярных выражений в интегральные схемы". Округ Фэрфакс, Вирджиния: Ft. Belvoir: Центр технической информации Министерства обороны. Цитировать журнал требует
| журнал =
(помощь) - Флойд, Роберт В .; Бейгель, Ричард (1994). «Язык машин: введение в вычислимость и формальные языки». Нью-Йорк: Computer Science Press. Цитировать журнал требует
| журнал =
(помощь)
Примечания
- ^ Второе имя Флойда "Уиллоуби" было юридически изменено на "W", но было сочтено, что его второе имя было сокращено до "W." действительный (Кнут 2003 ) (Форма Министерства обороны США DD 48-1, личные документы, Архивный каталог Стэнфордского университета SC 625, вставка 4)
- ^ Архивы Стэнфордского университета, каталог SC 625, вставка 7
- ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 6 сентября, 2020.
- ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 6 сентября, 2020.
- ^ «Список членов по классам на 1 сентября 1997 г.». Записи Академии (Американская академия искусств и наук) (1996/1997): 56–128. 1996. JSTOR 3786119.
- ^ Флойд, Роберт В .; Бейгель, Ричард (1994). Язык машин: введение в вычислимость и формальные языки. Нью-Йорк: В. Х. Фриман и компания. ISBN 978-0-7167-8266-7.
- ^ "Дерево учеников Роберта Флойда для выставки компьютерной истории". Стэнфордская история компьютеров. Стэндфордский Университет.
- ^ Липтон, Ричард Дж. (28 августа 2010 г.). «Нижние границы и прогрессивные алгоритмы». Wordpress.
дальнейшее чтение
- Кнут, Дональд Э. (Декабрь 2003 г.). "Памяти Роберта Флойда". Новости ACM SIGACT. 34 (4): 3–13. Дои:10.1145/954092.954488. S2CID 35605565.
- Кнут, Дональд Э. «Мемориальная резолюция: Роберт У. Флойд (1936-2001)» (PDF). Мемориалы факультета Стэнфордского университета. Стэнфордское историческое общество. Архивировано из оригинал (PDF) 12 марта 2012 г.