Основен наука

Робърт У Флойд американски компютърен учен

Робърт У Флойд американски компютърен учен
Робърт У Флойд американски компютърен учен

Видео: Батыгин - русская звезда мировой науки (English subs) 2024, Юли

Видео: Батыгин - русская звезда мировой науки (English subs) 2024, Юли
Anonim

Робърт У Флойд (роден на 8 юни 1936 г., Ню Йорк, Ню Йорк, САЩ - умрял на 25 септември 2001 г.), американски компютърен учен и носител на наградата „Тюринг от 1978 г.“, най-високата чест в компютърните науки от 1978 г., за „подпомагане на създаването следните важни подполета на компютърните науки: теория на анализа, семантика на програмните езици, автоматична проверка на програмата, автоматичен синтез на програма и анализ на алгоритми. “

През 1953 г. Флойд получава бакалавърска степен по свободни изкуства от Чикагския университет, където се записва като част от експериментална програма за надарени деца. След завършването си той е нает в Фондацията за проучване на бронята на Илинойския технологичен институт, първо като компютърен оператор, а след това и като компютърен програмист. Той намери време да спечели втора степен бакалавър по физика от Чикагския университет през 1958 г. През 1962 г. Флойд се премества в Уейкфийлд, Масачузетс, за да работи като старши учен по проекта за Computer Associates, ранна софтуерна фирма, специализирана в писането компилатори.

Флойд постъпва във факултета по компютърни науки на Карнегиския технологичен институт (сега Университета в Карнеги Мелън) през 1965 г. Компютърните науки са нова академична дисциплина и Флойд играе важна роля в разработването на учебната програма на училището. През 1968 г. Флойд преминава в катедрата по компютърни науки в Станфордския университет, където става щатен професор през 1970 г. Малко след пенсионирането си от Станфорд през 1994 г. Флойд е диагностициран с болест на Пик, рядка форма на преждевременна деменция.

Флойд е избран в Американската академия на изкуствата и науките, Американската асоциация за напредък на науката и Асоциацията за изчислителни машини (ACM). Той служи в редакцията на съобщенията на ACM в продължение на много години и получи наградата IEEE Computer Pioneer през 1992 г. С американския компютърен учен Ричард Бейгел Флойд написа класиката „Езикът на машините: въведение в изчислимостта и официалните езици“ (1994 г.)).