Роберт (Боб) Флойд (; 8 червня 1936 — 25 вересня 2001) — видатний американський науковець в галузі інформатики. Найбільш відомий своїми дослідженнями у галузях формальної верифікації та семантики мов програмування, за які він був нагороджений премією Тюрінга.
Біографія Був надзвичайно обдарованою дитиною, закінчив шкільні навчання в 14 років та 1953 року здобув ступінь бакалавра в Чиказькому університеті коли йому було лише 17 років. У 1958 році здобув другу ступінь бакалавра в галузі фізики.Роберт Флойд, ACM A.M. Turing Award.
Публікації
Примітки
Посилання Перелік публікацій на DBLP