لورانس بولسون

لورانس تشارلز بولسون عالم حاسوب أمريكي . وهو أستاذ المنطق الحسابي في مختبر الحاسوب بجامعة كامبريدج، وزميل في كلية كلير بجامعة كامبريدج . ^{[ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ]}

تخرج بولسون من معهد كاليفورنيا للتكنولوجيا عام 1977، ^{[ 10 ]} وحصل على درجة الدكتوراه في علوم الحاسوب من جامعة ستانفورد عام 1981 عن بحثه في لغات البرمجة والمترجمات تحت إشراف جون إل. هينيسي . ^{[ 6 ] [ 11 ]}

انضم بولسون إلى جامعة كامبريدج عام ١٩٨٣، وأصبح زميلًا في كلية كلير، كامبريدج عام ١٩٨٧. ويُعرف بشكلٍ خاص بكتابه الرائد في لغة البرمجة ML ، وهو كتاب " ML للمبرمج العامل" . ^{[ ١٢ ] [ ١٣ ]} يرتكز بحثه على برنامج إثبات النظريات التفاعلي "إيزابيل" ، الذي قدمه عام ١٩٨٦. ^{[ ١٤ ]} وقد عمل على التحقق من صحة بروتوكولات التشفير باستخدام التعريفات الاستقرائية ، ^{[ ١٥ ]} كما قام بصياغة الكون القابل للبناء لكورت غودل . وقد طوّر مؤخرًا برنامجًا جديدًا لإثبات النظريات، "ميتي تارسكي"، ^{[ ٣ ]} للدوال الخاصة ذات القيم الحقيقية. ^{[ ١٦ ]}

قدّم بولسون محاضرة لطلاب البكالوريوس في برنامج علوم الحاسوب بعنوان "المنطق والبرهان" ^{[ 17 ]} ، والتي تغطي البرهان الآلي للنظريات والأساليب ذات الصلة. كما كان يُدرّس سابقًا "أساسيات علوم الحاسوب" ^{[ 18 ]} ، الذي يُقدّم البرمجة الوظيفية ، ولكن تولى تدريس هذه المادة كلٌ من آلان مايكروفت وأماندا بروروك في عام 2017 ^{[ 19 ]} ، ثم أنيل مادهافابيدي وأماندا بروروك في عام 2019 ^{[ 20 ].}

انتُخب بولسون زميلًا في الجمعية الملكية (FRS) في عام 2017 ، ^{[ 2 ]} وزميلًا في رابطة آلات الحوسبة في عام 2008 ^{[ 4 ]} وأستاذًا متميزًا منتسبًا للمنطق في المعلوماتية في جامعة ميونخ التقنية . ^{[ 21 ]}

لدى بولسون طفلان من زوجته الأولى، الدكتورة سوزان ماري بولسون، التي توفيت عام 2010. ^{[ 22 ]} ومنذ عام 2012، وهو متزوج من الدكتورة إيلينا تشوغونوفا. ^{[ 1 ]}