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 সালের জানুয়ারিতে ও 'হার্ন আরও একটি প্রভাবশালী পিওপিএল পেপার অ্যাওয়ার্ডে ভূষিত হন, যা তিনি তিন সহকর্মীর সঙ্গে ভাগ করে নেন। ইনস্টিটিউট অফ ইলেকট্রিক্যাল অ্যান্ড ইলেকট্রনিক্স ইঞ্জিনিয়ার্স (আই. ই. ই. ই) 2021 সালের অক্টোবরে তাদের বার্ষিক পুরস্কার অনুষ্ঠানে ও 'হার্ন এবং তার তিন ফেসবুক সহকর্মীকে অনুশীলনের জন্য আই. ই. ই সাইবারসিকিউরিটি অ্যাওয়ার্ড প্রদান করে। উদ্ধৃতি বহিরাগত লিঙ্ক 1963 জন্মের জীবিত মানুষ হ্যালিফ্যাক্স, নোভা স্কটিয়া ডালহৌসি বিশ্ববিদ্যালয়ের প্রাক্তন ছাত্র কুইন্স বিশ্ববিদ্যালয়ের প্রাক্তন ছাত্র কানাডিয়ান অভিবাসী ইংল্যান্ডে ব্রিটিশ কম্পিউটার বিজ্ঞানী কানাডিয়ান কম্পিউটার বিজ্ঞানীরা আনুষ্ঠানিক পদ্ধতি মানুষ কানাডিয়ান ফেলো অফ দ্য রয়্যাল সোসাইটি ফেলো অফ দ্য রয়্যাল একাডেমি অফ ইঞ্জিনিয়ারিং সিরাকিউজ বিশ্ববিদ্যালয়ের অনুষদ একাডেমিকস অফ কুইন মেরি ইউনিভার্সিটি অফ লন্ডন ইউনিভার্সিটি কলেজ লন্ডনের একাডেমিকস ফেসবুক কর্মচারী গোডেল পুরস্কার বিজয়ী রয়্যাল সোসাইটি ওল্ফসন রিসার্চ মেরিট অ্যাওয়ার্ডধারীরা