Natarajan Shankar
نٹراجن شنکر ایک کمپیوٹر سائنسدان ہیں جو مینلو پارک، کیلیفورنیا میں ایس آر آئی انٹرنیشنل میں کام کر رہے ہیں، جہاں وہ علامتی تجزیہ لیبارٹری کی قیادت کرتے ہیں۔ ایجوکیشن شنکر نے 1986 میں آسٹن میں ٹیکساس یونیورسٹی سے مشیر رابرٹ ایس بوئر اور جے اسٹروتھر مور کے تحت کمپیوٹر سائنس میں پی ایچ ڈی کی ڈگری حاصل کی۔ ان کا پی ایچ ڈی مقالہ 1994 میں کیمبرج یونیورسٹی پریس کی طرف سے "میٹامیتھمیٹکس، مشینیں، اور گوڈل کا ثبوت" کتاب کے طور پر شائع ہوا تھا۔ کیریئر شنکر نے ابتدائی طور پر 1986 سے 1988 تک اسٹینفورڈ یونیورسٹی میں ریسرچ ایسوسی ایٹ کے طور پر خدمات انجام دیں۔ 1989 میں انہوں نے ایس آر آئی انٹرنیشنل کی کمپیوٹر سائنس لیبارٹری میں شمولیت اختیار کی۔ ایس آر آئی میں رہتے ہوئے، اس نے بوئر-مور تھیوریم کہاوت کا استعمال میٹا تھیوریمز کو ثابت کرنے کے لیے کیا ہے جیسے کہ ٹاٹولوجی تھیوریم، گوڈل کا نامکمل تھیوریم اور چرچ-راسر تھیوریم۔ انہوں نے خودکار استدلال کی ٹیکنالوجی، کٹوتی کے نظام اور کمپیوٹیشنل انجنوں کی ترقی میں اہم کردار ادا کیا ہے، جس میں پروٹوٹائپ تصدیق کا نظام بھی شامل ہے۔ 2009 میں انہیں ایس آر آئی فیلو نامزد کیا گیا۔ فیلوشپ غیر معمولی عملے کے ارکان کو سائنس میں ان کی شاندار شراکت کے لیے تسلیم کرتی ہے۔ ایس آر آئی میں کمپیوٹر سائنس لیبارٹری میں دوسرے ایس آر آئی فیلوز پیٹر جی نیومن، جان رشبی، پیٹرک لنکن اور کیرولن ٹیلکوٹ ہیں۔ ۔