Peter O'Hearn
પીટર વિલિયમ ઓ 'હર્ન (જન્મ 13 જુલાઈ 1963 હેલિફેક્સ, નોવા સ્કોટીયામાં), અગાઉ મેટા ખાતે સંશોધન વૈજ્ઞાનિક, લેસવર્ક ખાતે પ્રતિષ્ઠિત ઇજનેર છે અને યુનિવર્સિટી કોલેજ લંડન (યુસીએલ) ખાતે કમ્પ્યુટર વિજ્ઞાનના પ્રોફેસર છે. તેમણે કાર્યક્રમની શુદ્ધતા માટે ઔપચારિક પદ્ધતિઓમાં નોંધપાત્ર યોગદાન આપ્યું છે. તાજેતરના વર્ષોમાં આ પ્રગતિઓને ઔદ્યોગિક સોફ્ટવેર સાધનો વિકસાવવા માટે ઉપયોગમાં લેવામાં આવી છે જે મોટા ઔદ્યોગિક કોડબેઝનું સ્વચાલિત વિશ્લેષણ કરે છે. એજ્યુકેશન ઓ 'હર્ને ડેલહાઉસી યુનિવર્સિટી, હેલિફેક્સ, નોવા સ્કોટીયા (1985) માંથી કમ્પ્યુટર સાયન્સમાં બીએસસીની ડિગ્રી મેળવી હતી, ત્યારબાદ ક્વીન્સ યુનિવર્સિટી, કિંગ્સ્ટન, ઓન્ટારિયો, કેનેડાથી એમએસસી (1987) અને પીએચડી (1991) ની ડિગ્રી મેળવી હતી. તેમનો શોધ નિબંધ સિમેન્ટિક્સ ઓફ નોન-ઇન્ટરફિયરન્સઃ એ નેચરલ એપ્રોચ પર હતો, જેની દેખરેખ રોબર્ટ ડી. ટેનેન્ટ દ્વારા કરવામાં આવી હતી. કારકિર્દી અને સંશોધન ઓ 'હર્ન વિભાજન તર્ક માટે જાણીતા છે, જે સિદ્ધાંત તેમણે જ્હોન સી. રેનોલ્ડ્સ સાથે વિકસાવ્યો હતો જેણે કોડ વિશે તાર્કિક તર્કને માપવા માટે નવા ક્ષેત્રો શોધી કાઢ્યા હતા. આ સંસાધનો માટેના તર્ક પર ઓ 'હર્ન અને ડેવિડ પિમના અગાઉના સંશોધન પર આધારિત છે, જેને બંટેડ તર્ક કહેવાય છે. કાર્નેગી મેલોન યુનિવર્સિટીના સ્ટીફન બ્રુક્સ સાથે, ઓ 'હર્ને સમવર્તી વિભાજન તર્ક (સી. એસ. એલ.) ની રચના કરી, સિદ્ધાંતને વધુ વિસ્તૃત કર્યો. ટોની હોરે, કાર્યક્રમ ચકાસણીના ભવ્ય પડકારની ચર્ચા કરતી વખતે, સી. એસ. એલ. ને "બે problems.concurrecy અને ઓબ્જેક્ટ ઓરિએન્ટેશનને ઉકેલવા" તરીકે વર્ણવ્યું હતું. તેમણે તેમના ભૂતપૂર્વ ડોક્ટરલ સલાહકાર રોબર્ટ ડી. ટેનેન્ટ સાથે એએલજીઓએલ જેવી જ પ્રોગ્રામિંગ ભાષાઓનો અભ્યાસ હાથ ધર્યો હતો, જે એએલજીઓએલ જેવી ભાષાઓનું પુસ્તક બની ગયું હતું. સેપરેશન લોજિકે ફેસબુક ખાતે ઓ 'હર્નની ટીમ દ્વારા વિકસાવવામાં આવેલી સ્થિર પ્રોગ્રામ વિશ્લેષણ ઉપયોગિતા ઇન્ફરર સ્ટેટિક એનાલાઇઝર (ફેસબુક ઇન્ફરર) ને જન્મ આપ્યો છે. શૈક્ષણિક ક્ષેત્રમાં 20થી વધુ વર્ષ કામ કર્યા પછી, ઓ 'હર્ને 2013માં ફેસબુક પર મોનોઇડિક્સ લિમિટેડના સંપાદન સાથે કામ કરવાનું શરૂ કર્યું, જેની તેમણે સહસ્થાપના કરી હતી. તેની શરૂઆતથી, ઇન્ફરે ફેસબુક ઇજનેરોને ઉત્પાદન સુધી પહોંચતા પહેલા હજારો ભૂલોને ઉકેલવામાં સક્ષમ બનાવ્યા છે. તે 2016 માં ઓપન સોર્સ કરવામાં આવ્યું હતું, અને તેનો ઉપયોગ એમેઝોન ઇન્ક, સ્પોટિફાઇ, મોઝિલા, ઉબેર અને અન્ય લોકો દ્વારા કરવામાં આવે છે. 2017 માં, ઓ 'હર્ન અને ટીમે ઓપન સોર્સ રેસરડી ખોલ્યું, જે એક સ્વચાલિત સ્થિર રેસ સ્થિતિ શોધ સાધન છે જે ઇન્ફર પ્લેટફોર્મના ભાગ રૂપે સહવર્તી સોફ્ટવેરમાં સંભવિત સમસ્યાઓને ચિહ્નિત કરવામાં લાગતા સમયને ઘટાડે છે. ઓ 'હર્ન 1990 થી 1995 સુધી સિરાક્યુસ યુનિવર્સિટી, ન્યૂયોર્ક, યુનાઇટેડ સ્ટેટ્સમાં સહાયક પ્રોફેસર હતા. તેઓ 1996 થી 1999 સુધી લંડનની ક્વીન મેરી યુનિવર્સિટીમાં કોમ્પ્યુટર સાયન્સના રીડર હતા અને ત્યારબાદ યુનિવર્સિટી કોલેજ લંડનમાં ગયા ત્યાં સુધી ક્વીન મેરીમાં સંપૂર્ણ પ્રોફેસર હતા. યુસીએલ ખાતે તેમને રોયલ એકેડેમી ઓફ એન્જિનિયરિંગ અને માઈક્રોસોફ્ટ રિસર્ચ દ્વારા પ્રાયોજિત ચેર આપવામાં આવી હતી. 1997માં તેઓ કાર્નેગી મેલોન યુનિવર્સિટીમાં મુલાકાતી વૈજ્ઞાનિક હતા અને 2006માં તેઓ માઇક્રોસોફ્ટ રિસર્ચ કેમ્બ્રિજમાં મુલાકાતી સંશોધક હતા. તેઓ હવે લેસવર્ક ખાતે પ્રતિષ્ઠિત ઇજનેર અને યુસીએલ ખાતે પ્રોફેસર તરીકે કામ કરીને તેમનો સમય વહેંચે છે. પુરસ્કારો અને સન્માન 2007માં, ઓ 'હર્નને રોયલ સોસાયટી વોલ્ફસન રિસર્ચ મેરિટ એવોર્ડ એનાયત કરવામાં આવ્યો હતો. 2011 માં, ઓ 'હર્ન અને સામિન ઇશ્તિયાકને સૌથી પ્રભાવશાળી પી. ઓ. પી. એલ. પેપર એવોર્ડ એનાયત કરવામાં આવ્યો હતો. કાર્નેગી મેલોન યુનિવર્સિટીના સ્ટીફન બ્રુક્સ સાથે, તેઓ સમવર્તી વિભાજન તર્કની શોધ માટે 2016 ગોડેલ પુરસ્કારના સહ-પ્રાપ્તકર્તા હતા. 2016 માં પણ, તેઓ રોયલ એકેડેમી ઓફ એન્જિનિયરિંગ (એફઆરઈએનજી) ના ફેલો તરીકે ચૂંટાયા હતા અને વાર્ષિક સીએવી (કમ્પ્યુટર એડેડ વેરિફિકેશન) એવોર્ડ મેળવ્યો હતો. 2018 માં, તેઓ રોયલ સોસાયટી (એફઆરએસ) ના ફેલો તરીકે ચૂંટાયા હતા, અને તેમને ડેલહાઉસી યુનિવર્સિટીમાંથી માનદ ડોક્ટર ઓફ લો એનાયત કરવામાં આવ્યા હતા. જાન્યુઆરી 2019માં ઓ 'હર્નને વધુ એક સૌથી પ્રભાવશાળી પી. ઓ. પી. એલ. પેપર એવોર્ડથી સન્માનિત કરવામાં આવ્યા હતા, જે તેમણે ત્રણ સાથીદારો સાથે શેર કર્યા હતા. ઇન્સ્ટિટ્યૂટ ઓફ ઇલેક્ટ્રિકલ એન્ડ ઇલેક્ટ્રોનિક્સ એન્જિનિયર્સ (IEEE) એ ઓક્ટોબર, 2021માં તેમના વાર્ષિક પુરસ્કાર સમારોહમાં ઓ 'હર્ન અને તેમના ત્રણ ફેસબુક સાથીદારોને પ્રેક્ટિસ માટે IEEE સાયબર સિક્યુરિટી એવોર્ડ આપ્યો હતો. સંદર્ભો બાહ્ય કડીઓ 1963 જન્મ હેલિફેક્સ, નોવા સ્કોટીયા ડેલહાઉસી યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ ક્વીન્સ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ ઇંગ્લેન્ડમાં કેનેડિયન ઇમિગ્રન્ટ્સ બ્રિટિશ કમ્પ્યુટર વૈજ્ઞાનિકો કેનેડિયન કમ્પ્યુટર વૈજ્ઞાનિકો ઔપચારિક પદ્ધતિઓ લોકો રોયલ સોસાયટીના કેનેડિયન ફેલો રોયલ એકેડેમી ઓફ એન્જિનિયરિંગના ફેલો સિરાક્યુસ યુનિવર્સિટી ફેકલ્ટી એકેડેમિક્સ ઓફ ક્વીન મેરી યુનિવર્સિટી ઓફ લંડન એકેડેમિક્સ ઓફ યુનિવર્સિટી કોલેજ લંડન ફેસબુકના કર્મચારીઓ ગોડેલ પ્રાઇઝ વિજેતા રોયલ સોસાયટી વોલ્ફસન રિસર્ચ મેરિટ એવોર્ડ ધારકો