روبن ميلنر

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Robin Milner
معلومات شخصية
الميلاد 13 يناير 1934(1934-01-13)
Yealmpton, بليموث, إنجلترا
الوفاة 20 مارس 2010 (عن عمر ناهز 76 عاماً)
كامبريدج, إنجلترا
سبب الوفاة نوبة قلبية  تعديل قيمة خاصية سبب الوفاة (P509) في ويكي بيانات
مواطنة Flag of the United Kingdom.svg المملكة المتحدة  تعديل قيمة خاصية بلد المواطنة (P27) في ويكي بيانات
عضو في الجمعية الملكية،  والأكاديمية الأوروبية،  والأكاديمية الفرنسية للعلوم،  والجمعية الملكية للادنبره،  ورابطة مكائن الحوسبة  تعديل قيمة خاصية عضو في (P463) في ويكي بيانات
الحياة العملية
المؤسسات فيرانتي
سيتي يونفيرسيتي لندن
جامعة سوانسي
جامعة ستانفورد
جامعة إدنبرة
جامعة كامبريدج
جامعة آرهوس
المدرسة الأم كلية إيتون  تعديل قيمة خاصية تعلم في (P69) في ويكي بيانات
مشرف الدكتوراه لا يوجد ولم يحصل على الدكتوراه[1]
المهنة عالِم حاسب آلي،  ومهندس،  وأستاذ جامعي  تعديل قيمة خاصية المهنة (P106) في ويكي بيانات
مجال العمل علم الحاسوب
سبب الشهرة LCF
ML
Calculus of communicating systems
Pi-calculus
Hindley-Milner type inference
إدارة سيتي يونفيرسيتي لندن  تعديل قيمة خاصية رب العمل (P108) في ويكي بيانات
الجوائز
جائزة تورنغ[2]

روبن ميلنر (بالإنجليزية: Robin Milner) (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991.[3][4][5][6][7]

مراجع[عدل]

  1. ^ Interview with Robin Milner by Martin Berger.
  2. ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240. 
  3. ^ Obituary — Professor Robin Milner: computer scientist, ذي تايمز, 31 March 2010.
  4. ^ Hoffmann, L. (2010). "Robin Milner: the elegant pragmatist". Communications of the ACM. 53 (6): 20. doi:10.1145/1743546.1743556. 
  5. ^ Milner, R. (1987). "Is Computing an Experimental Science?". Journal of Information Technology. 2 (2): 58–66. doi:10.1057/jit.1987.12. 
  6. ^ http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University - Obituary
  7. ^ http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage

وصلات خارجية[عدل]

Albert Einstein Head.jpg
هذه بذرة مقالة عن سيرة عالم أو باحث علمي بحاجة للتوسيع. شارك في تحريرها.