Роберт Флойд
| Роберт Флойд | |
|---|---|
| англ. Robert W. Floyd | |
| Народився | 8 червня 1936 Нью-Йорк, США |
| Помер | 25 вересня 2001 (65 років) Стенфорд, США |
| Країна |  США |
| Діяльність | інформатик, інженер, викладач університету  |
| Alma mater | Чиказький університет |
| Галузь | інформатика, програмування |
| Заклад | Університет Карнегі-Меллон, Стенфордський університет, Іллінойський технологічний інститут |
| Відомі учні | Роберт Андре Тар'ян, Рональд Рівест, Зохар Манна[1] |
| Аспіранти, докторанти | Рональд Рівест[2] Jay Earleyd[2] Зохар Манна[2] Роберт Андре Тар'ян[2] David Plaistedd[2] Barry Hayesd[2] James Cornelius Kingd[2] Richard Beigeld[2] David Plaistedd[2] |
| Членство | Американська академія мистецтв і наук Association for Computing Machinery[3] |
| Відомий завдяки: | Алгоритм Флойда — Воршелла, Логіка Флойда-Гоара, Сортування двійковим деревом |
| У шлюбі з | Крістіане Флойд |
| Нагороди | Премія Тюрінга (1978) Нагорода «Піонер комп'ютерної галузі» (1991) |
Роберт (Боб) Флойд (англ. Robert W. (Bob) Floyd; 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики. Найбільш відомий своїми дослідженнями у галузях формальної верифікації та семантики мов програмування, за які він був нагороджений премією Тюрінга.
Біографія
Був надзвичайно обдарованою дитиною, закінчив шкільні навчання в 14 років та 1953 року здобув ступінь бакалавра в Чиказькому університеті коли йому було лише 17 років. У 1958 році здобув другу ступінь бакалавра в галузі фізики.[4]
Публікації
- 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.
- ↑ https://awards.acm.org/fellows/award-recipients
- ↑ Роберт Флойд, ACM A.M. Turing Award. (англ.)
Посилання
- Перелік публікацій на DBLP (англ.)
|
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |
|
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |
