Nhà khoa học máy tính người Mỹ Robert W Floyd

Robert W Floyd, (sinh ngày 8 tháng 6 năm 1936, New York, NY, Hoa Kỳ đã mất ngày 25 tháng 9 năm 2001), nhà khoa học máy tính người Mỹ và là người giành giải thưởng AM Turing 1978, vinh dự cao nhất về khoa học máy tính, vì đã giúp tìm ra Các lĩnh vực quan trọng sau đây của khoa học máy tính: lý thuyết phân tích cú pháp, ngữ nghĩa của ngôn ngữ lập trình, xác minh chương trình tự động, tổng hợp chương trình tự động và phân tích thuật toán.

Năm 1953, Floyd có bằng cử nhân nghệ thuật tự do tại Đại học Chicago, nơi ông đã đăng ký tham gia một chương trình thử nghiệm cho trẻ em có năng khiếu. Khi tốt nghiệp, anh được tuyển dụng bởi Armor Research Foundation của Học viện Công nghệ Illinois, đầu tiên là một nhà điều hành máy tính và sau đó là một lập trình viên máy tính. Ông đã dành thời gian để lấy bằng cử nhân thứ hai, ngành vật lý, từ Đại học Chicago năm 1958. Năm 1962, Floyd chuyển đến Wakefield, Mass., Để làm nhà khoa học dự án cao cấp cho Computer Associates, một công ty phần mềm đầu tiên chuyên viết lách trình biên dịch.

Floyd gia nhập khoa khoa học máy tính của Viện Công nghệ Carnegie (nay là Đại học Carnegie Mellon) vào năm 1965. Khoa học máy tính là một ngành học thuật mới, và Floyd là công cụ phát triển chương trình giảng dạy của trường. Năm 1968 Floyd chuyển sang khoa khoa học máy tính tại Đại học Stanford, nơi ông trở thành giáo sư chính thức vào năm 1970. Ngay sau khi nghỉ hưu tại Stanford năm 1994, Floyd được chẩn đoán mắc bệnh Pick, một dạng mất trí nhớ sớm hiếm gặp.

Floyd được bầu vào Viện Hàn lâm Khoa học và Nghệ thuật Hoa Kỳ, Hiệp hội vì sự tiến bộ của khoa học Hoa Kỳ và Hiệp hội máy móc điện toán (ACM). Ông đã phục vụ trong ban biên tập của Truyền thông ACM trong nhiều năm và nhận được Giải thưởng Máy tính Tiên phong của IEEE vào năm 1992. Với nhà khoa học máy tính người Mỹ Richard Beigel, Floyd đã viết tác phẩm kinh điển Ngôn ngữ của máy móc: Giới thiệu về tính toán và ngôn ngữ chính thức (1994).