Robert L. Constable
রবার্ট লি কনস্টেবল (জন্ম 1942) একজন মার্কিন কম্পিউটার বিজ্ঞানী। তিনি কম্পিউটার বিজ্ঞানের অধ্যাপক এবং কর্নেল বিশ্ববিদ্যালয়ের কম্পিউটিং ও তথ্য বিজ্ঞান অনুষদের প্রথম ও প্রাক্তন ডিন। তিনি কম্পিউটার প্রোগ্রাম এবং গাণিতিক প্রমাণ, বিশেষত এন. ইউ. পি. আর. এল সিস্টেমের সংযোগ স্থাপনের কাজের জন্য পরিচিত। নুপ্রল-এর আগে তিনি পিএল/সিভি ফর্মাল সিস্টেম এবং ভেরিফায়ারে কাজ করেছিলেন। প্রিন্সটনে অধ্যয়নরত অবস্থায় রবার্টের জুনিয়র থিসিসের তত্ত্বাবধান করছিলেন অ্যালনজো চার্চ। কনস্টেবল 1968 সালে স্টিফেন ক্লেইনের অধীনে পিএইচডি অর্জন করেন এবং এডমন্ড এম ক্লার্ক, রবার্ট হার্পার, কার্ট মেহলহর্ন, স্টিভেন মাচনিক, পাভেল নাওমভ এবং রায়ান স্ট্যানসিফার সহ 40 জনেরও বেশি শিক্ষার্থীর তত্ত্বাবধান করেছেন। তিনি অ্যাসোসিয়েশন ফর কম্পিউটিং মেশিনারির একজন ফেলো। কনস্টেবল মার্কটোবার্ডফ সামার স্কুলের পরিচালক ছিলেন। নির্বাচিত প্রকাশনা আর. এল. কনস্টেবল এবং এম. জে. ও 'ডোনেল। এ প্রোগ্রামিং লজিক, উইন্থ্রপ, কেমব্রিজ, 1978। আর. এল. কনস্টেবল, এস. ডি. জনসন এবং সি. ডি. আইচেনল্যাব। পিএল/সিভি2 প্রোগ্রামিং লজিকের একটি ভূমিকা। লেকচার নোটস ইন কম্পিউটার সায়েন্স 135, স্প্রিংগার-ভার্লাগ, 1982 পিআরএল গ্রুপ। এন. ইউ. পি. আর. এল প্রুফ ডেভেলপমেন্ট সিস্টেমের সাহায্যে গণিত প্রয়োগ করা। প্রেন্টিস-হল, এঙ্গেলউড ক্লিফস, এনজে, 1986। তথ্যসূত্র বাহ্যিক লিঙ্কগুলি কর্নেল বিশ্ববিদ্যালয়ের কম্পিউটিং ও তথ্য বিজ্ঞান বিভাগের হোমপেজে জীবিত মানুষ জন্মস্থান নিখোঁজ (জীবিত মানুষ) উইসকনসিন বিশ্ববিদ্যালয়-ম্যাডিসন বিশ্ববিদ্যালয়ের প্রাক্তন শিক্ষার্থী কর্নেল বিশ্ববিদ্যালয়ের অনুষদ আমেরিকান কম্পিউটার বিজ্ঞানীরা অ্যাসোসিয়েশন ফর কম্পিউটিং মেশিনারির ফেলো 1942 জন্ম