메인 과학

Robert W Floyd 미국 컴퓨터 과학자

Robert W Floyd 미국 컴퓨터 과학자
Robert W Floyd 미국 컴퓨터 과학자

비디오: 양자컴퓨터 한방정리!! (안될과학-긴급과학) 2024, 칠월

비디오: 양자컴퓨터 한방정리!! (안될과학-긴급과학) 2024, 칠월
Anonim

Robert W Floyd (1936 년 6 월 8 일, 미국 뉴욕, 뉴욕, 2001 년 9 월 25 일 사망), 미국 컴퓨터 과학자이자 컴퓨터 과학 분야의 최고 명예 인 1978 AM Turing Award 수상 컴퓨터 과학의 다음과 같은 중요한 하위 분야: 파싱 이론, 프로그래밍 언어의 의미론, 자동 프로그램 검증, 자동 프로그램 합성 및 알고리즘 분석.”

플로이드는 1953 년 시카고 대학교에서 인문학 학사 학위를 받았으며, 영재 아동을위한 실험 프로그램의 일환으로 등록했습니다. 졸업 후 그는 일리노이 공과 대학의 갑옷 연구 재단에서 컴퓨터 운영자로 근무한 후 컴퓨터 프로그래머로 근무했습니다. 그는 1958 년 시카고 대학에서 물리학으로 물리학 학사 학위를 취득 할 시간을 얻었습니다. 1962 년 플로이드는 매사추세츠 주 웨이크 필드로 이주하여 서면 전문 소프트웨어 회사 인 Computer Associates의 선임 프로젝트 과학자로 일했습니다. 컴파일러.

Floyd는 1965 년 Carnegie Institute of Technology (현재 Carnegie Mellon University)의 컴퓨터 과학 교수직에 합류했습니다. 컴퓨터 과학은 새로운 학문 분야였으며 Floyd는 학교 교과 과정 개발에 중요한 역할을했습니다. 1968 년에 플로이드는 스탠포드 대학의 컴퓨터 과학 부서로 옮겨 1970 년에 정교수가되었습니다. 1994 년 스탠포드에서 퇴직 한 직후 플로이드는 드문 형태의 조기 치매로 픽병 진단을 받았습니다.

플로이드는 미국 예술 과학 아카데미, 미국 과학 발전 협회 및 컴퓨터 기계 협회 (ACM)로 선출되었습니다. 그는 수년간 ACM 커뮤니케이션 편집국에서 일했으며 1992 년 IEEE 컴퓨터 개척자 상을 수상했습니다. 미국 컴퓨터 과학자 Richard Beigel과 함께 Floyd는 고전적인 The Language of Machines: An Introduction to Computability and Formal Languages ​​(1994)를 썼습니다.).