רובין מילנר מדען מחשבים בריטי

רובין מילנר, במלואו ארתור ג'ון רובין גורל מילנר, (נולד ב- 13 בינואר 1934, יילמפטון, דבון, אנגליה - נפטר ב- 20 במרץ, 2010, קיימברידג ', קמברידג'שייר), מדען מחשבים אנגלי וזוכה פרס טיורינג בבוקר 1991, הכבוד הגבוה ביותר במדעי המחשב, על עבודתו עם מפגני משפטים אוטומטיים, שפת תכנות מחשבים ML ותאוריה כללית של מקביליות.

מילנר למד במכללת אטון וזכה במלגה להשתתף באוניברסיטת קיימברידג 'בשנת 1952, אך היה עליו לדחות את עבודתו בקורס בזמן ששירת בתעלת סואץ עם המהנדסים המלכותיים של הצבא הבריטי בשנתיים הבאות. מילנר נכנס לקיימברידג 'בשנת 1954 וסיים תואר ראשון במתמטיקה בשנת 1957. הוא נחשף לראשונה למחשוב בקיץ 1956 עם קורס קצר בתכנות בו השתמש במחשב EDSAC של בית הספר. לאחר מכן עבר מילנר ללונדון, שם מילא תפקידים שונים, כולל לימוד מתמטיקה בבית הספר לדקדוק Marylebone (1959–60), לפני שהפך למתכנת מחשבים ופיתח מהדרים ב- Ferranti Ltd. (Ferranti ייצר את המחשב המסחרי הראשון, Ferranti Mark I, בשנת 1951.)

בשנת 1963 עזב מילנר את פרנטי לתפקיד אקדמי באוניברסיטת סיטי בלונדון, שם לימד מתמטיקה לסטודנטים להנדסה והחל במחקר בתחום הבינה המלאכותית (AI) ויישומה למאגרי מידע. בשנת 1968 מילנר קיבל תפקיד מחקרי באוניברסיטת ויילס, סוונסי, שם עבד על אימות התוכנית, הוכחת משפט אוטומטי וסמנטיקה. בשנת 1971 נסע מילנר לארצות הברית לעבוד עם ג'ון מקארתי במעבדת AI באוניברסיטת סטנפורד. מילנר חזר לבריטניה בשנת 1973 כדי לקבל משרה באוניברסיטת אדינבורו, שם סייע בתכנון ML ("מטאל שפה"), שפת תכנות מחשבים שפותחה ליישום פותר משפטים אוטומטי. בשנת 1995 מילנר חזר לקיימברידג 'כראש מעבדת המחשבים בבית הספר. הוא פרש בשנת 2001.

בין העבודות האחרות, מילנר היה המחבר של A Calculus for Communications Systems (1980), תקשורת וקבלנות (1989), תקשורת ומערכות ניידות: ה- Pi-Calculus (1999), והמרחב והתנועה של סוכני תקשורת (2009). הוא שימש כעורך במדעי המחשב התיאורטי, הערות מחקר במדעי המחשב התיאורטי, היבטים פורמליים של מחשוב ומבנים מתמטיים במדעי המחשב, והיה במערכת העיתון של הליך ההליך של החברה המלכותית באדינבורו: פרק א ', מתמטיקה.

מילנר נבחר לחברה המלכותית (1988), לחברת המחשבים הבריטית (1988), לחברה המלכותית באדינבורו (1993), לאיגוד מכונות מחשוב (1994), לאקדמיה הצרפתית למדעים (2005) ולארה"ב הלאומית. האקדמיה להנדסה (2008). בנוסף לפרס טיורינג, מילנר זכה בפרס טכני של חברת המחשבים הבריטית (1987), החברה המלכותית של מדליית הזהב המלכותית של אדינבורו (2004), ואיגוד אירופאי לפרס הישגי הבחנה תיאורטיים במדעי המחשב (2005).