روبن ميلنر

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Robin Milner
ولد في 13 يناير 1934(1934-01-13)
Yealmpton, بليموث, إنجلترا
توفي في 20 مارس 2010 (عن عمر ناهز 76 عاما)
كامبريدج, إنجلترا
مجال البحث علم الحاسوب
المؤسسات 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 هذه بذرة مقالة عن سيرة عالم أو باحث علمي تحتاج للنمو والتحسين. ساهم في إثرائها بالمشاركة في تحريرها.