Роберт Флойд
Перейти до навігації
Перейти до пошуку
| Роберт Флойд | |
|---|---|
| англ. 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 |
| Відомий завдяки: |
Алгоритм Флойда — Воршелла, Логіка Флойда-Гоара, Сортування двійковим деревом |
| У шлюбі з | Крістіане Флойд |
| Нагороди |
Премія Тюрінга (1978) Нагорода «Піонер комп'ютерної галузі» (1991) |
Роберт (Боб) Флойд (англ. Robert W. (Bob) Floyd; 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики. Найбільш відомий своїми дослідженнями у галузях формальної верифікації та семантики мов програмування, за які він був нагороджений премією Тюрінга.
Біографія[ред. | ред. код]
Був надзвичайно обдарованою дитиною, закінчив шкільні навчання в 14 років та 1953 року здобув ступінь бакалавра в Чиказькому університеті коли йому було лише 17 років. У 1958 році отримав другу ступінь бакалавра в галузі фізики.[8]
Публікації[ред. | ред. код]
- 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.
- ↑ Роберт Флойд, ACM A.M. Turing Award. (англ.)
Посилання[ред. | ред. код]
- Перелік публікацій на DBLP (англ.)
|
Це незавершена стаття про науковця. Ви можете допомогти проєкту, виправивши або дописавши її. |
|
Це незавершена стаття про IT-спеціаліста чи спеціалістку. Ви можете допомогти проєкту, виправивши або дописавши її. |
