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 जन्म जीवित लोग ऑस्ट्रेलियाई कंप्यूटर वैज्ञानिक संगणकीय मशीनरी संगठन के अध्येता स्टैनफोर्ड विश्वविद्यालय के पूर्व छात्र स्टैनफोर्ड विश्वविद्यालय स्कूल ऑफ इंजीनियरिंग संकाय सैद्धांतिक कंप्यूटर वैज्ञानिक लोग नॉक्स ग्रामर स्कूल में शिक्षित हुए