Роберт В. Флойд
Роберт В. Флойд | |
|---|---|
 | |
| Рожденный | 8 июня 1936 г. |
| Умер | 25 сентября 2001 г. (65 лет) Стэнфорд , Калифорния , США |
| Образование | Чикагский университет ( бакалавр , 1953, 1958) |
| Известный | Алгоритм Флойда – Уоршалла Дизеринг Флойда – Стейнберга Алгоритм поиска цикла Флойда Треугольник Флойда АЛГОЛ |
| Супруг (а) | Яна М. Мейсон; Кристиана Флойд ( урожденная Ридл ) |
| Дети | 4 |
| Награды | Премия Тьюринга (1978) Премия компьютерного пионера (1991) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Иллинойский технологический институт Университет Карнеги-Меллон Стэнфордский университет |
| Докторанты | |
Роберт В. Флойд [ 1 ] (8 июня 1936 — 25 сентября 2001) — учёный-компьютерщик . Его вклад включает разработку алгоритма Флойда-Уоршалла (независимо от Стивена Уоршалла ), который эффективно находит все кратчайшие пути в графе , и его работу по синтаксическому анализу ; алгоритм поиска циклов Флойда для обнаружения циклов Ему также приписали в последовательности. В одной отдельной статье он представил важную концепцию диффузии ошибок при рендеринге изображений, также называемую сглаживанием Флойда-Стейнберга (хотя он отличал сглаживание от диффузии). Он был пионером в области проверки программ с использованием логических утверждений , опубликовав в 1967 году статью «Присвоение значений программам» . Это был вклад в то, что позже стало логикой Хоара . Флойд получил премию Тьюринга в 1978 году.
Жизнь
[ редактировать ]Флойд родился в Нью-Йорке и окончил среднюю школу в 14 лет. В Чикагском университете он получил степень бакалавра гуманитарных наук (BA) в области гуманитарных наук в 1953 году (когда ему было всего 17 лет) и вторую степень бакалавра по физике в 1958 году. Флойд был соседом Карла Сагана по комнате в колледже . [ 2 ]
Флойд стал сотрудником Фонда исследований брони (ныне Исследовательский институт ИИТ ) при Технологическом институте Иллинойса в 1950-х годах. Став оператором компьютера в начале 1960-х годов, он начал публиковать множество статей, в том числе по компиляторам (особенно синтаксическому анализу ). Он был пионером в области грамматик с приоритетом операторов , и ему приписывают начало области семантики языков программирования у Флойда (1967) . К 27 годам он был назначен доцентом Университета Карнеги-Меллон , а шесть лет спустя стал профессором Стэнфордского университета . Он получил эту должность, не имея степени доктора философии (Ph.D.).
Он был членом Международной федерации обработки информации (IFIP) Рабочей группы 2.1 по алгоритмическим языкам и исчислениям. [ 3 ] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [ 4 ]
В 1974 году он был избран членом Американской академии искусств и наук . [ 5 ]
Он получил премию Тьюринга в 1978 году «за явное влияние на методологии создания эффективного и надежного программного обеспечения, а также за помощь в создании следующих важных разделов информатики: теория синтаксического анализа, семантика языков программирования , автоматическое программирование». верификация , автоматический синтез программ и анализ алгоритмов ». [ 6 ]
Флойд тесно сотрудничал с Дональдом Кнутом , в частности, в качестве главного рецензента основополагающей книги Кнута «Искусство компьютерного программирования» , и является человеком, наиболее цитируемым в этой работе. Вместе с Ричардом Бейгелем он был соавтором учебника «Язык машин: введение в вычислимость и формальные языки» . [ 7 ] Флойд руководил семью докторами философии. выпускники. [ 8 ]
Флойд женился и развелся дважды, сначала с Яной М. Мейсон, а затем с ученым-компьютерщиком Кристианой Флойд , и у него было четверо детей. В последние годы своей жизни он страдал от болезни Пика , нейродегенеративного заболевания , и поэтому вышел на пенсию в начале 1994 года. [ 6 ]
В число его хобби входили пешие походы, и он был заядлым игроком в нарды :
Однажды мы застряли в аэропорту Чикаго О'Хара на несколько часов, ожидая вылета нашего рейса из-за снежной бури. Когда мы сидели у наших ворот, Боб небрежно спросил меня: «Ты умеешь играть в нарды?» Я ответил, что знаю правила, но зачем ему это знать? Боб сказал, что, поскольку нам осталось ждать несколько часов, возможно, нам стоит сыграть несколько игр, конечно, по небольшим ставкам. Затем он полез в портфель и достал набор для игры в нарды.
Мой папа научил меня многому. Нужно было опасаться любого, кто предлагает сыграть в бильярд на деньги, а затем открывает черный футляр и начинает собирать клюшку для игры в бильярд. Я полагал, что этот совет распространяется на всех, кто путешествовал со своим собственным набором для игры в нарды. Я сказал Бобу, что ни в коем случае не буду играть на деньги. Он немного надавил, но в конце концов сказал: «Хорошо». Вместо этого он дал мне бесплатный урок искусства и науки игры в нарды.
Я был прав, отказавшись играть с ним на деньги – при любых ставках. Урок был веселым. Позже я узнал, что он много лет работал над изучением игры. Он очень серьезно относился к игре в нарды, изучал игру и ее математику и был почти профессионалом. Я думаю, это было больше, чем хобби. Как и его исследование, Боб серьезно относился к тому, что делал, и совершенно очевидно, что он будет потрясающим игроком в нарды.
Избранные публикации
[ редактировать ]- Флойд, Роберт В. (1967). «Придание значения программам» (PDF) . В Шварце, Дж. Т. (ред.). Математические аспекты информатики . Материалы симпозиума по прикладной математике. Том. 19. Американское математическое общество. стр. 19–32. ISBN 0821867288 .
- Флойд, Роберт В.; Кнут, Дональд Эрвин (1970). Задача сортировки Бозе-Нельсона . Стэнфорд, Калифорния : Факультет компьютерных наук Стэнфордского университета.
- Флойд, Роберт В.; Смит, Алан Дж. (1972). Линейное время, когда две ленты сливаются . Стэнфорд, Калифорния : Факультет компьютерных наук Стэнфордского университета. OCLC 71469179 .
- Флойд, RW (1979). «Парадигмы программирования» . Коммуникации АКМ . 22 (8): 455. дои : 10.1145/359138.359140 .
- Флойд, Роберт В.; Уллман, Джеффри Д. (1980). «Компиляция регулярных выражений в интегральные схемы». Технический отчет NASA Sti/Recon N. 81 . Округ Фэрфакс, Вирджиния : Ft. Бельвуар: Центр технической информации Министерства обороны: 12334. Бибкод : 1980STIN...8112334F .
- Флойд, Роберт В.; Бейгель, Ричард (1994). Язык машин: введение в вычислимость и формальные языки . Нью-Йорк: WH Freeman & Company. ISBN 978-0-7167-8266-7 .
Примечания
[ редактировать ]- ↑ Второе имя Флойда «Уиллоби» было официально изменено на «W», но считалось, что он сокращает его до «W». действителен ( Кнут, 2003 г. ) (форма Министерства обороны США DD 48-1, личные документы, каталог архива Стэнфордского университета SC 625, ящик 4)
- ^ Архив Стэнфордского университета, каталог SC 625, коробка 7.
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Архивировано из оригинала 8 марта 2021 года . Проверено 6 сентября 2020 г.
- ^ Свирстра, Доайтсе; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Архивировано из оригинала 2 сентября 2018 года . Проверено 6 сентября 2020 г.
- ^ «Список участников по классам на 1 сентября 1997 г.». Отчеты Академии (Американской академии искусств и наук) (1996/1997): 56–128. 1996. JSTOR 3786119 .
- ^ Перейти обратно: а б «Роберт В. Флойд» . Лауреат премии А. М. Тьюринга . 8 июня 1936 года . Проверено 14 февраля 2024 г.
- ^ Флойд, Роберт В.; Бейгель, Ричард (1994). Язык машин: введение в вычислимость и формальные языки . Нью-Йорк: WH Freeman and Company. ISBN 978-0-7167-8266-7 .
- ^ «Дерево учеников Роберта Флойда для выставки по истории компьютеров» . Стэнфордская история компьютеров . Стэнфордский университет.
- ^ Липтон, Ричард Дж. (28 августа 2010 г.). «Нижние границы и прогрессивные алгоритмы» . Вордпресс .
Дальнейшее чтение
[ редактировать ]- Кнут, Дональд Э. (декабрь 2003 г.). «Памяти Роберта Флойда» . Новости ACM SIGACT . 34 (4): 3–13. дои : 10.1145/954092.954488 . S2CID 35605565 .
- Кнут, Дональд Э. «Мемориальная резолюция: Роберт В. Флойд (1936–2001)» (PDF) . Мемориалы факультетов Стэнфордского университета . Стэнфордское историческое общество. Архивировано из оригинала (PDF) 12 марта 2012 г.
Внешние ссылки
[ редактировать ]
- Некролог в Стэнфордском отчете , 2003 г. (архив 2016 г.)
- Роберт Флойд в проекте «Математическая генеалогия»
Алгол -программирование |
|---|
