로
소개
로버트 플로이드(Robert W Floyd, 1936년 6월 8일 – 2001년 9월 25일)는 1978년에 튜링상을 수상한 저명한 컴퓨터과학자이다.
Robert W. Floyd was an American computer scientist. His contributions include the design of the Floyd–Warshall algorithm, 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. 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.