Floyd, Robert

Robert W Floyd ( Eng.  Robert W Floyd , 8. června 1936 , New York , USA  – 25. září 2001 , Stanford , USA ) je americký počítačový vědec. Vítěz Turingovy ceny . Floyd změnil své druhé jméno, které začínalo písmenem W, na písmeno samotné, takže za ním není žádná tečka. Sám Floyd o tom žertoval, že "W." je přijatelná zkratka pro "W" [1] .

Životopis

Robert vystudoval střední školu ve 14 letech, přeskočil tři ročníky. O tři roky později, v roce 1953 , získal bakalářský titul z University of Chicago a v roce 1958  bakalářský titul ve fyzice . Ve věku 27 let se Floyd stal mimořádným profesorem na Carnegie Mellon University a o šest let později profesorem na Stanfordu . Je pozoruhodné, že na rozdíl od většiny svých kolegů Floyd neměl titul PhD (doktor filozofie) . Dvakrát ženatý, dvakrát rozvedený, měl čtyři děti. Floydova druhá manželka byla rakouská počítačová vědkyně Christiane Floydová , která byla vdaná za Petera Naura [2] .

Mezi slavné Floydovy úspěchy patří účinný algoritmus pro nalezení nejkratší cesty v orientovaných grafech ( Floyd-Warshallův algoritmus ) a algoritmus rozkladu ( Floyd-Steinbergův algoritmus ). Kromě toho Floyd pracoval na problému formální verifikace programu, čímž významně přispěl k Hoareově logice , někdy nazývané Floyd-Hoareova logika [2] [3] .

Na Stanfordu Floyd úzce spolupracoval s Donaldem Knuthem , mimo jiné jako šéfredaktor série Art of Programming jeho slavných knih , které se staly základním zdrojem informací o vývoji algoritmů [1] . Společně podpořili studentský protest 1. května 1970 proti Nixonovu rozhodnutí poslat americké vojáky do Kambodže . Účelem akce bylo zasahovat do práce zaměstnanců univerzity, ale Knuth a Floyd celý den diskutovali o třídicích algoritmech [1] . Floyd se aktivně zapojil do práce na osvobození chilského vědce Fernanda Florese z vězení.

Robert Floyd odešel do důchodu v roce 1994 a zemřel ve Stanford University Hospital ve věku 65 let po dlouhé nemoci v roce 2001 [2] .

Ocenění

• 1978  - Turing Award „za jeho nepochybný vliv na metodologii vytváření efektivního a spolehlivého softwaru a za jeho pomoc při rozvoji takových oblastí informatiky, jako je teorie parsování, sémantika programovacích jazyků, automatická verifikace programů, automatická syntéza programů a analýza algoritmů“ [4] .
• 1991  – Medaile „ Průkopník výpočetní techniky “ pro první kompilátory [5] .

Viz také

• Floyd-Warshall algoritmus
• Floyd-Steinbergův algoritmus

Poznámky

1. ↑ 1 2 3 "Robert W Floyd, In memoriam" Archivováno 7. února 2009 ve Wayback Machine , Donald Knuth , 20. března 2002  
2. ↑ 1 2 3 "Robert Floyd, průkopník v počítačovém programování, mrtvý v 65" ​​Archivováno 1. prosince 2008 na Wayback Machine , Don Levy, Stanford Report, 7. listopadu 2001  
3. ↑ „Assigning Meaning to Programs“ Archivováno 28. května 2008 na Wayback Machine , RW Floyd, ve sborníku symposia o aplikované matematice, sv. 19, JT Schwartz (Ed.), AMS, 1967 , str. 19–32   (anglicky)
4. ↑ Robert W. Floyd – vítěz AM Turing Award Archivováno 19. září 2017 na Wayback Machine  
5. ↑ Seznam počítačů Pioneer .

Odkazy

• "Robert W Floyd, In memoriam" , Donald Knuth , 20. března 2002  
• "Robert Floyd, průkopník v počítačovém programování, zemřel ve věku 65" , Don Levy, Stanford Report, 7. listopadu 2001  

• Seznam oceněných medailí "Počítačový průkopník"  (anglicky)  (nepřístupný odkaz) . Získáno 21. října 2013. Archivováno z originálu 21. července 2013.

Tematické stránky	Matematická genealogie zbMATH Otevřeno
Slovníky a encyklopedie	Britannica (online)
V bibliografických katalozích 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