Ofer Strichman
اوفر اسٹریچ مین (عبرانی: प्पुर شترئیکمان، پیدائش: 4 ستمبر 1968) ڈیوڈسن انڈسٹریل انجینئرنگ اینڈ مینجمنٹ، ٹیکنیئن-اسرائیل انسٹی ٹیوٹ آف ٹیکنالوجی میں کمپیوٹیشنل منطق اور کمپیوٹر سائنس کے پروفیسر ہیں۔ وہ پروڈکشن انجینئرنگ میں جوزف گرون بلاٹ چیئر رکھتے ہیں۔ ابتدائی زندگی اور تعلیم اوفر سٹرچ مین حیفا میں پیدا ہوئے اور ان کی پرورش ہوئی۔ انہوں نے 1986 میں الائنس ہائی اسکول سے گریجویشن کیا اور آئی ڈی ایف کے اکیڈمک ریزرو پروگرام میں شمولیت اختیار کی۔ انہوں نے 1991 میں ٹیکنیئن سے انڈسٹریل انجینئرنگ (آپریشنز ریسرچ اور انفارمیشن سسٹمز میں مہارت) میں بی ایس سی حاصل کی۔ اس کے بعد انہوں نے ٹیکنیئن میں آپریشنز ریسرچ اینڈ انفارمیشن سسٹمز میں ایم ایس سی کی ڈگری حاصل کرتے ہوئے آئی ڈی ایف میں چھ سال خدمات انجام دیں۔ آئی ڈی ایف چھوڑنے کے بعد، انہوں نے 1997 میں پروفیسر امیر پنولی کی نگرانی میں اسرائیل کے ریہووٹ میں ویزمین انسٹی ٹیوٹ میں پی ایچ ڈی پروگرام شروع کیا۔ انہوں نے رسمی طریقوں اور کمپیوٹیشنل منطق میں مہارت حاصل کی، اور خاص طور پر مرتب کرنے والوں کے لیے ترجمہ کی توثیق، باؤنڈڈ ماڈل چیکنگ، اور فیصلہ سازی کے طریقہ کار میں مہارت حاصل کی۔ ان کے مقالے کا عنوان 'توثیق کے لیے موثر فیصلہ سازی کے طریقہ کار' تھا۔ 2001 میں انہوں نے پروفیسر ایڈمنڈ کلارک کی سرپرستی میں کارنیگی میلن یونیورسٹی میں پوسٹ ڈاک پوزیشن شروع کی، جہاں انہوں نے ماڈل چیکنگ میں مہارت حاصل کی۔ تعلیمی کیریئر اسٹریچ مین نے 2003 میں ٹیکنیئن میں انڈسٹریل انجینئرنگ اینڈ مینجمنٹ کی فیکلٹی میں انفارمیشن سسٹمز گروپ میں بطور سینئر لیکچرر شمولیت اختیار کی۔ انہیں 2009 میں ایسوسی ایٹ پروفیسر اور 2017 میں مکمل پروفیسر کے عہدے پر ترقی دی گئی۔ 2020 میں انہیں پروڈکشن انجینئرنگ میں جوزف گرون بلاٹ چیئر سے نوازا گیا۔ 2003-2015 سالوں میں ہر موسم گرما کے دوران، اسٹریچ مین پٹسبرگ کے سافٹ ویئر انجینئرنگ انسٹی ٹیوٹ میں وزٹنگ سائنسدان تھے۔ وہ 2004 تک 6 سال تک آئی بی ایم ریسرچ کے مشیر رہے۔ 2010 میں وہ ریڈمنڈ، واشنگٹن میں مائیکروسافٹ ریسرچ میں وزٹنگ سائنسدان تھے۔ ریسرچ پروفیسر سٹرچ مین کے اہم تحقیقی شعبے رسمی تصدیق اور کمپیوٹیشنل منطق ہیں۔ وہ، ساتھی اسرائیلی سائنسدان بینی گوڈلن کے ساتھ مل کر، تکراری پروگراموں کی مساوات کو ثابت کرنے کے لیے ایک تکنیک کو بیان کرنے کے لیے 'رجعت کی تصدیق' کی اصطلاح وضع کرنے اور مختلف فیصلہ سازی کے طریقہ کار (زیادہ تر غیر تشریح شدہ افعال کے ساتھ مساوات کے لیے) تیار کرنے کے لیے جانا جاتا ہے۔ آنرز اور ایوارڈز اسٹریچ مین نے 2010 میں ٹیکنیئن کا گٹورتھ ایوارڈ جیتا، اور 2021 میں "اطمینان بخش ماڈیولو تھیوریز (ایس ایم ٹی) کے نظریہ اور عمل کی بنیادوں میں اہم شراکت" کے لیے سی اے وی ایوارڈ جیتا۔ کئی سافٹ ویئر ٹولز (ایک ایس اے ٹی سولور، اور ایک سی ایس پی سولور) جو ان کی نگرانی میں ان کے طلباء نے تیار کیے تھے، نے بین الاقوامی مقابلوں میں سونے اور چاندی کے تمغے جیتے۔ اشاعت کی کتابیں فیصلہ کے طریقہ کار-ڈینیل کروننگ کے ساتھ مل کر ایک الگورتھمک نقطہ نظر۔ سپرنگر-ورلاگ، 2008۔ توثیق کے لیے موثر فیصلہ سازی کے طریقہ کار (اسٹرچ مین کی پی ایچ ڈی اشاعتوں کا دوبارہ ترمیم شدہ مجموعہ)۔ ایل اے پی لیمبرٹ اکیڈمک پبلشنگ، 2010۔ منتخب مضامین بالآخر انکریمنٹل SAT۔ پروک۔ اطمینان بخش جانچ کے نظریہ اور اطلاق پر 17 ویں بین الاقوامی کانفرنس (SAT '14)۔ الیگزینڈر نیڈل اور وڈم ریوچن کے ساتھ، 2014۔ ریزولوشن کے ساتھ موثر ایم یو ایس نکالنا۔ پروک۔ کمپیوٹر ایڈیڈ ڈیزائن میں رسمی طریقوں پر 13 ویں کانفرنس (ایف ایم سی اے ڈی '13)۔ وڈم ریوچن اور الیگزینڈر نادیل کے ساتھ، 2013۔ رجعت کی تصدیق: اسی طرح کے پروگراموں کی مساوات کو ثابت کرنا۔ سافٹ ویئر ٹیسٹنگ، تصدیق اور وشوسنییتا، 23 (3) 241-258، 2013۔ بینی گوڈلن کے ساتھ، 2013۔ پروگراموں کے باہمی خاتمے کو ثابت کرنا۔ پروک۔ آٹھویں حیفا تصدیق کانفرنس (ایچ وی سی '12)۔ ڈیما ایلینبوجن اور سموئیل کاٹز کے ساتھ، 2012۔ لکیری ٹائم میں ریزولوشن پروف کے سائز کو کم کرنا۔ جرنل آن سافٹ ویئر ٹولز اینڈ ٹیکنالوجی ٹرانسفر (ایس ٹی ٹی ٹی)، جلد 13، شمارہ 3، صفحہ 263، 2011۔ عمر بار ایلان، اوڈڈ فوہرمن، شلومو ہوری اور اوہاد شاچم کے ساتھ مل کر، 2011۔ ثبوت پیدا کرنے والا سی ایس پی حل کنندہ۔ پروک۔ ایسوسی ایشن فار دی ایڈوانسمنٹ آف آرٹیفیشل انٹیلی جنس (اے اے اے آئی '10) کی 24 ویں کانفرنس۔ مائیکل ویکلر کے ساتھ، 2010۔ L * کے ساتھ مفروضہ-ضمانت استدلال کے لیے تین اصلاحات۔ سسٹم ڈیزائن میں رسمی طریقے، جلد۔ 32، نمبر 3، صفحات 267-284، 2008۔ ساگر چاکی کے ساتھ، 2008۔ ایس اے ٹی پر مبنی باؤنڈڈ ماڈل چیکنگ کے مسئلے کے لیے کٹائی کی تکنیکیں۔ پروک۔ درست ہارڈ ویئر ڈیزائن اور تصدیق کے طریقوں پر 11 ویں ایڈوانسڈ ریسرچ ورکنگ کانفرنس (CHARME '01)، جلد۔ کمپیوٹر سائنس میں لیکچر نوٹس کے 2144، صفحات 58-70، 2001۔ باؤنڈڈ ماڈل چیکنگ کے لیے SAT چیکرس کو ٹیون کرنا۔ کمپیوٹر ایڈیڈ تصدیق پر بین الاقوامی کانفرنس (سی اے وی)، 2000، صفحات 480-494۔ حوالہ جات بیرونی روابط اوفر اسٹریچ مین کا صفحہ، ٹیکنیئن اوفر اسٹریچ مین کا صفحہ، ڈی بی ایل پی نظریاتی کمپیوٹر سائنسدانوں کی پیدائش 1968 اسرائیلی کمپیوٹر سائنسدان زندہ لوگ ٹیکنیئن کا تعلیمی عملہ-اسرائیل انسٹی ٹیوٹ آف ٹیکنالوجی ویزمین انسٹی ٹیوٹ آف سائنس کے سابق طلباء