Benjamin C. Pierce
બેન્જામિન ક્રોફોર્ડ પિયર્સ યુનિવર્સિટી ઓફ પેન્સિલવેનિયામાં કોમ્પ્યુટર સાયન્સના હેનરી સાલ્વાટોરી પ્રોફેસર છે. પિયર્સ 1998માં ઇન્ડિયાના યુનિવર્સિટીમાંથી પેનમાં જોડાયા હતા અને યુનિવર્સિટી ઓફ કેમ્બ્રિજ અને યુનિવર્સિટી ઓફ એડિનબર્ગમાં સંશોધન હોદ્દાઓ સંભાળ્યા હતા. તેમણે 1991માં કાર્નેગી મેલોન યુનિવર્સિટીમાંથી પીએચ. ડી. પ્રાપ્ત કરી હતી. તેમના સંશોધનમાં પ્રોગ્રામિંગ ભાષાઓ, સ્થિર પ્રકારની પ્રણાલીઓ, વિતરિત પ્રોગ્રામિંગ, મોબાઇલ એજન્ટો, પ્રક્રિયા ગણતરી અને વિભેદક ગોપનીયતા પર કામ સામેલ છે. તેમના સંશોધનના ભાગરૂપે, પિયર્સે યુનિસન ફાઇલ સિંક્રોનાઇઝેશન યુટિલિટી સહિત અનેક ઓપન-સોર્સ સોફ્ટવેર પ્રોજેક્ટ્સ પર વિકાસનું નેતૃત્વ કર્યું છે. 2012 માં પિયર્સ "પ્રોગ્રામિંગ ભાષાઓ અને તેમની પ્રકાર પ્રણાલીઓના સિદ્ધાંત અને વ્યવહારમાં યોગદાન" માટે એસીએમ ફેલો બન્યા હતા. 2015 માં પિયર્સ અને સહ-લેખકોને પ્રોગ્રામિંગ ભાષાઓના પેપરના સૌથી પ્રભાવશાળી સિદ્ધાંતો માટે એવોર્ડ મળ્યો હતો, જેને "વ્યૂ-અપડેટ સમસ્યાને પ્રોગ્રામિંગ ભાષા સમુદાયના ધ્યાન પર લાવવામાં અને ડેટાબેઝની બહાર સમસ્યાની વ્યાપક સુસંગતતા દર્શાવવામાં સહાયક" તરીકે વર્ણવવામાં આવ્યું હતું. [.] વધુ વ્યાપક રીતે, પેપરએ બીએક્સ ("દ્વિદિશાત્મક પરિવર્તન") ના ક્ષેત્રમાં ફોલો-ઓન કાર્યને વેગ આપ્યો, જે ડેટાબેઝ, પ્રોગ્રામિંગ ભાષાઓ અને સોફ્ટવેર એન્જિનિયરિંગની દુનિયા વચ્ચે ફળદાયી સહયોગ તરફ દોરી ગયું. તેઓ પ્રકાર પ્રણાલીઓ, પ્રકારો અને પ્રોગ્રામિંગ ભાષાઓ પર એક પુસ્તકના લેખક છે. તેમણે પ્રકારો અને પ્રોગ્રામિંગ ભાષાઓમાં અદ્યતન વિષયોના બીજા ખંડ બનાવવા માટે લેખોના સંગ્રહનું સંપાદન પણ કર્યું છે. તેમની પીએચડી દરમિયાન શ્રેણી સિદ્ધાંત શીખતી વખતે તેમણે એકત્રિત કરેલી નોંધોના આધારે, તેમણે આ વિષય પર એક પ્રારંભિક પુસ્તક પણ પ્રકાશિત કર્યું-કમ્પ્યુટર વૈજ્ઞાનિકો માટે મૂળભૂત શ્રેણી સિદ્ધાંત. તેઓ મુક્તપણે ઉપલબ્ધ પુસ્તક સોફ્ટવેર ફાઉન્ડેશનના લેખકોમાંના એક છે. આ પણ જુઓ પી. ઓ. પી. એલ. માર્ક ચેલેન્જ સંદર્ભો બાહ્ય કડીઓ પ્રો. પિયર્સ હોમપેજ અમેરિકન કોમ્પ્યુટર વૈજ્ઞાનિકો જીવંત લોકો પ્રોગ્રામિંગ ભાષા સંશોધકો જન્મ ગુમ થયેલ વર્ષ (જીવંત લોકો) યુનિવર્સિટી ઓફ પેન્સિલવેનિયા ફેકલ્ટી