Floyd, Robert

Robert W Floyd ( ing.  Robert W Floyd , 8 iunie 1936 , New York , SUA  – 25 septembrie 2001 , Stanford , SUA ) este un informatician american. Câștigător al premiului Turing . Floyd și-a schimbat al doilea nume, care începea cu litera W, cu litera însăși, așa că nu există nicio perioadă după aceasta. Floyd însuși a glumit despre asta că „W”. este o abreviere acceptabilă pentru „W” [1] .

Biografie

Robert a absolvit liceul la 14 ani, sărind trei clase. Trei ani mai târziu, în 1953 , a primit o diplomă de licență în științe de la Universitatea din Chicago , iar în 1958  o diplomă de licență în fizică . La vârsta de 27 de ani, Floyd a devenit profesor asociat la Universitatea Carnegie Mellon , iar șase ani mai târziu, profesor la Stanford . Este de remarcat faptul că, spre deosebire de majoritatea colegilor săi, Floyd nu avea un titlu de doctor în filozofie . Căsătorit de două ori, divorțat de două ori, a avut patru copii. A doua soție a lui Floyd a fost informaticianul austriac Christiane Floyd , care a fost căsătorită cu Peter Naur [2] .

Realizările celebre ale lui Floyd includ un algoritm eficient pentru găsirea celei mai scurte căi în graficele direcționate ( algoritmul Floyd-Warshall ) și un algoritm de dithering (algoritmul Floyd-Steinberg ). În plus, Floyd a lucrat la problema verificării oficiale a programelor, aducând astfel o contribuție majoră la logica Hoare , uneori numită logica Floyd- Hoare [2] [3] .

La Stanford, Floyd a lucrat îndeaproape cu Donald Knuth , inclusiv în calitate de redactor-șef al seriei Art of Programming a celebrelor sale cărți , care a devenit o sursă fundamentală de informații despre dezvoltarea algoritmilor [1] . Împreună au susținut un protest studențesc la 1 mai 1970 împotriva deciziei lui Nixon de a trimite trupe americane în Cambodgia . Scopul acțiunii a fost să interfereze cu munca angajaților universității, dar Knuth și Floyd au petrecut toată ziua discutând despre algoritmi de sortare [1] . Floyd a fost implicat activ în munca de eliberare a savantului chilian Fernando Flores din închisoare.

Robert Floyd s-a pensionat în 1994 și a murit la Spitalul Universitar Stanford la vârsta de 65 de ani, după o lungă boală în 2001 [2] .

Premii

• 1978  - Premiul Turing „pentru influența sa incontestabilă asupra metodologiei de creare a unui software eficient și de încredere și pentru ajutorul acordat în dezvoltarea unor domenii ale informaticii precum teoria analizei, semantica limbajelor de programare, verificarea automată a programelor, sinteza automată a programelor. , și analiza algoritmului” [4] .
• 1991  - Medalia „ Pionier al tehnologiei informatice ” pentru primii compilatori [5] .

Vezi și

• Algoritmul Floyd-Warshall
• Algoritmul Floyd-Steinberg

Note

1. ↑ 1 2 3 „Robert W Floyd , In Memoriam” Arhivat 7 februarie 2009 la Wayback Machine , Donald Knuth , 20 martie 2002  
2. ↑ 1 2 3 „Robert Floyd, pionier în programarea computerelor, mort la 65 de ani” Arhivat la 1 decembrie 2008 la Wayback Machine , Don Levy, Stanford Report, 7 noiembrie 2001  
3. ↑ „Assigning Meaning to Programs” Arhivat 28 mai 2008 la Wayback Machine , RW Floyd, în Proceedings of Symposium on Applied Mathematics, Vol. 19, JT Schwartz (Ed.), AMS, 1967 , pp. 19-32   (engleză)
4. ↑ Robert W. Floyd - Câștigător al premiului AM Turing Arhivat 19 septembrie 2017 la Wayback Machine  
5. ↑ Computer Pioneer List .

Link -uri

• „Robert W Floyd , În memoriam” , Donald Knuth , 20 martie 2002  
• „Robert Floyd, pionier în programarea computerelor, a murit la 65 de ani” , Don Levy, Stanford Report, 7 noiembrie 2001  

• Lista destinatarilor medaliei „Computer Pioneer”  (engleză)  (link inaccesibil) . Preluat la 21 octombrie 2013. Arhivat din original la 21 iulie 2013.

Site-uri tematice	Genealogie matematică zbMATH Deschide
Dicționare și enciclopedii	Britannica (online)
În cataloagele bibliografice 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