Роберт Флойд
Перейти до навігації
Перейти до пошуку
Роберт Флойд | |
---|---|
англ. Robert W. Floyd | |
Народився | 8 червня 1936 Нью-Йорк, США |
Помер | 25 вересня 2001 (65 років) Стенфорд, США |
Країна | ![]() |
Діяльність | інформатик, інженер, викладач університету |
Alma mater | Чиказький університет |
Галузь | інформатика, програмування |
Заклад | Університет Карнегі-Меллон, Стенфордський університет, Іллінойський технологічний інститут |
Відомі учні | Роберт Андре Тар'ян, Рональд Рівест, Зохар Манна[1] |
Аспіранти, докторанти | Рональд Рівест[2] Jay Earleyd[3] Зохар Манна[4] Роберт Андре Тар'ян[5] David Plaistedd[6] Barry Hayesd[7] James Cornelius Kingd[7] Richard Beigeld[7] David Plaistedd[7] |
Членство | Американська академія мистецтв і наук Association for Computing Machinery[8] |
Відомий завдяки: | Алгоритм Флойда — Воршелла, Логіка Флойда-Гоара, Сортування двійковим деревом |
У шлюбі з | Крістіане Флойд |
Нагороди | Премія Тюрінга (1978) Нагорода «Піонер комп'ютерної галузі» (1991) |
Роберт (Боб) Флойд (англ. Robert W. (Bob) Floyd; 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики. Найбільш відомий своїми дослідженнями у галузях формальної верифікації та семантики мов програмування, за які він був нагороджений премією Тюрінга.
Був надзвичайно обдарованою дитиною, закінчив шкільні навчання в 14 років та 1953 року здобув ступінь бакалавра в Чиказькому університеті коли йому було лише 17 років. У 1958 році здобув другу ступінь бакалавра в галузі фізики.[9]
- Floyd, Robert W (1967). Assigning meanings to programs (PDF). Mathematical aspects of computer science. 19 (1): 19—32.[недоступне посилання з жовтня 2019] (англ.)
- Floyd, Robert W (Dec. 1964). Algorithm 245: Treesort. Communications of the ACM. ACM. 7 (12): 701. doi:10.1145/355588.365103. (англ.)
- Floyd, Robert W (Oct 1967). Nondeterministic algorithms. Journal of the ACM. ACM. 14 (4): 636--644. doi:10.1145/321420.321422. (англ.)
- Floyd, Robert W (June 1962). Algorithm 97: shortest path. Communications of the ACM. ACM. 5 (6): 345. doi:10.1145/367766.368168. (англ.)
- ↑ Роберт Флойд, математична генеалогія.(англ.)
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ а б в г Математичний генеалогічний проєкт — 1997.
- ↑ https://awards.acm.org/fellows/award-recipients
- ↑ Роберт Флойд, ACM A.M. Turing Award. (англ.)
- Перелік публікацій на DBLP (англ.)
![]() |
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |
![]() |
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |