Floyd, Robert

Robert W Floyd ( eng.  Robert W Floyd , 8. kesäkuuta 1936 , New York , USA  - 25. syyskuuta 2001 , Stanford , USA ) on amerikkalainen tietojenkäsittelytieteilijä. Turing-palkinnon voittaja . Floyd muutti toisen W-kirjaimella alkaneen nimensä itse kirjaimeksi, joten sen jälkeen ei ole pistettä. Floyd itse vitsaili tästä, että "W." on hyväksyttävä lyhenne sanoista "W" [1] .

Elämäkerta

Robert valmistui lukiosta 14-vuotiaana hyppääen kolme luokkaa. Kolme vuotta myöhemmin, vuonna 1953 , hän sai kandidaatin tutkinnon Chicagon yliopistosta ja vuonna 1958  kandidaatin tutkinnon fysiikassa . 27-vuotiaana Floydista tuli apulaisprofessori Carnegie Mellonin yliopistossa ja kuusi vuotta myöhemmin Stanfordin professori . On huomionarvoista, että toisin kuin useimmat hänen kollegansa, Floydilla ei ollut tohtorin arvoa (filosofian tohtori) . Naimisissa kahdesti, eronnut kahdesti, hänellä oli neljä lasta. Floydin toinen vaimo oli itävaltalainen tietojenkäsittelytieteilijä Christiane Floyd , joka oli naimisissa Peter Naurin [2] kanssa .

Floydin kuuluisia saavutuksia ovat tehokas algoritmi lyhimmän polun löytämiseksi suunnatuissa kaavioissa ( Floyd-Warshall-algoritmi ) ja erottelualgoritmi ( Floyd-Steinberg-algoritmi ). Lisäksi Floyd työskenteli muodollisen ohjelman verifioinnin ongelman parissa ja vaikutti siten merkittävästi Hoare-logiikkaan , jota joskus kutsutaan Floyd - Hoare -logiikaksi [2] [3] .

Stanfordissa Floyd työskenteli tiiviisti Donald Knuthin kanssa, muun muassa hänen kuuluisien kirjojensa Art of Programming -sarjan päätoimittajana , josta tuli perustavanlaatuinen tietolähde algoritmien kehittämisestä [1] . Yhdessä he tukivat opiskelijoiden mielenosoitusta 1. toukokuuta 1970 Nixonin päätöksestä lähettää amerikkalaisia ​​joukkoja Kambodžaan . Toiminnan tarkoituksena oli häiritä yliopiston työntekijöiden työtä, mutta Knuth ja Floyd keskustelivat koko päivän lajittelualgoritmeista [1] . Floyd osallistui aktiivisesti työhön chileläisen tiedemiehen Fernando Floresin vapauttamiseksi vankilasta.

Robert Floyd jäi eläkkeelle vuonna 1994 ja kuoli Stanfordin yliopistollisessa sairaalassa 65-vuotiaana pitkän sairauden jälkeen vuonna 2001 [2] .

Palkinnot

• 1978  - Turing-palkinto "hänen kiistattomasta vaikutuksestaan ​​tehokkaiden ja luotettavien ohjelmistojen luomisen metodologiaan ja avustaan ​​sellaisten tietojenkäsittelytieteen alojen kehittämisessä, kuten jäsennysteoria, ohjelmointikielten semantiikka, automaattinen ohjelmien verifiointi, automaattinen ohjelmasynteesi , ja algoritmianalyysi" [4] .
• 1991  - Mitali " Tietokonetekniikan edelläkävijä " ensimmäisille kääntäjille [5] .

Katso myös

• Floyd-Warshall-algoritmi
• Floyd-Steinberg-algoritmi

Muistiinpanot

1. ↑ 1 2 3 "Robert W Floyd, In Memoriam" Arkistoitu 7. helmikuuta 2009 Wayback Machinessa , Donald Knuth , 20. maaliskuuta 2002  
2. ↑ 1 2 3 "Robert Floyd, tietokoneohjelmoinnin pioneeri, kuollut 65-vuotiaana" Arkistoitu 1. joulukuuta 2008 Wayback Machinessa , Don Levy, Stanford Report, 7. marraskuuta 2001  
3. ↑ "Assigning Meaning to Programs" Arkistoitu 28. toukokuuta 2008, Wayback Machine , RW Floyd, Proceedings of Symposium on Applied Mathematics, Voi. 19, JT Schwartz (Toim.), AMS, 1967 , ss. 19-32   (englanniksi)
4. ↑ Robert W. Floyd - AM Turing -palkinnon voittaja arkistoitu 19. syyskuuta 2017 Wayback Machinessa  
5. ↑ Computer Pioneer -luettelo .

Linkit

• "Robert W Floyd, In Memoriam" , Donald Knuth , 20. maaliskuuta 2002  
• "Robert Floyd, tietokoneohjelmoinnin pioneeri, kuollut 65-vuotiaana" , Don Levy, Stanford Report, 7. marraskuuta 2001  

• Luettelo "Computer Pioneer" -mitalin saajista  (englanniksi)  (linkki ei ole käytettävissä) . Haettu 21. lokakuuta 2013. Arkistoitu alkuperäisestä 21. heinäkuuta 2013.

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna
Sanakirjat ja tietosanakirjat	Britannica (verkossa)
Bibliografisissa luetteloissa BIBSYS : 90928994 BNF : 124299633 CiNii : DA09352685 GND : 12988037X ISNI : 0000 0001 1559 6909 J9U : 987007444620305171 LCCN : n93027960 NUKAT : n98042364 SUDOC : 033433860 VIAF : 9939181 WorldCat VIAF : 9939181