Vaughan Pratt
وان پراٹ (پیدائش 12 اپریل 1944) اسٹینفورڈ یونیورسٹی میں پروفیسر ایمریٹس ہیں، جو کمپیوٹر سائنس کے شعبے میں ابتدائی علمبردار تھے۔ 1969 کے بعد سے، پراٹ نے بنیادی شعبوں جیسے سرچ الگورتھم، شارٹنگ الگورتھم، اور پرائملٹی ٹیسٹنگ میں کئی تعاون کیے ہیں۔ حال ہی میں، ان کی تحقیق نے سمورتی نظاموں اور چو خالی جگہوں کے رسمی ماڈلنگ پر توجہ مرکوز کی ہے۔ آسٹریلیا میں پرورش پانے والے اور ناکس گرامر اسکول میں تعلیم حاصل کرنے والے، جہاں وہ 1961 میں ڈیوکس تھے، پراٹ نے سڈنی یونیورسٹی میں تعلیم حاصل کی، جہاں انہوں نے 1970 میں اپنا ماسٹرز مقالہ مکمل کیا، جو اب نیچرل لینگویج پروسیسنگ کے نام سے جانا جاتا ہے۔ اس کے بعد وہ امریکہ چلے گئے، جہاں انہوں نے مشیر ڈونلڈ نوتھ کی نگرانی میں صرف 20 مہینوں میں اسٹینفورڈ یونیورسٹی میں پی ایچ ڈی کا مقالہ مکمل کیا۔ ان کا مقالہ شیلسورٹ چھانٹنے والے الگورتھم اور چھانٹنے والے نیٹ ورک کے تجزیے پر مرکوز تھا۔ پراٹ ایم آئی ٹی (1972 سے 1976) میں اسسٹنٹ پروفیسر اور پھر ایسوسی ایٹ پروفیسر (1976 سے 1982) رہے۔ 1974 میں، نوتھ اور جیمز ایچ مورس کے تعاون سے کام کرتے ہوئے، پراٹ نے اپنا کام مکمل کیا اور رسمی شکل دی جو انہوں نے 1970 میں برکلے میں گریجویٹ طالب علم کی حیثیت سے شروع کیا تھا۔ اس کا مشترکہ نتیجہ نوتھ-موریس-پراٹ پیٹرن میچنگ الگورتھم تھا۔ 1976 میں، انہوں نے متحرک منطق کا نظام تیار کیا، جو ساختی رویے کا ایک موڈل منطق ہے۔ وہ ایم آئی ٹی سے اسٹینفورڈ (1980 سے 1981) تک سببیٹیکل پر چلے گئے، اور 1981 میں اسٹینفورڈ میں مکمل پروفیسر مقرر ہوئے۔ پراٹ نے 1980 سے 1982 تک اسٹینفورڈ میں سن ورک سٹیشن پروجیکٹ کی ہدایت کاری کی۔ انہوں نے سن مائیکرو سسٹمز کے قیام اور ابتدائی آپریشن میں مختلف طریقوں سے تعاون کیا، اس کے پہلے سال کے لیے مشیر کے کردار میں کام کیا، پھر اگلے دو سالوں کے لیے اسٹینفورڈ سے غیر حاضری کی چھٹی لی، ریسرچ کے ڈائریکٹر بنے، اور آخر کار سن کے مشیر کے طور پر اپنا کردار دوبارہ شروع کیا اور 1985 میں اسٹینفورڈ واپس آئے۔ انہوں نے سن مائیکرو سسٹمز کا لوگو بھی ڈیزائن کیا، جس میں لفظ "سن" کی چار انٹرلییوڈ کاپیاں ہیں ؛ یہ ایک ایمبیگرام ہے۔ پراٹ 2000 میں اسٹینفورڈ میں پروفیسر ایمریٹس بن گئے۔ اہم شراکتیں متعدد معروف الگورتھم پر پراٹ کا نام ہے۔ پراٹ سرٹیفکیٹ، جو کسی نمبر کی اولین حیثیت کے مختصر ثبوت ہیں، نے عملی انداز میں مظاہرہ کیا کہ اولین حیثیت کی مؤثر طریقے سے تصدیق کی جا سکتی ہے، بنیادی جانچ کے مسئلے کو پیچیدگی کلاس این پی میں ڈال کر اور پہلا مضبوط ثبوت فراہم کرتے ہوئے کہ مسئلہ شریک این پی مکمل نہیں ہے۔ نوتھ-موریس-پراٹ الگورتھم، جسے پراٹ نے 1970 کی دہائی کے اوائل میں ساتھی اسٹینفورڈ پروفیسر ڈونلڈ نوتھ کے ساتھ مل کر اور مورس سے آزادانہ طور پر ڈیزائن کیا تھا، آج بھی جانا جاتا سب سے موثر عام سٹرنگ سرچ الگورتھم ہے۔ بلوم، فلائیڈ، ریوسٹ اور ٹارجن کے ساتھ، انہوں نے میڈینز کے میڈین کو بیان کیا، جو پہلا بدترین کیس کا بہترین سلیکشن الگورتھم ہے۔ مفید ٹول بلڈنگ پراٹ نے کچھ مفید ٹول بنائے۔ 1976 میں، انہوں نے سی جی او ایل کے بارے میں ایک ایم آئی ٹی اے آئی لیب ورکنگ پیپر لکھا، جو ایم اے سی ایل آئی ایس پی کے لیے ایک متبادل نحو ہے جسے انہوں نے ٹاپ ڈاؤن آپریٹر ترجیحی تجزیہ کے لیے اپنے نمونے کی بنیاد پر ڈیزائن اور نافذ کیا تھا۔ اس کے تجزیہ کار کو بعض اوقات "پراٹ تجزیہ کار" کہا جاتا ہے اور اسے بعد کے نظاموں میں استعمال کیا گیا ہے، جیسے کہ میکسیما۔ ڈگلس کرک فورڈ نے اسے جے ایس لنٹ کے لیے بنیادی تجزیہ کار کے طور پر بھی استعمال کیا۔ پراٹ نے "ڈی او سی" کے نام سے ایک ٹی ای سی او پر مبنی ٹیکسٹ ایڈیٹر بھی نافذ کیا، جسے بعد میں "زیڈ ای ڈی" کا نام دیا گیا۔ 1999 میں، پراٹ نے دنیا کا سب سے چھوٹا (اس وقت) ویب سرور بنایا-یہ میچ باکس کے سائز کا تھا۔ پراٹ کو 1995 کے بائٹ میگزین کے مضمون میں یہ تجویز پیش کرنے کا سہرا دیا گیا تھا کہ پینٹیم ایف ڈی آئی وی بگ کے اس وقت انٹیل یا آئی بی ایم کی پیش گوئی سے بھی بدتر نتائج ہو سکتے ہیں۔ آج پراٹ کا وسیع اثر ہے۔ اپنی اسٹینفورڈ پروفیسر شپ کے علاوہ، وہ کم از کم سات پیشہ ورانہ تنظیموں میں رکنیت رکھتے ہیں۔ وہ ایسوسی ایشن فار کمپیوٹنگ مشینری کے فیلو ہیں اور ریاضی کے تین بڑے جرائد کے ادارتی بورڈ میں ہیں۔ وہ 2010 میں اپنے دروازے بند کرنے سے پہلے دس سال تک ٹی آئی کیو آئی ٹی کمپیوٹرز انکارپوریٹڈ کے بانی، چیئرمین اور سی ٹی او بھی رہے۔ حوالہ جات بیرونی لنکس اسٹینفورڈ یونیورسٹی کے خلاصہ صفحہ پر فیکلٹی ہوم پیج، پراٹ کی بہت سی اشاعتوں کے مکمل متن ڈاؤن لوڈ کے ساتھ۔ ڈگلس کروک فورڈ جاوا اسکرپٹ میں ایک پراٹ پارسر بنانے کے ذریعے چلتا ہے۔ 1944 پیدائشیں زندہ لوگ آسٹریلیائی کمپیوٹر سائنسدان فیلوز آف دی ایسوسی ایشن فار کمپیوٹنگ مشینری اسٹینفورڈ یونیورسٹی کے سابق طلباء اسٹینفورڈ یونیورسٹی اسکول آف انجینئرنگ فیکلٹی نظریاتی کمپیوٹر سائنسدان لوگ ناکس گرامر اسکول میں تعلیم یافتہ تھے