로버트 W.플로이드

Robert W.
Robert Floyd라는 이름의 다른 사람에 대해서는 Robert Floyd(동음이의 설명)를 참조하십시오.
로버트 W 플로이드
Robert W. Floyd.jpg
태어난(102-06-08)1936년 6월 8일
뉴욕, 뉴욕, 미국
죽은2001년 9월 25일(2001-09-25) (65세)
스탠포드, 캘리포니아, 미국
시민권미국
교육시카고 대학교 (B.A., 1953, 1958년)
로 알려져 있다플로이드-워셜 알고리즘
Floyd-Steinberg 디더링
플로이드의 주기 탐색 알고리즘
플로이드 삼각형
인식하다
배우자Jana M. Mason; Christiane Floyd (성명 Riedl)
아이들.4
어워드튜링상(1978년)
컴퓨터 개척자상(1991년)
과학 경력
필드컴퓨터 공학
기관일리노이 공과대학
카네기 멜론 대학교
스탠퍼드 대학교
박사과정 학생

Robert W[1] Floyd(1936년 6월 8일 ~ 2001년 9월 25일)는 컴퓨터 과학자였습니다.그의 업적은 그래프에서 모든 최단 경로를 효율적으로 찾는 플로이드-워셜 알고리즘(Stephen Warshall과는 별개로), 시퀀스의 사이클을 검출하는 플로이드의 사이클 검색 알고리즘, 파싱에 대한 그의 연구를 포함한다.한 고립된 논문에서 그는 플로이드-스테인버그 디더링이라고도 불리는 이미지 렌더링을 위한 오차 확산의 중요한 개념을 소개했습니다(그는 디더링을 확산과 구별했다.그는 1967년 '프로그램에 의미 부여' 논문으로 논리적 주장을 이용한 프로그램 검증 분야를 개척했다.이것은 후에 Hoare 논리가 된 것에 대한 기여였다.플로이드는 1978년에 튜링상을 받았다.

인생

뉴욕에서 태어난 플로이드는 14살에 고등학교를 마쳤다.시카고 대학에서 그는 1953년에 교양학 학사(B.A.)를 받았고 1958년에 물리학 학사 학위를 받았습니다.플로이드는 칼 세이건의 [2]대학 룸메이트였다.

Floyd는 1950년대에 일리노이 공과대학의 Armour Research Foundation(현재의 IIT Research Institute)의 직원이 되었습니다.1960년대 초에 컴퓨터 오퍼레이터가 된 그는 컴파일러(특히 파싱)를 포함한 많은 논문을 발표하기 시작했다.그는 연산자 우선 문법의 선구자였으며 플로이드(1967년)에서 프로그래밍 언어 의미론 분야를 시작한 것으로 알려져 있다.그는 27세에 카네기 멜론 대학의 부교수로 임명되었고 6년 후 스탠포드 대학의 정교수가 되었다.그는 철학 박사 학위 없이 이 자리를 얻었다.

그는 국제정보처리연맹(IFIP) 알고리즘 언어 및 계산 관련 [3]IFIP 워킹 그룹 2.1의 멤버로 프로그래밍 언어 ALGOL 60 및 ALGOL [4]68을 지정, 유지 및 지원했습니다.

그는 1974년에 [5]미국 예술 과학 아카데미의 펠로우로 선출되었다.

그는 1978년에 "효율적이고 신뢰할 수 있는 소프트웨어를 만들기 위한 방법론에 분명한 영향을 미쳤고, 컴퓨터 과학의 다음과 같은 중요한 하위 분야를 발견하는데 도움을 준 공로로 튜링 상을 받았다: 파싱 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그램 합성, 그리고 분석알고리즘의 자매"입니다.

Floyd는 Donald Knuth, 특히 Knuth의 정석인 The Art of Computer Programming의 주요 리뷰어로서 긴밀하게 작업했으며, 이 작업에서 가장 많이 인용된 인물이다.그는 리처드 베이겔과 함께 "기계 언어: 계산 가능성과 형식 언어 [6]입문" 교과서를 공동 집필했습니다.플로이드는 7명의 박사 [7]졸업생을 감독했다.

플로이드는 결혼과 이혼을 두 번 했는데, 첫 번째는 제나 M이었다.메이슨과 컴퓨터 과학자인 크리스티아네 플로이드는 4명의 자녀를 두었습니다.말년에 그는 신경퇴행성 질환인 픽병을 앓았고,[citation needed] 그래서 1994년에 조기 은퇴했다.

그의 취미에는 하이킹도 포함되었고, 그는 열렬한 백개먼 플레이어였습니다.

한때 눈보라 때문에 시카고 오헤어 공항에 몇 시간이나 발이 묶인 적도 있었습니다.우리가 문 앞에 앉아 있을 때, 밥은 아무렇지 않게 나에게 물었다. "백개먼을 칠 줄 아세요?"나는 규칙을 안다고 대답했지만, 그는 왜 알고 싶어 했을까요?밥은 우리가 몇 시간 동안 기다려야 하니까, 물론 작은 판돈을 위해 게임을 몇 개 해야 한다고 말했다.그리고 나서 그는 서류 가방에 손을 넣어 백개먼 세트를 꺼냈다.

아버지는 나에게 많은 것을 가르쳐 주셨다.하나는 돈을 받고 당구 게임을 하자고 제안하고 나서 검은 케이스를 열고 당구 스틱을 비틀기 시작하는 사람을 경계하는 것이었다.나는 이 조언이 자신의 백개먼 세트를 가지고 여행하는 사람들에게 일반적이라고 생각했다.밥에게 돈 때문에 경기하는 게 아니라고 했어요. 절대 안 돼요.그는 조금 밀었지만, 마침내 괜찮다고 말했다.그는 대신 백개먼을 연주하는 예술과 과학을 무료로 가르쳐 주었다.

내가 돈 때문에 그를 연기하는 것을 포기한 것은 옳았다. 무슨 일이 있어도.수업은 재미있었다.나는 나중에 그가 몇 년 동안 게임을 배우려고 노력했다는 것을 알았다.그는 백개먼 게임을 매우 진지하게 받아들였고, 게임과 그것의 수학을 공부했으며, 프로에 가까운 사람이었다.취미 이상이었던 것 같아요.그의 연구와 마찬가지로, 밥은 그가 한 일을 진지하게 받아들였고, 그가 백개먼을 아주 잘 할 것이라는 것은 완전히 일치한다.

--

선택한 출판물

  • Floyd, Robert W. (1967). "Assigning Meanings to Programs" (PDF). In Schwartz, J.T. (ed.). Mathematical Aspects of Computer Science. Proceedings of Symposium on Applied Mathematics. Vol. 19. American Mathematical Society. pp. 19–32. ISBN 0821867288.
  • Floyd, Robert W.; Knuth, Donald Ervin (1970). The Bose-Nelson sorting problem. Stanford, California: Computer Science Department, Stanford University.
  • Floyd, Robert W.; Smith, Alan J. (1972). "A linear time two tape merge". Stanford, California: Computer Science Department, Stanford University. {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)
  • Floyd, R. W. (1979). "The paradigms of programming". Communications of the ACM. 22 (8): 455. doi:10.1145/359138.359140.
  • Floyd, Robert W.; Ullman, Jeffrey D. (1980). "The Compilation of Regular Expressions into Integrated Circuits". NASA Sti/Recon Technical Report N. Fairfax County, Virginia: Ft. Belvoir: Defense Technical Information Center. 81: 12334. Bibcode:1980STIN...8112334F.
  • Floyd, Robert W.; Beigel, Richard (1994). "The language of machines: an introduction to computability and formal languages". New York City: Computer Science Press. {{cite journal}}:Cite 저널 요구 사항 journal=(도움말)

메모들

  1. ^ Floyd는 자신의 중간 이름인 "Willoby"를 "W"로 법적으로 변경했지만 "W"로 줄인 것으로 간주했습니다. (Knuth 2003) (DOD 형식 DD 48-1, 개인 문서, 스탠포드 대학 아카이브 카탈로그 SC 625 box 4)
  2. ^ Stanford University Archives, Catalog SC 625, 박스 7
  3. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (August 17, 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved September 6, 2020.
  4. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (March 2, 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved September 6, 2020.
  5. ^ "List of Members by Classes September 1, 1997". Records of the Academy (American Academy of Arts and Sciences) (1996/1997): 56–128. 1996. JSTOR 3786119.
  6. ^ Floyd, Robert W.; Beigel, Richard (1994). The Language of Machines: an Introduction to Computability and Formal Languages. New York City: W. H. Freeman and Company. ISBN 978-0-7167-8266-7.
  7. ^ "Tree of Robert Floyd's students for the Computer History Exhibits". Stanford Computer History. Stanford University.
  8. ^ Lipton, Richard J. (August 28, 2010). "Lower Bounds and Progressive Algorithms". Wordpress.

추가 정보

외부 링크

위키 인용문에는 로버트 플로이드에 관한 인용문이 있습니다.