Lawrence Paulson
लॉरेंस चार्ल्स पॉलसन (जन्म 1955) एक अमेरिकी कंप्यूटर वैज्ञानिक हैं। वे कैम्ब्रिज विश्वविद्यालय की कंप्यूटर प्रयोगशाला में कम्प्यूटेशनल लॉजिक के प्रोफेसर हैं और क्लेयर कॉलेज, कैम्ब्रिज के फेलो हैं। शिक्षा पॉलसन ने 1977 में कैलिफोर्निया प्रौद्योगिकी संस्थान से स्नातक की उपाधि प्राप्त की, और 1981 में जॉन एल. हेनेसी द्वारा पर्यवेक्षित प्रोग्रामिंग भाषाओं और संकलक-संकलकों पर अनुसंधान के लिए स्टैनफोर्ड विश्वविद्यालय से कंप्यूटर विज्ञान में पीएचडी प्राप्त की। शोध पॉलसन 1983 में कैम्ब्रिज विश्वविद्यालय में आए और 1987 में क्लेयर कॉलेज, कैम्ब्रिज के फेलो बने। उन्हें वर्किंग प्रोग्रामर के लिए प्रोग्रामिंग भाषा एमएल, एमएल पर आधारशिला पाठ के लिए जाना जाता है। उनका शोध संवादात्मक प्रमेय कहावत इसाबेल के इर्द-गिर्द आधारित है, जिसे उन्होंने 1986 में पेश किया था। उन्होंने प्रेरक परिभाषाओं का उपयोग करके क्रिप्टोग्राफिक प्रोटोकॉल के सत्यापन पर काम किया है, और उन्होंने कर्ट गोडेल के निर्माण योग्य ब्रह्मांड को भी औपचारिक रूप दिया है। हाल ही में उन्होंने वास्तविक मूल्य वाले विशेष कार्यों के लिए एक नई प्रमेय कहावत, मेटीटार्स्की का निर्माण किया है। पॉलसन कंप्यूटर साइंस ट्राइपोस में एक स्नातक व्याख्यान पाठ्यक्रम पढ़ाते हैं, जिसका शीर्षक तर्क और प्रमाण है, जिसमें स्वचालित प्रमेय साबित करने और संबंधित विधियों को शामिल किया गया है। (वह फाउंडेशन ऑफ कंप्यूटर साइंस पढ़ाते थे जो कार्यात्मक प्रोग्रामिंग की शुरुआत करता है, लेकिन इस पाठ्यक्रम को 2017 में एलन माइक्रॉफ्ट और अमांडा प्रोरोक और फिर 2019 में अनिल माधवपेड्डी और अमांडा प्रोरोक द्वारा लिया गया था।) पुरस्कार और सम्मान पॉलसन को 2017 में रॉयल सोसाइटी (एफआरएस) का फेलो, 2008 में एसोसिएशन फॉर कम्प्यूटिंग मशीनरी का फेलो और म्यूनिख के तकनीकी विश्वविद्यालय में सूचना विज्ञान में तर्क के लिए एक प्रतिष्ठित संबद्ध प्रोफेसर चुना गया था। पॉलसन के अपनी पहली पत्नी डॉ. सुसान मैरी पॉलसन से दो बच्चे हैं, जिनकी 2010 में मृत्यु हो गई थी। 2012 से, उन्होंने डॉ. एलेना चौगौनोवा से शादी की है। 1955 जन्म जीवित लोग अमेरिकी कंप्यूटर वैज्ञानिक कैम्ब्रिज विश्वविद्यालय के कंप्यूटर प्रयोगशाला के सदस्य कैलिफोर्निया प्रौद्योगिकी संस्थान के पूर्व छात्र स्टैनफोर्ड विश्वविद्यालय के पूर्व छात्र क्लेयर कॉलेज, कैम्ब्रिज के अध्येता रॉयल सोसाइटी के कम्प्यूटिंग मशीनरी अध्येता संघ के अध्येता औपचारिक तरीके लोग