Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Американский учёный в области компьютерных наук (1936–2001)
American computer scientist (1936–2001)
Роберт Флойд (8 июня 1936 – 25 сентября 2001) был учёным в области компьютерных наук. Его вклад включает в себя разработку алгоритма Флойда — Уоршалла (независимо от Стивена Уоршалла), эффективно находящего все кратчайшие пути в графе, а также его работы в области синтаксического анализа. Алгоритм поиска циклов Флойда, предназначенный для обнаружения циклов в последовательности, также был разработан им. В одной отдельной статье он представил важную концепцию диффузии ошибок для рендеринга изображений, также известную как дитеринг Флойда — Штейнберга (хотя он проводил различие между дитерингом и диффузией). Он стал пионером в области верификации программ с использованием логических утверждений, представив в 1967 году работу «Присвоение значений программам». Это стало вкладом в то, что впоследствии получило название логики Хоара. Флойд был удостоен премии Тьюринга в 1978 году.
Robert W Floyd (June 8, 1936 – September 25, 2001) was a computer scientist. His contributions include the design of the Floyd–Warshall algorithm (independently of Stephen Warshall), which efficiently finds all shortest paths in a graph and his work on parsing; Floyd's cycle finding algorithm for detecting cycles in a sequence was attributed to him as well. In one isolated paper he introduced the important concept of error diffusion for rendering images, also called Floyd–Steinberg dithering (though he distinguished dithering from diffusion). He pioneered in the field of program verification using logical assertions with the 1967 paper Assigning Meanings to Programs. This was a contribution to what later became Hoare logic. Floyd received the Turing Award in 1978.
Жизнь
Родился в Нью-Йорке, Флойд окончил среднюю школу в 14 лет. В Чикагском университете он получил степень бакалавра искусств (B.A.) в 1953 году (когда ему было всего 17 лет) и вторую степень бакалавра по физике в 1958 году. Флойд был соседом по комнате Карла Сагана в колледже. Флойд стал сотрудником Исследовательского фонда брони (ныне Исследовательский институт IIT) при Технологическом институте Иллинойса в 1950-х годах. Став оператором компьютеров в начале 1960-х годов, он начал публиковать множество статей, в том числе о компиляторах (особенно о синтаксическом анализе). Он был пионером грамматик с приоритетом операторов и считается инициатором области семантики языков программирования. Он был назначен доцентом в Университете Карнеги-Меллона к 27 годам и стал профессором Стэнфордского университета шесть лет спустя. Он получил эту должность без степени доктора философии (Ph.D.). Он был членом Международной федерации по обработке информации (IFIP) Рабочей группы 2.1 по алгоритмическим языкам и вычислениям, которая определяла, поддерживала и развивала языки программирования ALGOL 60 и ALGOL 68. В 1974 году он был избран членом Американской академии искусств и наук. Он получил премию Тьюринга в 1978 году "за значительное влияние на методологии создания эффективного и надежного программного обеспечения и за содействие в создании следующих важных областей компьютерных наук: теория синтаксического анализа, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ и анализ алгоритмов". Флойд тесно сотрудничал с Дональдом Кнутом, в частности, являясь основным рецензентом основополагающей книги Кнута "Искусство программирования", и является наиболее цитируемым автором в этой работе. Он был соавтором, вместе с Ричардом Бейгелем, учебника "Язык машин: введение в вычислимость и формальные языки". Флойд руководил семью диссертациями на степень Ph.D. Флойд дважды женился и развелся, сначала с Жаной М. Мейсон, а затем с компьютерным ученым Кристиане Флойд, у него было четверо детей. В последние годы жизни он страдал от болезни Пика, нейродегенеративного заболевания, и поэтому вышел на пенсию в 1994 году.
Born in New York City, Floyd finished high school at age 14. At the University of Chicago, he received a Bachelor of Arts (B. A.) in liberal arts in 1953 (when still only 17) and a second bachelor's degree in physics in 1958. Floyd was a college roommate of Carl Sagan. Floyd became a staff member of the Armour Research Foundation (now IIT Research Institute) at Illinois Institute of Technology in the 1950s. Becoming a computer operator in the early 1960s, he began publishing many papers, including on compilers (particularly parsing). He was a pioneer of operator precedence grammars, and is credited with initiating the field of programming language semantics in He was appointed an associate professor at Carnegie Mellon University by the time he was 27 and became a full professor at Stanford University six years later. He obtained this position without a Doctor of Philosophy (Ph. D.) degree. He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68. He was elected a Fellow of the American Academy of Arts and Sciences in 1974. He received the Turing Award in 1978 "for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms". Floyd worked closely with Donald Knuth, in particular as the major reviewer for Knuth's seminal book The Art of Computer Programming, and is the person most cited in that work. He was co author, with Richard Beigel, of the textbook The Language of Machines: an Introduction to Computability and Formal Languages. Floyd supervised seven Ph. D. graduates. Floyd married and divorced twice, first with Jana M. Mason and then computer scientist Christiane Floyd, and he had four children. In his last years he suffered from Pick's disease, a neurodegenerative disease, and thus retired early in 1994.