J Strother Moore
جے اسٹروتھر مور (اس کا پہلا نام حروف تہجی کا کردار "جے" ہے-مختصر "جے" نہیں۔) ایک کمپیوٹر سائنسدان ہے۔ وہ بوئر-مور سٹرنگ-سرچ الگورتھم، بوئر-مور اکثریت ووٹ الگورتھم، اور بوئر-مور خودکار تھیوریم کہاوت، Nqthm کے شریک ڈویلپر ہیں۔ انہوں نے ڈھانچے کے اشتراک میں اہم شراکت کی جس میں پیس ٹیبل ڈیٹا ڈھانچہ اور ابتدائی منطق پروگرامنگ شامل ہیں۔ بوئیر-مور سٹرنگ سرچ الگورتھم کے کام کاج کی ایک مثال مور کی ویب سائٹ پر دی گئی ہے۔ مور نے 1970 میں میساچوسٹس انسٹی ٹیوٹ آف ٹیکنالوجی میں ریاضی میں بیچلر آف سائنس (بی ایس) اور 1973 میں اسکاٹ لینڈ کی یونیورسٹی آف ایڈنبرا میں کمپیوٹیشنل منطق میں ڈاکٹر آف فلاسفی (پی ایچ ڈی) حاصل کی۔ اس کے علاوہ، مور ACL2 خودکار تھیوریم کہاوت اور اس کے پیشروؤں بشمول Nqthm کے شریک مصنف ہیں، جس کے لیے انہیں رابرٹ ایس بوئر اور میٹ کافمین کے ساتھ 2005 کا ACM سافٹ ویئر سسٹم ایوارڈ ملا۔ انہوں نے اور دوسروں نے پینٹیم ایف ڈی آئی وی بگ کے تناظر میں اے ایم ڈی کے 5 مائکرو پروسیسر کے فلوٹنگ پوائنٹ ڈویژن آپریشنز کی درستگی کو ثابت کرنے کے لیے اے سی ایل 2 کا استعمال کیا۔ خودکار کٹوتی میں ان کی شراکت کے لیے، مور کو رابرٹ ایس بوئیر کے ساتھ 1999 کا ہربرانڈ ایوارڈ ملا، اور 2006 میں انہیں ایسوسی ایشن فار کمپیوٹنگ مشینری میں فیلو کے طور پر شامل کیا گیا۔ مور کو 2007 میں کمپیوٹنگ سسٹمز کے بارے میں خودکار استدلال میں شراکت کے لیے نیشنل اکیڈمی آف انجینئرنگ کا رکن منتخب کیا گیا۔ وہ اے اے اے آئی کے فیلو بھی ہیں۔ انہیں 2015 میں رائل سوسائٹی آف ایڈنبرا کا متعلقہ فیلو منتخب کیا گیا تھا۔ وہ فی الحال ایڈمرل بی آر ہیں۔ آسٹن میں ٹیکساس یونیورسٹی میں کمپیوٹنگ تھیوری میں انمان سینٹینیل چیئر، اور 2001-2009 سے کمپیوٹر سائنس کے شعبہ کے سربراہ تھے۔ کمپیوٹر سائنسز کے شعبہ میں بطور صدر شامل ہونے سے پہلے، انہوں نے آسٹن میں ٹیکساس یونیورسٹی میں اپنے قریبی دوست اور خودکار استدلال کے شعبے میں انتہائی قابل احترام پروفیسرز میں سے ایک، رابرٹ ایس بوئیر سمیت دیگر افراد کے ساتھ مل کر ایک کمپنی، کمپیوٹیشنل لاجک انکارپوریٹڈ تشکیل دی۔ مور راک کلائمبنگ سے لطف اندوز ہوتے ہیں۔ بوئیر-مور اکثریتی ووٹ الگورتھم حوالہ جات بیرونی لنکس "میرے" بہترین خیالات (جے اسٹروتھر مور کے ہوم پیج سے) بوئر-مور فاسٹ سٹرنگ سرچ الگورتھم مشینیں مشینوں کے بارے میں استدلال، جے اسٹروتھر مور کی 2011 میں ای پی ایف ایل میں دی گئی گفتگو، جو ان کے کچھ کاموں کا جائزہ فراہم کرتی ہے۔ امریکی کمپیوٹر سائنس دان رسمی طریقے لوگ میساچوسٹس انسٹی ٹیوٹ آف ٹیکنالوجی اسکول آف سائنس کے سابق طلباء آسٹن میں یونیورسٹی آف ایڈنبرا یونیورسٹی آف ٹیکساس کے سابق طلباء ایسوسی ایشن فار کمپیوٹنگ مشینری لیونگ پیپل کے فیکلٹی فیلوز سال پیدائش لاپتہ (زندہ لوگ) یونائیٹڈ اسٹیٹس نیشنل اکیڈمی آف انجینئرنگ کے ممبران