Роберт (Боб) Флойд (англ. Robert W. (Bob) Floyd; 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики. Найбільш відомий своїми дослідженнями у галузях формальної верифікації та семантики мов програмування, за які він був нагороджений премією Тюрінга.
Роберт Флойд | |
---|---|
англ. Robert W. Floyd | |
Народився | 8 червня 1936 Нью-Йорк, США |
Помер | 25 вересня 2001 (65 років) Стенфорд, США |
Країна | |
Діяльність | інформатик, інженер, викладач університету |
Alma mater | Чиказький університет |
Галузь | інформатика, програмування |
Заклад | Університет Карнегі-Меллон, Стенфордський університет, Іллінойський технологічний інститут |
Відомі учні | Роберт Андре Тар'ян, Рональд Рівест, Зохар Манна |
Аспіранти, докторанти | Рональд Рівест[2] d[3] Зохар Манна[4] Роберт Андре Тар'ян[5] d[6] d[7] d[7] d[7] d[7] |
Членство | Американська академія мистецтв і наук Association for Computing Machinery[8] |
Відомий завдяки: | Алгоритм Флойда — Воршелла, Логіка Флойда-Гоара, Сортування двійковим деревом |
У шлюбі з | Крістіане Флойд |
Нагороди | Премія Тюрінга (1978) Нагорода «Піонер комп'ютерної галузі» (1991) |
Біографія
Був надзвичайно обдарованою дитиною, закінчив шкільні навчання в 14 років та 1953 року здобув ступінь бакалавра в Чиказькому університеті коли йому було лише 17 років. У 1958 році отримав другу ступінь бакалавра в галузі фізики.
Публікації
- 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-спеціаліста чи спеціалістку. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Robert Bob Flojd angl Robert W Bob Floyd 8 chervnya 1936 25 veresnya 2001 vidatnij amerikanskij naukovec v galuzi informatiki Najbilsh vidomij svoyimi doslidzhennyami u galuzyah formalnoyi verifikaciyi ta semantiki mov programuvannya za yaki vin buv nagorodzhenij premiyeyu Tyuringa Robert Flojdangl Robert W FloydNarodivsya8 chervnya 1936 1936 06 08 Nyu Jork SShAPomer25 veresnya 2001 2001 09 25 65 rokiv Stenford SShAKrayina SShADiyalnistinformatik inzhener vikladach universitetuAlma materChikazkij universitetGaluzinformatika programuvannyaZakladUniversitet Karnegi Mellon Stenfordskij universitet Illinojskij tehnologichnij institutVidomi uchniRobert Andre Tar yan Ronald Rivest Zohar MannaAspiranti doktorantiRonald Rivest 2 d 3 Zohar Manna 4 Robert Andre Tar yan 5 d 6 d 7 d 7 d 7 d 7 ChlenstvoAmerikanska akademiya mistectv i nauk Association for Computing Machinery 8 Vidomij zavdyaki Algoritm Flojda Vorshella Logika Flojda Goara Sortuvannya dvijkovim derevomU shlyubi zKristiane FlojdNagorodiPremiya Tyuringa 1978 Nagoroda Pioner komp yuternoyi galuzi 1991 U Vikipediyi ye statti pro inshih lyudej iz prizvishem Flojd BiografiyaBuv nadzvichajno obdarovanoyu ditinoyu zakinchiv shkilni navchannya v 14 rokiv ta 1953 roku zdobuv stupin bakalavra v Chikazkomu universiteti koli jomu bulo lishe 17 rokiv U 1958 roci otrimav drugu stupin bakalavra v galuzi fiziki PublikaciyiFloyd Robert W 1967 Assigning meanings to programs PDF Mathematical aspects of computer science 19 1 19 32 nedostupne posilannya z zhovtnya 2019 angl Floyd Robert W Dec 1964 Algorithm 245 Treesort Communications of the ACM ACM 7 12 701 doi 10 1145 355588 365103 angl Floyd Robert W Oct 1967 Nondeterministic algorithms Journal of the ACM ACM 14 4 636 644 doi 10 1145 321420 321422 angl Floyd Robert W June 1962 Algorithm 97 shortest path Communications of the ACM ACM 5 6 345 doi 10 1145 367766 368168 angl PrimitkiRobert Flojd matematichna genealogiya angl Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Matematichnij genealogichnij proyekt 1997 d Track Q829984 https awards acm org fellows award recipients Robert Flojd ACM A M Turing Award angl PosilannyaPerelik publikacij na DBLP angl Ce nezavershena stattya pro naukovcya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro IT specialista chi specialistku Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi