로버트 플로이드

로버트 워싱턴 플로이드(Robert W. Floyd, 1936년 6월 8일 – 2001년 9월 25일)는 미국의 컴퓨터 과학자이다. 프로그램 검증 이론, 프로그래밍 언어 의미론, 자동 정리 증명, 최적화, 파싱 등 다양한 분야에 기여했다.

플로이드는 뉴욕에서 태어나 14세에 시카고 대학교에 입학하여 1953년에 자유학예 학사 학위를, 1956년에 물리학 학사 학위를 받았다. 1961년에는 Carnegie Mellon University에서 수학 박사 학위를 받았다.

초기에는 컴퓨터 운영자로 일하면서 프로그래밍에 대한 경험을 쌓았고, 나중에 컴퓨터 과학 분야에 본격적으로 뛰어들었다. 1968년 튜링상을 수상했는데, "컴파일러 이론, 프로그래밍 언어 의미론, 자동 프로그램 검증, 자동 정리 증명 분야에 대한 그의 영향력"을 인정받은 결과였다.

플로이드는 알고리즘 설계 및 분석 분야에서 특히 유명하다. 최단 경로를 찾는 플로이드-워셜 알고리즘(Floyd-Warshall algorithm)은 그의 대표적인 업적 중 하나이다. 또한 힙 정렬(heapsort) 알고리즘을 개발하기도 했다.

그는 스탠퍼드 대학교에서 오랫동안 교수로 재직하면서 많은 컴퓨터 과학자를 양성했으며, 컴퓨터 과학 교육에도 큰 영향을 미쳤다. 그의 연구는 현대 컴퓨터 과학의 기초를 다지는 데 중요한 역할을 했다.