Główny nauka

Robert W Floyd Amerykański informatyk

Robert W Floyd Amerykański informatyk
Robert W Floyd Amerykański informatyk

Wideo: Will Barber - « Another Brick In the Wall » (Pink Floyd) - The Voice 2017 - Blind Audition 2024, Lipiec

Wideo: Will Barber - « Another Brick In the Wall » (Pink Floyd) - The Voice 2017 - Blind Audition 2024, Lipiec
Anonim

Robert W Floyd (ur. 8 czerwca 1936 r., Nowy Jork, NY, USA - zm. 25 września 2001 r.), Amerykański informatyk i zdobywca nagrody Turinga 1978 AM, najwyższego zaszczytu w dziedzinie informatyki, za „pomoc w założeniu następujące ważne dziedziny informatyki: teoria parsowania, semantyka języków programowania, automatyczna weryfikacja programu, automatyczna synteza programu i analiza algorytmów. ”

W 1953 roku Floyd uzyskał tytuł licencjata sztuk wyzwolonych na University of Chicago, gdzie zapisał się w ramach eksperymentalnego programu dla uzdolnionych dzieci. Po ukończeniu studiów został zatrudniony przez Armor Research Foundation of Illinois Institute of Technology, najpierw jako operator komputera, a następnie jako programista. Znalazł czas na zdobycie drugiego stopnia licencjata z fizyki na University of Chicago w 1958 r. W 1962 r. Floyd przeniósł się do Wakefield w stanie Massachusetts, aby pracować jako starszy naukowiec projektu w Computer Associates, wczesnej firmie programistycznej specjalizującej się w pisaniu kompilatory.

Floyd dołączył do wydziału informatyki Carnegie Institute of Technology (obecnie Carnegie Mellon University) w 1965 roku. Informatyka była nową dyscypliną akademicką, a Floyd odegrał kluczową rolę w opracowaniu programu nauczania szkoły. W 1968 roku Floyd przeniósł się na wydział informatyki na Uniwersytecie Stanforda, gdzie został profesorem zwyczajnym w 1970 roku. Krótko po przejściu na emeryturę w Stanford w 1994 roku zdiagnozowano u niego chorobę Picka, rzadką formę przedwczesnej demencji.

Floyd został wybrany do American Academy of Arts and Sciences, American Association for Advancement of Science oraz Association for Computing Machinery (ACM). Przez wiele lat zasiadał w redakcji Communications of ACM i otrzymał nagrodę IEEE Computer Pioneer Award w 1992 roku. Floyd napisał wraz z amerykańskim informatykiem Richardem Beigelem klasyczny język maszyn: wprowadzenie do obliczalności i języków formalnych (1994)).