Robert L. Constable
رابرٹ لی کانسٹیبل (پیدائش 1942) ایک امریکی کمپیوٹر سائنسدان ہے۔ وہ کمپیوٹر سائنس کے پروفیسر اور کارنیل یونیورسٹی میں فیکلٹی آف کمپیوٹنگ اینڈ انفارمیشن سائنس کے پہلے اور سابق ڈین ہیں۔ وہ کمپیوٹر پروگراموں اور ریاضیاتی ثبوتوں، خاص طور پر نیوپرل سسٹم کو جوڑنے پر اپنے کام کے لیے جانا جاتا ہے۔ نپرل سے پہلے، انہوں نے پی ایل/سی وی رسمی نظام اور تصدیق کنندہ پر کام کیا۔ ایلونزو چرچ رابرٹ کے جونیئر مقالے کی نگرانی کر رہا تھا جب وہ پرنسٹن میں پڑھ رہے تھے۔ کانسٹیبل نے 1968 میں اسٹیفن کلین کے تحت پی ایچ ڈی حاصل کی اور 40 سے زیادہ طلباء کی نگرانی کی، جن میں ایڈمنڈ ایم کلارک، رابرٹ ہارپر، کرٹ مہل ہورن، اسٹیون مچنیک، پاول نوموف، اور ریان اسٹینسیفر شامل ہیں۔ وہ ایسوسی ایشن فار کمپیوٹنگ مشینری کے فیلو ہیں۔ کانسٹیبل مارکٹوبرڈورف سمر اسکول کا ڈائریکٹر رہا ہے۔ منتخب اشاعتیں آر ایل کانسٹیبل اور ایم جے او ڈونیل۔ اے پروگرامنگ لاجک، ونتھروپ، کیمبرج، 1978۔ آر۔ ایل۔ کانسٹیبل، ایس۔ ڈی۔ جانسن اور سی۔ ڈی۔ آئچنلوب۔ پی ایل/سی وی 2 پروگرامنگ منطق کا تعارف۔ لیکچر نوٹس ان کمپیوٹر سائنس 135، سپرنگر-ورلاگ، 1982 پی آر ایل گروپ۔ نپرل پروف ڈیولپمنٹ سسٹم کے ساتھ ریاضی کو نافذ کرنا۔ پرینٹس-ہال، اینگل ووڈ کلفس، این جے، 1986۔ حوالہ جات بیرونی روابط ہوم پیج ڈیپارٹمنٹ آف کمپیوٹنگ اینڈ انفارمیشن سائنس، کارنیل یونیورسٹی لیونگ پیپل پلیس آف برتھ لاپتہ (زندہ لوگ) یونیورسٹی آف وسکونسن-میڈیسن سابق طلباء کارنیل یونیورسٹی فیکلٹی امریکی کمپیوٹر سائنسدان فیلوز آف دی ایسوسی ایشن فار کمپیوٹنگ مشینری 1942 برتھز