Neil Immerman
নীল ইমারম্যান (জন্ম 24 নভেম্বর 1953, ম্যানহাসেট, নিউ ইয়র্ক) একজন মার্কিন তাত্ত্বিক কম্পিউটার বিজ্ঞানী, যিনি ম্যাসাচুসেটস আমহার্স্ট বিশ্ববিদ্যালয়ের কম্পিউটার বিজ্ঞানের অধ্যাপক। তিনি বর্ণনামূলক জটিলতার অন্যতম প্রধান বিকাশকারী, একটি পদ্ধতি যা তিনি বর্তমানে মডেল চেকিং, ডাটাবেস তত্ত্ব এবং গণনামূলক জটিলতা তত্ত্বের গবেষণায় প্রয়োগ করছেন। অধ্যাপক ইমারম্যান সিয়াম জার্নাল অন কম্পিউটিং অ্যান্ড অফ লজিক্যাল মেথডস ইন কম্পিউটার সায়েন্সের সম্পাদক। তিনি বি. এস. ডিগ্রি লাভ করেন। এবং এম. এস 1974 সালে ইয়েল বিশ্ববিদ্যালয় থেকে ডিগ্রি এবং 1980 সালে কর্নেলের টুরিং পুরস্কার বিজয়ী জুরিস হার্টম্যানিসের তত্ত্বাবধানে কর্নেল বিশ্ববিদ্যালয় থেকে পিএইচডি করেন। 1999 সালে তাঁর 'বর্ণনামূলক জটিলতা' বইটি প্রকাশিত হয়। ইমারম্যান-সেলিপ্সনি উপপাদ্য হিসাবে পরিচিত প্রমাণের জন্য 1995 সালে তাত্ত্বিক কম্পিউটার বিজ্ঞানে গোডেল পুরস্কারের বিজয়ী হলেন ইমারম্যান এবং রবার্ট সেলিপ্সনি, যার ফলস্বরূপ অনির্ধারিত স্থান জটিলতা শ্রেণীগুলি পরিপূরকের অধীনে বন্ধ হয়ে যায়। ইমারম্যান একজন এসিএম ফেলো এবং গুগেনহাইম ফেলো। রেফারেন্স এক্সটার্নাল লিঙ্ক ইউ-তে ইমারম্যানের হোম পেজ। মাস। অ্যামহার্স্ট আমেরিকান কম্পিউটার বিজ্ঞানী কর্নেল বিশ্ববিদ্যালয়ের প্রাক্তনী ফেলো অ্যাসোসিয়েশন ফর কম্পিউটিং মেশিনারি গডেল পুরস্কার বিজয়ী ম্যাসাচুসেটস বিশ্ববিদ্যালয় অ্যামহার্স্ট অনুষদ জীবিত মানুষ তাত্ত্বিক কম্পিউটার বিজ্ঞানী ম্যানহাসেট, নিউইয়র্কের মানুষ নিউইয়র্কের বিজ্ঞানীরা 1953 জন্ম