Lawrence Paulson
লরেন্স চার্লস পলসন (জন্ম 1955) একজন মার্কিন কম্পিউটার বিজ্ঞানী। তিনি কেমব্রিজ বিশ্ববিদ্যালয়ের কম্পিউটার ল্যাবরেটরিতে গণনামূলক যুক্তির অধ্যাপক এবং কেমব্রিজের ক্লেয়ার কলেজের ফেলো। শিক্ষা পলসন 1977 সালে ক্যালিফোর্নিয়া ইনস্টিটিউট অফ টেকনোলজি থেকে স্নাতক হন এবং 1981 সালে জন এল হেনেসির তত্ত্বাবধানে প্রোগ্রামিং ভাষা এবং সংকলক-সংকলক নিয়ে গবেষণার জন্য স্ট্যানফোর্ড বিশ্ববিদ্যালয় থেকে কম্পিউটার সায়েন্সে পিএইচডি অর্জন করেন। গবেষক পলসন 1983 সালে কেমব্রিজ বিশ্ববিদ্যালয়ে আসেন এবং 1987 সালে কেমব্রিজের ক্লেয়ার কলেজের ফেলো হন। তিনি ওয়ার্কিং প্রোগ্রামারের জন্য প্রোগ্রামিং ভাষা এমএল, এমএল-এর ভিত্তিপ্রস্তর পাঠ্যের জন্য সবচেয়ে বেশি পরিচিত। তাঁর গবেষণাটি ইন্টারেক্টিভ উপপাদ্য প্রবাদ ইসাবেলকে কেন্দ্র করে, যা তিনি 1986 সালে প্রবর্তন করেছিলেন। তিনি ইন্ডাক্টিভ সংজ্ঞা ব্যবহার করে ক্রিপ্টোগ্রাফিক প্রোটোকল যাচাইয়ের উপর কাজ করেছেন এবং তিনি কার্ট গোডেলের গঠনমূলক মহাবিশ্বকেও আনুষ্ঠানিক করেছেন। সম্প্রতি তিনি বাস্তব-মূল্যবান বিশেষ ফাংশনের জন্য মেটিটার্স্কি নামে একটি নতুন উপপাদ্য প্রবাদ তৈরি করেছেন। পলসন কম্পিউটার সায়েন্স ট্রাইপোসে একটি স্নাতক বক্তৃতা কোর্স পড়ান, যার শিরোনাম লজিক অ্যান্ড প্রুফ যা স্বয়ংক্রিয় উপপাদ্য প্রমাণ এবং সম্পর্কিত পদ্ধতিগুলিকে অন্তর্ভুক্ত করে। (তিনি ফাউন্ডেশন অফ কম্পিউটার সায়েন্স পড়াতেন যা কার্যকরী প্রোগ্রামিং প্রবর্তন করে, কিন্তু এই কোর্সটি 2017 সালে অ্যালান মাইক্রফ্ট এবং আমান্ডা প্ররোক এবং তারপর 2019 সালে অনিল মাধবপেড্ডি এবং আমান্ডা প্ররোক গ্রহণ করেছিলেন।) পুরস্কার ও সম্মাননা পলসন 2017 সালে রয়্যাল সোসাইটির (এফআরএস) ফেলো নির্বাচিত হন, 2008 সালে অ্যাসোসিয়েশন ফর কম্পিউটিং মেশিনারির ফেলো এবং মিউনিখের টেকনিক্যাল ইউনিভার্সিটিতে লজিক ইন ইনফরম্যাটিক্সের বিশিষ্ট অধিভুক্ত অধ্যাপক নির্বাচিত হন। ব্যক্তিগত জীবনে পলসনের প্রথম স্ত্রী ডাঃ সুসান মেরি পলসনের দুটি সন্তান রয়েছে, যিনি 2010 সালে মারা যান। 2012 সাল থেকে তিনি ডঃ এলেনা চৌগৌনোভাকে বিয়ে করেছেন। রেফারেন্স 1955 জীবন্ত মানুষ মার্কিন কম্পিউটার বিজ্ঞানী কেমব্রিজ বিশ্ববিদ্যালয়ের কম্পিউটার ল্যাবরেটরি ক্যালিফোর্নিয়া ইনস্টিটিউট অফ টেকনোলজির প্রাক্তন শিক্ষার্থী স্ট্যানফোর্ড বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী ফেলো অফ ক্লেয়ার কলেজ, কেমব্রিজ ফেলো অফ দ্য অ্যাসোসিয়েশন ফর কম্পিউটিং মেশিনারি ফেলো অফ দ্য রয়্যাল সোসাইটি আনুষ্ঠানিক পদ্ধতি মানুষ