روبن ميلنر

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث


Robin Milner
معلومات شخصية
الميلاد 13 يناير 1934(1934-01-13)
Yealmpton, بليموث, إنجلترا
الوفاة 20 مارس 2010 (عن عمر ناهز 76 عاماً)
كامبريدج, إنجلترا
سبب الوفاة نوبة قلبية تعديل القيمة في ويكي بيانات
الجنسية Flag of the United Kingdom.svg المملكة المتحدة تعديل القيمة في ويكي بيانات
عضو في الجمعية الملكية، والأكاديمية الفرنسية للعلوم تعديل القيمة في ويكي بيانات
الحياة العملية
المؤسسات Ferranti
City University, London
جامعة سوانسي
جامعة ستانفورد
جامعة إدنبرة
جامعة كامبريدج
جامعة آرهوس
المدرسة الأم كلية إيتون تعديل القيمة في ويكي بيانات
مشرف الدكتوراه لا يوجد ولم يحصل على الدكتوراه[1]
المهنة عالِم حاسب آلي، ومهندس، وبروفيسور (أستاذ جامعي) تعديل القيمة في ويكي بيانات
مجال العمل علم الحاسوب
سبب الشهرة LCF
ML
Calculus of communicating systems
Pi-calculus
Hindley-Milner type inference
إدارة سيتي يونفيرسيتي لندن تعديل القيمة في ويكي بيانات
الجوائز
جائزة تورنج[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.  edit
  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.  edit
  5. ^ Milner، R. (1987). "Is Computing an Experimental Science?". Journal of Information Technology 2 (2): 58–66. doi:10.1057/jit.1987.12.  edit
  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
هذه بذرة مقالة عن سيرة عالم أو باحث علمي بحاجة للتوسيع. شارك في تحريرها.