Роберт У Флойд: біографія

Біографія

Роберт закінчив школу у віці 14 років, перестрибнувши три класи. Три роки потому, в 1953 році, він отримав титул бакалавра вільних наук у чиказькому університеті, а в 1958 - бакалавра з фізики. У віці 27 років Флойд став ад'юнкт-професором при університеті Карнегі - Меллон, а ще шість років тому - професором в Стенфорді. Примітно, що на відміну від більшості колег, Флойд не мав титулу доктора філософії. Двічі одружений, двічі розлучений, мав четверо дітей. Другою дружиною Флойда була австрійська вчений в галузі комп'ютерних наук Крістіане Флойд, яка була одружена з Пітером Науру.

До знаменитим досягненням Флойда відносяться ефективний алгоритм пошуку найкоротшого шляху в орієнтованих графах (Алгоритм Флойда - Уоршелла) і алгоритм розмивання ( Алгоритм Флойда - Стейнберга). Крім того, Флойд працював над проблемою формальної верифікації програм, зробивши тим самим великий внесок у логіку Хоара, яку іноді називають логікою Флойда-Хоара.

У Стенфорді, Флойд тісно працював з Дональдом Кнутом, у тому числі в якості головного редактора серії його знаменитих книг «Мистецтво програмування», які стали фундаментальним джерелом інформації про розробку алгоритмів. Разом вони підтримали студентську акцію протесту 1 травня 1970, спрямовану проти рішення Ніксона про введення американських військ в Камбоджу. Метою акції було перешкоду роботи співробітників університету, однак Батіг і Флойд провели весь день, дискутуючи про алгоритми сортування. Флойд активно брав участь у роботі зі звільнення чилійського вченого Фернандо Флореса з в'язниці.

Роберт Флойд пішов на пенсію в 1994 році і помер у клініці стенфордського університету у віці 65 років після довгої хвороби в 2001 році.

Нагороди

• 1978 - Премія Тюрінга «за його безсумнівний вплив на методологію створення ефективного та надійного програмного забезпечення та за його допомогу в становленні таких областей комп'ютерних наук як теорія парсинга, семантика мов програмування, автоматична верифікація програм, автоматичний синтез програм, та аналіз алгоритмів »
• 1991 - Премія піонера обчислювальної техніки (англ.Computer Pioneer Award) від IEEE

Комментарии

Сайт: Википедия