רוברט פלויד

רוברט וילובי פלויד (באנגלית: Robert W. Floyd נולד ב-8 ביוני 1936 – 25 בספטמבר 2001) היה מדען מחשב אמריקאי. תרומותיו כוללות את התכנון אלגוריתם של פלויד-ורשל (בלתי תלוי בסטיבן וורשל ), אשר מוצא ביעילות את כל מסלולי הקצר ביותר בתורת הגרפים, ואת עבודתו בתחום ניתוח מחרוזות; אלגוריתם פלויד לאיתור מחזורים ברצפים מיוחס לו גם כן. במאמר מבודד אחד, הציג את המושג החשוב של פיזור שגיאות להדפסת תמונות, הידוע גם בתור השתקפות פלויד-שטיינברג . הוא היה חלוץ בתחום אימות תוכנה באמצעות הצהרה לוגית עם מאמרו מ-1967 הקצאת משמעות לתוכניות. זו הייתה תרומה למה שלימים הפך ללוגיקת הור . פלויד זכה בפרס טיורינג בשנת 1978.

 ביוגרפיה 
פלויד נולד בניו יורק וסיים את לימודיו בתיכון בגיל 14. באוניברסיטת שיקגו, קיבל תואר ראשון במדעי הרוח בשנת 1953 (כשהיה בן 17 בלבד) ותואר ראשון שני בפיזיקה בשנת 1958. פלויד היה שותף לחדר עם קרל סייגן.

פלויד הפך לחבר צוות בקרן מחקר ארמור (כיום מכון המחקר IIT) במכון הטכנולוגי של אילינוי  בשנות ה-50. בתחילת שנות ה-60, הפך למפעיל מחשבים והחל לפרסם מאמרים רבים, כולל בתחום הקומפיילרים (במיוחד ניתוח מחרוזות). הוא היה חלוץ בדקדוקי העדפת אופרטורים ומיוחס לו ייסוד תחום הסמנטיקה של שפות תכנות  במאמרו משנת 1967. הוא מונה לפרופסור חבר באוניברסיטת קרנגי מלון בגיל 27, והפך לפרופסור מן המניין באוניברסיטת סטנפורד שש שנים מאוחר יותר. הוא השיג משרה זו ללא תואר דוקטור לפילוסופיה.

הוא היה חבר בפדרציה הבינלאומית לעיבוד מידע  בקבוצת עבודה IFIP 2.1 בנושא שפות אלגוריתמיות וחשבון, אשר פירטה, מתחזקת ותומכת בשפות התכנות ALGOL 60 ו־ALGOL 68.

הוא נבחר לעמית של האקדמיה האמריקאית לאמנויות ומדעים ב-1974.

הוא זכה בפרס טיורינג בשנת 1978 "על כך שהייתה לו השפעה ברורה על מתודולוגיות יצירת תוכנה יעילה ואמינה, ועל כך שסייע בהקמת תתי תחומים חשובים במדעי המחשב: תיאוריה של פירוס, סמנטיקה של שפות תכנות, אימות תוכנה אוטומטי, סינתזת תוכנה אוטומטית, וניתוח אלגוריתמים."

פלויד עבד בשיתוף פעולה הדוק עם דונלד קנות', במיוחד כעורך הראשי של ספרו החלוצי The Art of Computer Programming , והוא האדם שמוזכר הכי הרבה בספר זה. הוא היה שותף לכתיבת הספר The Language of Machines: an Introduction to Computability and Formal Languages עם ריצ'רד ביגל. פלויד הנחה שבעה דוקטורנטים.

פלויד התחתן והתגרש פעמיים, תחילה עם יאנה מ. מייסון ולאחר מכן עם מדענית המחשב קריסטיאן פלויד , ונולדו לו ארבעה ילדים. בשנותיו האחרונות סבל ממחלת פיק , מחלה נוירודגנרטיבית , ולכן פרש לגמלאות בשנת 1994.

התחביבים שלו כללו טיולים, והוא היה שחקן שש בש נלהב:
פעם היינו תקועים בשדה התעופה של שיקגו או'האר במשך שעות, מחכים למטוס שיצא, בשל סופת שלג. כשישבנו ליד השער שלנו, בוב שאל אותי באופן לא פורמלי, "אתה יודע לשחק בקגמון?" עניתי שאני יודע את הכללים, אבל למה הוא רוצה לדעת? בוב אמר שמהיות לנו מספר שעות לחכות, אולי כדאי שנשחק כמה משחקים, כמובן על סכום קטן. הוא אז הוציא את סט הבקגמון מהמזוודה שלו.
אבי לימד אותי הרבה דברים. אחד מהם היה להיזהר מכל אחד שמציע משחק ביליארד על כסף, ואז פותח תיק שחור ומתחיל להרכיב מקל ביליארד. הבנתי שהעצה הזאת תקפה לכל אחד שנוסע עם סט בקגמון משלו. אמרתי לבוב שאני לא אשחק על כסף, בשום אופן. הוא ניסה קצת, אבל לבסוף אמר "טוב". במקום זאת הוא נתן לי שיעור חינם באומנות ובמדע של משחק בקגמון.

הייתי צודק כשסרבתי לשחק איתו על כסף — בכל סכום. השיעור היה מהנה. גיליתי מאוחר יותר שמשך שנים הוא עבד על ללמוד את המשחק. הוא לקח את משחק הבקגמון מאוד ברצינות, חקר את המשחק ואת המתמטיקה שלו, והיה כמעט מקצוען. אני חושב שזה היה יותר מתחביב. כמו במחקרו, בוב לקח את מה שהוא עשה ברצינות, וזה תואם לחלוטין שהוא היה מצוין בבקגמון.

— ריצ'רד ג'. ליפטון .

 פרסומים נבחרים 







 לקריאה נוספת 



 קישורים חיצוניים 

 הספד בדוח סטנפורד, 2003. (בארכיון 2016)

 הערות שוליים 

קטגוריה:בוגרי אוניברסיטת שיקגו
קטגוריה:חברי האקדמיה האמריקאית לאמנויות ולמדעים
קטגוריה:זוכי פרס טיורינג
קטגוריה:מדעני מחשב אמריקאים
קטגוריה:אמריקאים שנולדו ב-1936
קטגוריה:אמריקאים שנפטרו ב-2001