Harry Mairson
হ্যারি জর্জ মায়ারসন একজন তাত্ত্বিক কম্পিউটার বিজ্ঞানী এবং ম্যাসাচুসেটসের ওয়ালথামের ব্র্যান্ডিস বিশ্ববিদ্যালয়ের ভলেন ন্যাশনাল সেন্টার ফর কমপ্লেক্স সিস্টেমের কম্পিউটার বিজ্ঞানের অধ্যাপক। তাঁর গবেষণা কম্পিউটার বিজ্ঞানের যুক্তি, ল্যাম্বডা ক্যালকুলাস এবং কার্যকরী প্রোগ্রামিং, টাইপ তত্ত্ব এবং গঠনমূলক গণিত, গণনামূলক জটিলতা তত্ত্ব এবং অ্যালগরিদমের ক্ষেত্রে রয়েছে। তাঁর পিএইচডি থিসিস, দ্য প্রোগ্রাম কমপ্লেক্সিটি অফ সার্চিং এ টেবিল, 1983 সালের আই. ই. ই সিম্পোজিয়াম অন ফাউন্ডেশন্স অফ কম্পিউটার সায়েন্স (এফ. ও. সি. এস)-এ ম্যাক্টে পুরস্কার জিতেছে। মায়ারসন 1984 থেকে 1985 সাল পর্যন্ত আইএনআরআইএ রোকেনকোর্ট, 1985 সালে স্ট্যানফোর্ড বিশ্ববিদ্যালয় এবং 1986 সালে অক্সফোর্ড বিশ্ববিদ্যালয়ে পোস্টডক্টরাল গবেষক ছিলেন। 1999 থেকে 2001 সাল পর্যন্ত তিনি বস্টন বিশ্ববিদ্যালয়ে অতিথি অধ্যাপকের পদে অধিষ্ঠিত ছিলেন। 2005 থেকে 2007 সাল পর্যন্ত, মায়ারসন ব্র্যান্ডেইসে অনুষদ সিনেটের সভাপতির দায়িত্ব পালন করেছেন। তিনি বর্তমানে লজিক্যাল মেথডস ইন কম্পিউটার সায়েন্স অ্যান্ড ইনফরমেশন অ্যান্ড কম্পিউটশন জার্নালের সহযোগী সম্পাদক এবং উচ্চ-আদেশ ও প্রতীকী গণনার সম্পাদকীয় বোর্ডে বসেছেন। প্রোগ্রামিং ভাষার তত্ত্বে মায়ারসনের অবদানের মধ্যে রয়েছে এম. এল প্রোগ্রামিং ভাষার জন্য টাইপ অনুমান, তথাকথিত হিন্দলি-মিলনার টাইপ অনুমান, সূচকীয় সময়ের জন্য সম্পূর্ণ এবং সমান্তরাল বিটা হ্রাস অ-উপাদানগত। এডুকেশন মায়ারসন বি. এ ডিগ্রি লাভ করেন। 1978 সালে তিনি ইয়েল বিশ্ববিদ্যালয় থেকে গণিতে স্নাতক এবং 1984 সালে জেফ্রি উলম্যানের তত্ত্বাবধানে স্ট্যানফোর্ড বিশ্ববিদ্যালয় থেকে কম্পিউটার সায়েন্সে পিএইচডি করেন। বাহ্যিক সংযোগ হ্যারি মায়ারসন অ্যাট ব্র্যান্ডিস ইউনিভার্সিটি ফ্যাকাল্টি গাইডঃ হ্যারি মায়ারসন ডিবিএলপিঃ হ্যারি জি. মায়ারসন দ্য ম্যাথমেটিক্স জেনেলজি প্রজেক্ট-হ্যারি মায়ারসন রেফারেন্সস ইয়ার অফ বার্থ মিসিং (জীবিত মানুষ) লিভিং পিপল ইয়েল ইউনিভার্সিটির প্রাক্তন শিক্ষার্থী স্ট্যানফোর্ড বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী মার্কিন কম্পিউটার বিজ্ঞানীরা প্রোগ্রামিং ভাষা গবেষক ব্র্যান্ডিস বিশ্ববিদ্যালয়ের অনুষদ তাত্ত্বিক কম্পিউটার বিজ্ঞানীরা