প্রধান বিজ্ঞান

রবিন মিলনার ব্রিটিশ কম্পিউটার বিজ্ঞানী ড

রবিন মিলনার ব্রিটিশ কম্পিউটার বিজ্ঞানী ড
রবিন মিলনার ব্রিটিশ কম্পিউটার বিজ্ঞানী ড
Anonim

রবিন মিলনার পুরো আর্থার জন রবিন গোরেল মিলনার (জন্ম: 13 জানুয়ারী, 1934, ইয়েলম্পটন, ডিভন, ইঞ্জিনিয়ার — 20 শে মার্চ, 2010, কেমব্রিজ, কেমব্রিজশায়ার মারা গেলেন), ইংরেজ কম্পিউটার বিজ্ঞানী এবং 1991 এএম টুরিং অ্যাওয়ার্ডের বিজয়ী, কম্পিউটার বিজ্ঞানে সর্বোচ্চ সম্মান, স্বয়ংক্রিয় উপপাদ্য প্রবাদগুলি, এমএল কম্পিউটার প্রোগ্রামিং ভাষা এবং একতত্ত্বের একটি সাধারণ তত্ত্ব সহ তাঁর কাজের জন্য।

মিলনার ইটন কলেজে পড়াশোনা করেছিলেন এবং ১৯৫২ সালে ক্যামব্রিজ বিশ্ববিদ্যালয়ে যোগদানের জন্য বৃত্তি অর্জন করেছিলেন, তবে পরবর্তী দুই বছর ব্রিটিশ সেনাবাহিনীর রয়েল ইঞ্জিনিয়ারদের সাথে সুয়েজ খালে কর্মরত থাকাকালীন তাঁর কোর্সের কাজ স্থগিত করতে হয়েছিল। মিলনার ১৯৫৪ সালে কেমব্রিজে প্রবেশ করেন এবং ১৯৫7 সালে গণিতে স্নাতক ডিগ্রি নিয়ে স্নাতক হন। ১৯৫6 সালের গ্রীষ্মে প্রোগ্রামিংয়ের একটি ছোট্ট কোর্সে তিনি প্রথম স্কুলটির ইডিএসএসি কম্পিউটার ব্যবহার করেছিলেন বলে তিনি প্রথম গণিতের মুখোমুখি হয়েছিলেন। এর পরে, মিলনার লন্ডনে চলে আসেন, যেখানে তিনি মেরিলেবোন গ্রামার স্কুলে (১৯৫৯-–০) গণিতের পাঠদান সহ বিভিন্ন চাকরি লাভ করেছিলেন, তিনি কম্পিউটার প্রোগ্রামার হওয়ার আগে এবং ফেরানতী লিমিটেডে কম্পাইলার তৈরি করে (ফেরানতী প্রথম বাণিজ্যিক কম্পিউটার তৈরি করেছিলেন, ১৯৫১ সালে ফেরান্টি মার্ক I,)

১৯৩63 সালে মিলনার ফেরানতীকে সিটি ইউনিভার্সিটি লন্ডনে একাডেমিক পজিশনে রেখে যান, যেখানে তিনি ইঞ্জিনিয়ারিংয়ের শিক্ষার্থীদের জন্য গণিত পড়িয়েছিলেন এবং কৃত্রিম বুদ্ধিমত্তা (এআই) এবং ডেটাবেজে এটি প্রয়োগের বিষয়ে গবেষণা শুরু করেছিলেন। ১৯৮68 সালে মিলনার স্বানসিয়ার ওয়েলস ইউনিভার্সিটিতে গবেষণা অবস্থান গ্রহণ করেছিলেন, যেখানে তিনি প্রোগ্রাম যাচাইকরণ, স্বয়ংক্রিয় উপপাদ্য প্রমাণকরণ এবং শব্দার্থবিজ্ঞানের বিষয়ে কাজ করেছিলেন। ১৯ 1971১ সালে মিলনার স্ট্যানফোর্ড বিশ্ববিদ্যালয়ের এআই পরীক্ষাগারে জন ম্যাকার্থারির সাথে কাজ করতে যুক্তরাষ্ট্রে যান। মিলনার ১৯ 197৩ সালে এডিনবার্গ বিশ্ববিদ্যালয়ে অবস্থান গ্রহণের জন্য ব্রিটেনে ফিরে এসেছিলেন, যেখানে তিনি এমএল ("ধাতব ভাষা") ডিজাইন করতে সহায়তা করেছিলেন, একটি কম্পিউটার প্রোগ্রামিং ল্যাঙ্গুয়েজ একটি স্বয়ংক্রিয় উপপাদ্য সমাধানকারী প্রয়োগের জন্য তৈরি হয়েছিল। ১৯৯৫ সালে মিলনার বিদ্যালয়ের কম্পিউটার পরীক্ষাগারের প্রধান হিসাবে কেমব্রিজে ফিরে আসেন। তিনি 2001 সালে অবসর গ্রহণ করেন।

অন্যান্য রচনার মধ্যে মিলনার ছিলেন আ ক্যালকুলাস ফর কমিউনিকেশন সিস্টেমস (১৯৮০), যোগাযোগ এবং সংহতকরণ (১৯৮৯), যোগাযোগ এবং মোবাইল সিস্টেম: পি-ক্যালকুলাস (১৯৯৯) এবং দ্য স্পেস অ্যান্ড মোশন অফ কমিউনিকেশন এজেন্টস (২০০৯) এর লেখক। তিনি তাত্ত্বিক কম্পিউটার বিজ্ঞান, তাত্ত্বিক কম্পিউটার সায়েন্সে গবেষণা নোটস, কম্পিউটিংয়ের ফর্মাল আসপেক্টস এবং কম্পিউটার সায়েন্সে ম্যাথমেটিকাল স্ট্রাকচারসের সম্পাদক হিসাবে দায়িত্ব পালন করেছেন এবং তিনি রদি সোসাইটি অফ এডিনবার্গের প্রসিডিংস-এর সম্পাদকীয় বোর্ডে ছিলেন: বিভাগ এ, গণিত।

মিলনার রয়েল সোসাইটি (1988), ব্রিটিশ কম্পিউটার সোসাইটি (1988), রয়্যাল সোসাইটি অফ এডিনবার্গ (1993), অ্যাসোসিয়েশন অফ কম্পিউটিং মেশিনারি (1994), ফরাসী বিজ্ঞান একাডেমী (2005) এবং ইউএস ন্যাশনাল নির্বাচিত হয়েছিলেন প্রকৌশল একাডেমি (২০০৮) ট্যুরিং পুরষ্কার ছাড়াও মিলনার একটি ব্রিটিশ কম্পিউটার সোসাইটি টেকনিক্যাল অ্যাওয়ার্ড (1987), রয়েন সোসাইটি অফ এডিনবার্গ রয়্যাল গোল্ড মেডেল (2004) এবং একটি ইউরোপীয় অ্যাসোসিয়েশন ফর থিওরিটিকাল কম্পিউটার সায়েন্স ডিস্টিস্টিনিশড অ্যাচিভমেন্টস অ্যাওয়ার্ড (2005) পেয়েছিলেন।