Peter O'Hearn
பீட்டர் வில்லியம் ஓ 'ஹியர்ன் (பிறப்பு 13 ஜூலை 1963 ஹாலிஃபாக்ஸ், நோவா ஸ்கோடியாவில்), முன்பு மெட்டாவில் ஒரு ஆராய்ச்சி விஞ்ஞானி, லேஸ்வொர்க்கில் ஒரு புகழ்பெற்ற பொறியாளராகவும், லண்டன் பல்கலைக்கழக கல்லூரியில் (யு. சி. எல்) கணினி அறிவியல் பேராசிரியராகவும் உள்ளார். நிரல் சரியான தன்மைக்கான முறையான முறைகளுக்கு அவர் குறிப்பிடத்தக்க பங்களிப்புகளை வழங்கியுள்ளார். சமீப ஆண்டுகளில் இந்த முன்னேற்றங்கள் பெரிய தொழில்துறை குறியீட்டு தளங்களின் தானியங்கி பகுப்பாய்வை நடத்தும் தொழில்துறை மென்பொருள் கருவிகளை உருவாக்குவதில் பயன்படுத்தப்பட்டுள்ளன. கல்வி ஓ 'ஹியர்ன் டல்ஹெளசி பல்கலைக்கழகம், ஹாலிஃபாக்ஸ், நோவா ஸ்கோடியாவில் (1985) கணினி அறிவியலில் பி. எஸ்சி பட்டம் பெற்றார், அதைத் தொடர்ந்து எம். எஸ்சி (1987) மற்றும் பிஎச்டி (1991) பட்டங்கள் குயின்ஸ் பல்கலைக்கழகம், கிங்ஸ்டன், ஒன்ராறியோ, கனடாவிலிருந்து பெற்றார். அவரது ஆய்வுக் கட்டுரை குறுக்கீடு இல்லாத சொற்பொருள்ஃ ஒரு இயற்கை அணுகுமுறை, ராபர்ட் டி. டென்னெண்ட் மேற்பார்வையிட்டார். தொழில் மற்றும் ஆராய்ச்சி ஓ 'ஹியர்ன் பிரிப்பு தர்க்கத்திற்கு மிகவும் பிரபலமானவர், அவர் ஜான் சி. ரெனால்ட்ஸுடன் இணைந்து உருவாக்கிய ஒரு கோட்பாடு, குறியீட்டைப் பற்றிய தர்க்கரீதியான பகுத்தறிவை அளவிடுவதற்கான புதிய களங்களைக் கண்டுபிடித்தது. வளங்களுக்கான தர்க்கம் குறித்து ஓ 'ஹியர்ன் மற்றும் டேவிட் பிம் ஆகியோரின் முந்தைய ஆராய்ச்சியின் அடிப்படையில் இது உருவாக்கப்பட்டது, இது பன்சட் லாஜிக் என்று அழைக்கப்படுகிறது. ஸ்டீபன் ப்ரூக்ஸ், கார்னகி மெலன் பல்கலைக்கழகம், ஓ 'ஹியர்ன் இணைந்து ஒருங்கிணைந்த பிரிப்பு தர்க்கத்தை (சி. எஸ். எல்) உருவாக்கி, கோட்பாட்டை மேலும் விரிவுபடுத்தினார். டோனி ஹோர், நிரல் சரிபார்ப்பின் மாபெரும் சவாலைப் பற்றி விவாதிக்கையில், சி. எஸ். எல். ஐ "இரண்டு problems.concurrecy மற்றும் பொருள் நோக்குநிலையைத் தீர்ப்பது" என்று விவரித்தார். அவர் தனது முன்னாள் முனைவர் ஆலோசகர் ராபர்ட் டி. டென்னெண்டுடன் இணைந்து அல்ஜோல் போன்ற நிரலாக்க மொழிகளைப் பற்றிய ஆய்வை மேற்கொண்டார், இது அல்ஜோல் போன்ற மொழிகள் என்ற புத்தகமாக மாறியது. பிரிப்பு தர்க்கம் இன்ஃபர் ஸ்டாடிக் அனலைசருக்கு (பேஸ்புக் இன்ஃபர்) வழிவகுத்துள்ளது, இது பேஸ்புக்கில் ஓ 'ஹியர்னின் குழுவால் உருவாக்கப்பட்ட ஒரு நிலையான நிரல் பகுப்பாய்வு பயன்பாடாகும். கல்வித்துறையில் 20 ஆண்டுகளுக்கும் மேலான காலத்திற்குப் பிறகு, ஓ 'ஹியர்ன் 2013 ஆம் ஆண்டில் பேஸ்புக்கில் மோனாய்டிக்ஸ் லிமிடெட் நிறுவனத்தை கையகப்படுத்துவதன் மூலம் பணியாற்றத் தொடங்கினார், இது அவர் இணைந்து நிறுவிய ஒரு தொடக்கமாகும். அதன் தொடக்கத்திலிருந்து, இன்ஃபர் பேஸ்புக் பொறியாளர்களுக்கு உற்பத்தியை அடைவதற்கு முன்பு பல்லாயிரக்கணக்கான பிழைகளைத் தீர்க்க உதவியது. இது 2016 ஆம் ஆண்டில் திறந்த மூலமாக இருந்தது, மேலும் இது அமேசான் இன்க், ஸ்பாடிஃபை, மொஸில்லா, உபெர் மற்றும் பிறரால் பயன்படுத்தப்படுகிறது. 2017 ஆம் ஆண்டில், ஓ 'ஹியர்ன் மற்றும் குழு திறந்த மூல ரேசர்டி, ஒரு தானியங்கி நிலையான இனம் நிலை கண்டறிதல் கருவி, இது இன்ஃபர் தளத்தின் ஒரு பகுதியாக, ஒரே நேரத்தில் மென்பொருளில் சாத்தியமான சிக்கல்களைக் குறிக்க எடுக்கும் நேரத்தைக் குறைக்கிறது. ஓ 'ஹியர்ன் 1990 முதல் 1995 வரை அமெரிக்காவின் நியூயார்க்கில் உள்ள சிராகஸ் பல்கலைக்கழகத்தில் உதவி பேராசிரியராக இருந்தார். 1996 முதல் 1999 வரை லண்டனின் குயின் மேரி பல்கலைக்கழகத்தில் கணினி அறிவியலில் வாசகராகவும், பின்னர் லண்டன் பல்கலைக்கழகக் கல்லூரிக்குச் செல்லும் வரை குயின் மேரியில் முழு பேராசிரியராகவும் இருந்தார். யு. சி. எல். இல் அவருக்கு ராயல் அகாடமி ஆஃப் இன்ஜினியரிங் மற்றும் மைக்ரோசாப்ட் ரிசர்ச் நிதியுதவி அளித்த ஒரு தலைவர் பதவி வழங்கப்பட்டது. 1997 ஆம் ஆண்டில் கார்னகி மெலன் பல்கலைக்கழகத்தில் வருகை தரும் விஞ்ஞானியாகவும், 2006 ஆம் ஆண்டில் மைக்ரோசாப்ட் ரிசர்ச் கேம்பிரிட்ஜில் வருகை தரும் ஆராய்ச்சியாளராகவும் இருந்தார். அவர் இப்போது லேஸ்வொர்க்கில் ஒரு புகழ்பெற்ற பொறியாளராகவும், யு. சி. எல். இல் பேராசிரியராகவும் பணிபுரியும் நேரத்தைப் பகிர்ந்து கொள்கிறார். விருதுகள் மற்றும் கௌரவங்கள் 2007 ஆம் ஆண்டில், ஓ 'ஹியர்னுக்கு ராயல் சொசைட்டி வொல்ஃப்சன் ரிசர்ச் மெரிட் விருது வழங்கப்பட்டது. 2011 ஆம் ஆண்டில், ஓ 'ஹியர்ன் மற்றும் சமின் இஷ்தியாக் ஆகியோருக்கு மிகவும் செல்வாக்குமிக்க பிஓபிஎல் காகித விருது வழங்கப்பட்டது. கார்னகி மெலன் பல்கலைக்கழகத்தின் ஸ்டீபன் ப்ரூக்ஸுடன் இணைந்து, ஒருங்கிணைந்த பிரிப்பு தர்க்கத்தின் கண்டுபிடிப்பிற்காக 2016 கோடல் பரிசை அவர் பெற்றார். மேலும் 2016 ஆம் ஆண்டில், அவர் ராயல் அகாடமி ஆஃப் இன்ஜினியரிங் (FREng) இன் ஃபெலோவாக தேர்ந்தெடுக்கப்பட்டார் மற்றும் வருடாந்திர CAV (கணினி உதவி சரிபார்ப்பு) விருதைப் பெற்றார். 2018 ஆம் ஆண்டில், அவர் ராயல் சொசைட்டியின் (எஃப்ஆர்எஸ்) ஃபெலோவாக தேர்ந்தெடுக்கப்பட்டார், மேலும் டல்ஹெளசி பல்கலைக்கழகத்திலிருந்து கவுரவ டாக்டர் ஆஃப் லாஸ் வழங்கப்பட்டது. ஜனவரி 2019 இல் ஓ 'ஹியர்ன் மற்றொரு மிகவும் செல்வாக்குமிக்க பிஓபிஎல் காகித விருதைப் பெற்றார், அதை அவர் மூன்று சக ஊழியர்களுடன் பகிர்ந்து கொண்டார். இன்ஸ்டிடியூட் ஆஃப் எலக்ட்ரிக்கல் அண்ட் எலக்ட்ரானிக்ஸ் இன்ஜினியர்ஸ் (ஐ. இ. இ. இ) ஓ 'ஹியர்ன் மற்றும் அவரது மூன்று பேஸ்புக் சகாக்களுக்கு 2021 அக்டோபரில் நடந்த வருடாந்திர விருது வழங்கும் விழாவில் பயிற்சிக்கான ஐ. இ. இ. இ சைபர் செக்யூரிட்டி விருதை வழங்கியது. குறிப்புகள் வெளிப்புற இணைப்புகள் 1963 பிறப்புகள் ஹாலிஃபாக்ஸ், நோவா ஸ்கோடியா டல்ஹெளசி பல்கலைக்கழக முன்னாள் மாணவர்கள் கிங்ஸ்டனில் உள்ள குயின்ஸ் பல்கலைக்கழக முன்னாள் மாணவர்கள் இங்கிலாந்துக்கு குடிபெயர்ந்த கனேடிய முன்னாள் மாணவர்கள் பிரிட்டிஷ் கணினி விஞ்ஞானிகள் கனேடிய கணினி விஞ்ஞானிகள் முறையான முறைகள் மக்கள் ராயல் சொசைட்டியின் கனேடிய கூட்டாளிகள் ராயல் அகாடமி ஆஃப் இன்ஜினியரிங்கின் கூட்டாளிகள் சிராகஸ் பல்கலைக்கழக ஆசிரியப் பிரிவினர் லண்டனின் குயின் மேரி பல்கலைக்கழகத்தின் கல்வியாளர்கள் லண்டன் பல்கலைக்கழக கல்லூரியின் கல்வியாளர்கள் பேஸ்புக் ஊழியர்கள் கோடல் பரிசு வென்றவர்கள் ராயல் சொசைட்டி வொல்ஃப்சன் ரிசர்ச் மெரிட் விருது பெற்றவர்கள்