Deepak Kapur
دیپک کپور (پیدائش 24 اگست 1950) یونیورسٹی آف نیو میکسیکو کے شعبہ کمپیوٹر سائنس میں ممتاز پروفیسر ہیں۔ کپور امرتسر میں واقع ایک نچلے متوسط طبقے کے خاندان میں پیدا ہوئے، جہاں ان کے والد نوال کشور کپور کپڑے کے دلال تھے ؛ ان کی والدہ، بیملا واٹی، ایک گھریلو خاتون تھیں۔ ایجوکیشن کپور کی ابتدائی تعلیم گورنمنٹ پرائمری اسکول، کٹرا خزانہ، امرتسر میں تیسری جماعت تک رہی۔ اس کے بعد انہیں ودیا بھوشن پرائمری اسکول، امرتسر منتقل کر دیا گیا۔ 5 ویں جماعت کے بعد، اسے 11 ویں جماعت تک دوبارہ دیانند اینگلو ویدک (ڈی اے وی) ہائر سیکنڈری اسکول میں اسکول تبدیل کرنا پڑا۔ وہ 1966 میں انڈین انسٹی ٹیوٹ آف ٹیکنالوجی (آئی آئی ٹی) کے داخلہ امتحان میں منتخب ہوئے تھے۔ انہوں نے 1971 میں آئی آئی ٹی کانپور سے الیکٹرک انجینئرنگ میں انڈرگریجویٹ ڈگری (B.Tech) اور ایم ٹیک حاصل کی۔ مئی 1973 میں آئی آئی ٹی کانپور سے بھی کمپیوٹر سائنس میں ڈگری حاصل کی۔ تعلیمی کیریئر مارچ 1980 میں ایم آئی ٹی سے فارغ التحصیل ہونے کے بعد، کپور نے جی ای کارپوریٹ ریسرچ اینڈ ڈویلپمنٹ (جی ای سی آر ڈی)، شینکٹیڈی، نیو یارک میں تحقیقی عملے کے طور پر شمولیت اختیار کی، جہاں انہوں نے دسمبر 1987 تک کام کیا۔ جی ای سی آر ڈی میں رہتے ہوئے، وہ رینسلیر پولی ٹیکنک انسٹی ٹیوٹ (آر پی آئی) میں ایک ملحقہ پروفیسر تھے، جہاں انہوں نے ٹرم ری رائٹنگ پر مبنی خودکار استدلال پر ایک کورس پڑھایا۔ آر پی آئی میں انہوں نے پی ایچ ڈی کی مشترکہ نگرانی بھی کی۔ عبد اللہ کنڈری روڈی اور ہنتاؤ ژانگ کے مقالے۔ کپور کو 1988 میں البانی یونیورسٹی، اسٹیٹ یونیورسٹی آف نیویارک میں ایک مکمل پروفیسر کے طور پر رکھا گیا تھا۔ 1998 میں کپور کو ممتاز تحقیقی ایوارڈ ملا۔ کپور دسمبر 1998 میں یونیورسٹی آف نیو میکسیکو (یو این ایم) میں کمپیوٹر سائنس کے شعبہ کے سربراہ بنے، یہ عہدہ انہوں نے جون 2006 تک سنبھالا۔ 2007 میں کپور کو یو این ایم میں ممتاز پروفیسر بنایا گیا۔ مئی 2010 میں کپور کو یو این ایم کے اسکول آف انجینئرنگ کی طرف سے سینئر فیکلٹی ریسرچ ایکسی لینس ایوارڈ سے نوازا گیا۔ کپور نے میساچوسٹس انسٹی ٹیوٹ آف ٹیکنالوجی، میکس پلانک انسٹی ٹیوٹ فار انفارمیٹکس، ٹاٹا انسٹی ٹیوٹ آف فنڈامینٹل ریسرچ، ممبئی، انڈین انسٹی ٹیوٹ آف ٹیکنالوجی، دہلی، انسٹی ٹیوٹ آف سافٹ ویئر (بیجنگ)، چینی اکیڈمی آف سائنسز (آئی ایس سی اے ایس)، انسٹی ٹیوٹ آئی ایم ڈی ای اے سافٹ ویئر، میڈرڈ سمیت دیگر اداروں میں وزٹنگ تقرریاں کی ہیں۔ کپور نے جی ای کارپوریٹ ریسرچ اینڈ ڈویلپمنٹ، سینڈیا نیشنل لیبز، واٹسن اور فوجیسو لیبز میں آئی بی ایم ریسرچ کے مشیر کے طور پر خدمات انجام دی ہیں۔ کپور 1993-2007 سے جرنل آف آٹومیٹڈ ریزنگ کے ایڈیٹر ان چیف تھے۔ انہوں نے جرنل آف آٹومیٹڈ ریزنگ، جرنل آف سمبولک کمپیوٹیشن، جرنل آف لاجک اینڈ الجبرا پروگرامنگ، جرنل آف اپلائیبل الجبرا ان انجینئرنگ، کمیونیکیشن اینڈ کمپیوٹنگ سمیت کئی جرائد کے ادارتی بورڈ میں خدمات انجام دی ہیں۔ کپور نے لیبنز انٹرنیشنل پروسیڈنگز ان انفارمیٹکس کے بورڈ میں بھی خدمات انجام دیں۔ کپور یونائیٹڈ نیشنز یونیورسٹی-انٹرنیشنل انسٹی ٹیوٹ فار سافٹ ویئر ٹیکنالوجی کے ساتھ ساتھ یونائیٹڈ نیشنز یونیورسٹی-کمپیوٹنگ اینڈ سوسائٹی کے بورڈ ممبر تھے۔ وہ کمپیوٹر سائنس ریسرچ انسٹی ٹیوٹ آف سینڈیا نیشنل لیبارٹریز اور لاس الاموس کمپیوٹر سائنس انسٹی ٹیوٹ (ایل اے سی ایس آئی) کے بورڈ ممبر بھی تھے۔ کپور کو 2009 میں ہربرانڈ ایوارڈ ملا: ریسرچ کپور نے پروگرامنگ زبانوں، رسمی طریقوں بشمول سافٹ ویئر اور ہارڈ ویئر کی تصدیق، آٹومیٹڈ تھیوریم پروونگ، ٹرم ری رائٹنگ، انڈکٹو تھیوریم پروونگ، یونیفیکیشن تھیوری، آٹومیٹڈ ریزنگ الگورتھم کی پیچیدگی، جیومیٹری تھیوریم پروونگ، گروبنر بیس، پیرامیٹرک (جامع) گروبنر بیس، ملٹی ویریٹ ڈکسن رزلٹنٹس پر 150 سے زیادہ مقالے شائع کیے ہیں۔ کپور نے سافٹ ویئر ٹول ری رائٹ رول لیبارٹری (آر آر ایل) تیار کیا، جو اصطلاح دوبارہ لکھنے اور نوتھ-بینڈیکس تکمیل کے طریقہ کار اور اس کی عمومی کاری پر مبنی دنیا کا پہلا تھیوریم کہاوت ہے۔ تھیوریم کہاوت نے مساوات، فرسٹ آرڈر، اور انڈکٹو استدلال کو میکانائز کیا۔ جی ای سی آر ڈی میں، کپور نے جیو میٹر کی ترقی کو ڈیزائن کیا اور اس کی قیادت کی، جو جیومیٹری تھیوریم ثابت کرنے اور کمپیوٹر وژن پر ایپلی کیشنز کے لیے گروبنر کی بنیاد اور پیرامیٹرک گروبنر کی بنیاد پر جیومیٹرک اور الجبرائی استدلال کے لیے ایک نظام ہے۔ البانی یونیورسٹی، اسٹیٹ یونیورسٹی آف نیویارک میں، کپور نے مسسر کے ساتھ مل کر آر آر ایل کے اوپر درجہ بندی کے ثبوت کے انتظام کے لیے ایک ہائپر ٹیکسٹ پر مبنی نظام، ٹیکٹن کی ترقی کی قیادت کی۔ ان نظاموں کو ہارڈ ویئر کی تصدیق، تفصیلات کے تجزیے، ہندسی ماڈلنگ، اور کمپیوٹر وژن کی ایپلی کیشنز میں استعمال کیا گیا ہے۔ منتخب اشاعتیں