Lawrence Paulson
લોરેન્સ ચાર્લ્સ પોલસન (જન્મ 1955) એક અમેરિકન કોમ્પ્યુટર વૈજ્ઞાનિક છે. તેઓ યુનિવર્સિટી ઓફ કેમ્બ્રિજ કમ્પ્યુટર લેબોરેટરીમાં કોમ્પ્યુટેશનલ લોજિકના પ્રોફેસર અને ક્લેયર કોલેજ, કેમ્બ્રિજના ફેલો છે. શિક્ષણ પૉલસને 1977માં કેલિફોર્નિયા ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજીમાંથી સ્નાતકની પદવી મેળવી હતી અને 1981માં સ્ટેનફોર્ડ યુનિવર્સિટીમાંથી કમ્પ્યુટર સાયન્સમાં પીએચડીની પદવી મેળવી હતી, જે જ્હોન એલ. હેનેસી દ્વારા દેખરેખ હેઠળની પ્રોગ્રામિંગ ભાષાઓ અને કમ્પાઇલર-કમ્પાઇલર્સ પર સંશોધન માટે હતી. રિસર્ચ પોલસન 1983માં કેમ્બ્રિજ યુનિવર્સિટીમાં આવ્યા હતા અને 1987માં ક્લેયર કોલેજ, કેમ્બ્રિજના ફેલો બન્યા હતા. તેઓ કાર્યકારી પ્રોગ્રામર માટે પ્રોગ્રામિંગ ભાષા એમ. એલ., એમ. એલ. પર પાયાના લખાણ માટે જાણીતા છે. તેમનું સંશોધન ઇન્ટરેક્ટિવ થીયરમ પ્રોવર ઇસાબેલની આસપાસ આધારિત છે, જે તેમણે 1986માં રજૂ કર્યું હતું. તેમણે પ્રેરક વ્યાખ્યાઓનો ઉપયોગ કરીને ક્રિપ્ટોગ્રાફિક પ્રોટોકોલની ચકાસણી પર કામ કર્યું છે, અને તેમણે કર્ટ ગોડેલના રચનાત્મક બ્રહ્માંડને પણ ઔપચારિક બનાવ્યું છે. તાજેતરમાં તેમણે વાસ્તવિક મૂલ્યના વિશેષ કાર્યો માટે એક નવી પ્રમેય કહેવત, મેટીટાર્સ્કી બનાવી છે. પોલસન કોમ્પ્યુટર સાયન્સ ટ્રીપોસમાં અંડરગ્રેજ્યુએટ લેક્ચર કોર્સ શીખવે છે, જેનું શીર્ષક લોજિક એન્ડ પ્રૂફ છે, જેમાં ઓટોમેટેડ થીયરમ પ્રૂવિંગ અને સંબંધિત પદ્ધતિઓનો સમાવેશ થાય છે. (તેઓ ફાઉન્ડેશન ઓફ કમ્પ્યુટર સાયન્સ ભણાવતા હતા જે કાર્યાત્મક પ્રોગ્રામિંગ રજૂ કરે છે, પરંતુ આ અભ્યાસક્રમ 2017 માં એલન માયક્રોફ્ટ અને અમાન્ડા પ્રોરોક દ્વારા લેવામાં આવ્યો હતો, અને પછી 2019 માં અનિલ માધવપેડ્ડી અને અમાન્ડા પ્રોરોક દ્વારા લેવામાં આવ્યો હતો.) પુરસ્કારો અને સન્માનો પોલસનને 2017 માં રોયલ સોસાયટી (એફઆરએસ) ના ફેલો, 2008 માં એસોસિએશન ફોર કમ્પ્યુટિંગ મશીનરીના ફેલો અને મ્યુનિકની ટેકનિકલ યુનિવર્સિટીમાં લોજિક ઇન ઇન્ફોર્મેટિક્સ માટે પ્રતિષ્ઠિત સંલગ્ન પ્રોફેસર તરીકે ચૂંટવામાં આવ્યા હતા. પોલસનને તેમની પ્રથમ પત્ની ડૉ. સુસાન મેરી પોલસનથી બે બાળકો છે, જેમનું 2010માં અવસાન થયું હતું. 2012 થી, તેમણે ડૉ. એલેના ચૌગૌનોવા સાથે લગ્ન કર્યા છે. સંદર્ભો 1955 જન્મ જીવંત લોકો અમેરિકન કમ્પ્યુટર વૈજ્ઞાનિકો યુનિવર્સિટી ઓફ કેમ્બ્રિજ કમ્પ્યુટર લેબોરેટરીના સભ્યો કેલિફોર્નિયા ઇન્સ્ટિટ્યૂટ ઓફ ટેકનોલોજીના ભૂતપૂર્વ વિદ્યાર્થીઓ સ્ટેનફોર્ડ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ ક્લેર કોલેજ, કેમ્બ્રિજ ફેલો ઓફ ધ એસોસિએશન ફોર કમ્પ્યુટિંગ મશીનરી ફેલો ઓફ ધ રોયલ સોસાયટી ઔપચારિક પદ્ધતિઓ લોકો