Lawrence Paulson
لارنس چارلس پالسن (پیدائش 1955) ایک امریکی کمپیوٹر سائنسدان ہے۔ وہ یونیورسٹی آف کیمبرج کمپیوٹر لیبارٹری میں کمپیوٹیشنل لاجک کے پروفیسر اور کلیئر کالج، کیمبرج کے فیلو ہیں۔ ایجوکیشن پالسن نے 1977 میں کیلیفورنیا انسٹی ٹیوٹ آف ٹیکنالوجی سے گریجویشن کیا، اور 1981 میں سٹینفورڈ یونیورسٹی سے کمپیوٹر سائنس میں پی ایچ ڈی حاصل کی تاکہ پروگرامنگ زبانوں اور جان ایل ہینسی کی نگرانی میں مرتب کرنے والے مرتبوں پر تحقیق کی جا سکے۔ ریسرچ پالسن 1983 میں کیمبرج یونیورسٹی میں آئے اور 1987 میں کلیئر کالج، کیمبرج کے فیلو بن گئے۔ وہ ورکنگ پروگرامر کے لیے پروگرامنگ زبان ایم ایل، ایم ایل پر بنیادی متن کے لیے مشہور ہیں۔ ان کی تحقیق انٹرایکٹو تھیوریم کہاوت ازابیل کے ارد گرد مبنی ہے، جسے انہوں نے 1986 میں متعارف کرایا تھا۔ انہوں نے انڈکٹو تعریفوں کا استعمال کرتے ہوئے کرپٹوگرافک پروٹوکول کی تصدیق پر کام کیا ہے، اور انہوں نے کرٹ گوڈل کی تعمیری کائنات کو بھی باقاعدہ بنایا ہے۔ حال ہی میں اس نے حقیقی قدر والے خصوصی افعال کے لیے ایک نیا تھیوریم کہاوت، میٹی ٹارسکی بنایا ہے۔ پالسن کمپیوٹر سائنس ٹرپوس میں ایک انڈرگریجویٹ لیکچر کورس پڑھاتا ہے، جس کا عنوان منطق اور ثبوت ہے جس میں خودکار نظریہ ثابت کرنے اور متعلقہ طریقوں کا احاطہ کیا گیا ہے۔ (وہ فاؤنڈیشنز آف کمپیوٹر سائنس پڑھاتے تھے جو فنکشنل پروگرامنگ متعارف کراتا ہے، لیکن اس کورس کو 2017 میں ایلن مائکرافٹ اور امندا پروروک نے اور پھر 2019 میں انیل مادھوپیڈی اور امندا پروروک نے سنبھال لیا۔) ایوارڈز اور اعزازات پالسن کو 2017 میں رائل سوسائٹی (ایف آر ایس) کا فیلو، 2008 میں ایسوسی ایشن فار کمپیوٹنگ مشینری کا فیلو اور میونخ کی ٹیکنیکل یونیورسٹی میں لاجک ان انفارمیٹکس کا ممتاز وابستہ پروفیسر منتخب کیا گیا۔ ذاتی زندگی پالسن کے اپنی پہلی بیوی ڈاکٹر سوسن میری پالسن سے دو بچے ہیں، جن کا 2010 میں انتقال ہوا۔ 2012 سے، اس کی شادی ڈاکٹر ایلینا چوگونووا سے ہوئی ہے۔ حوالہ جات 1955 پیدائشیں زندہ لوگ امریکی کمپیوٹر سائنس دان یونیورسٹی آف کیمبرج کمپیوٹر لیبارٹری کے اراکین کیلیفورنیا انسٹی ٹیوٹ آف ٹیکنالوجی کے سابق طلباء اسٹینفورڈ یونیورسٹی کے سابق طلباء کلیئر کالج، کیمبرج کے فیلوز ایسوسی ایشن فار کمپیوٹنگ مشینری فیلوز آف دی رائل سوسائٹی رسمی طریقے لوگ