Peter O'Hearn
پیٹر ولیم او ہیرن (پیدائش 13 جولائی 1963 کو ہیلی فیکس، نووا اسکاٹیا میں)، جو پہلے میٹا میں ایک تحقیقی سائنسدان تھے، لیس ورک میں ممتاز انجینئر اور یونیورسٹی کالج لندن (یو سی ایل) میں کمپیوٹر سائنس کے پروفیسر ہیں۔ انہوں نے پروگرام کی درستگی کے لیے رسمی طریقوں میں اہم تعاون کیا ہے۔ حالیہ برسوں میں ان پیشرفتوں کو صنعتی سافٹ ویئر ٹولز تیار کرنے میں استعمال کیا گیا ہے جو بڑے صنعتی کوڈ بیس کا خودکار تجزیہ کرتے ہیں۔ ایجوکیشن او ہیرن نے ڈلہوزی یونیورسٹی، ہیلی فیکس، نووا اسکاٹیا (1985) سے کمپیوٹر سائنس میں بی ایس سی کی ڈگری حاصل کی، اس کے بعد کوئینز یونیورسٹی، کنگسٹن، اونٹاریو، کینیڈا سے ایم ایس سی (1987) اور پی ایچ ڈی (1991) کی ڈگری حاصل کی۔ ان کا مقالہ سیمنٹکس آف نان انٹرفیرنس: اے نیچرل اپروچ پر تھا، جس کی نگرانی رابرٹ ڈی ٹینینٹ نے کی تھی۔ کیریئر اور تحقیق O 'Hearn علیحدگی کی منطق کے لیے مشہور ہے، ایک نظریہ جو اس نے جان سی رینالڈز کے ساتھ تیار کیا جس نے کوڈ کے بارے میں منطقی استدلال کو اسکیل کرنے کے لیے نئے ڈومینز کا کھوج لگایا۔ یہ وسائل کے لیے منطق پر او ہیرن اور ڈیوڈ پائم کی سابقہ تحقیق پر مبنی ہے، جسے بنچڈ منطق کہا جاتا ہے۔ اسٹیفن بروکس کے ساتھ، کارنیگی میلن یونیورسٹی، او ہارن نے کنکرنٹ سیپرشن لاجک (سی ایس ایل) تخلیق کیا، جس سے نظریہ کو مزید وسعت ملی۔ ٹونی ہور نے پروگرام کی تصدیق کے بڑے چیلنج پر بحث کرتے ہوئے سی ایس ایل کو "دو problems.concurrecy اور آبجیکٹ اورینٹیشن کو حل کرنے" کے طور پر بیان کیا۔ انہوں نے پروگرامنگ زبانوں کا مطالعہ کیا جو ALGOL سے ملتے جلتے تھے، اپنے سابق ڈاکٹریٹ کے مشیر رابرٹ ڈی ٹینینٹ کے ساتھ، جو کہ الگول جیسی زبانیں کتاب بن گئی۔ علیحدگی کی منطق نے انفر جامد تجزیہ کار (فیس بک انفر) کو جنم دیا ہے، جو فیس بک پر او ہارن کی ٹیم کے ذریعہ تیار کردہ ایک جامد پروگرام تجزیہ افادیت ہے۔ اکیڈمیا میں 20 سے زیادہ سالوں کے بعد، او ہیرن نے 2013 میں فیس بک میں مونوئڈکس لمیٹڈ کے حصول کے ساتھ کام کرنا شروع کیا، جس اسٹارٹ اپ کی انہوں نے مشترکہ بنیاد رکھی تھی۔ اپنے قیام کے بعد سے، انفر نے فیس بک کے انجینئروں کو پیداوار تک پہنچنے سے پہلے دسیوں ہزار کیڑوں کو حل کرنے کے قابل بنایا ہے۔ یہ 2016 میں اوپن سورس کیا گیا تھا، اور اسے ایمیزون انکارپوریٹڈ، اسپاٹائف، موزیلا، اوبر اور دیگر استعمال کرتے ہیں۔ 2017 میں، O 'Hearn اور ٹیم نے اوپن سورسڈ ریسر ڈی، ایک خودکار جامد ریس کنڈیشن کا پتہ لگانے والا ٹول جو انفر پلیٹ فارم کے حصے کے طور پر، ہم آہنگی سافٹ ویئر میں ممکنہ مسائل کو نشان زد کرنے میں لگنے والے وقت کو کم کرتا ہے۔ او ہیرن 1990 سے 1995 تک سیراکیوز یونیورسٹی، نیویارک، ریاستہائے متحدہ میں اسسٹنٹ پروفیسر تھے۔ وہ 1996 سے 1999 تک لندن کی کوئین میری یونیورسٹی میں کمپیوٹر سائنس کے ریڈر رہے اور پھر یونیورسٹی کالج لندن منتقل ہونے تک کوئین میری میں مکمل پروفیسر رہے۔ یو سی ایل میں انہیں رائل اکیڈمی آف انجینئرنگ اور مائیکروسافٹ ریسرچ کی سرپرستی میں ایک کرسی دی گئی۔ 1997 میں وہ کارنیگی میلن یونیورسٹی میں وزٹنگ سائنسدان تھے اور 2006 میں وہ مائیکروسافٹ ریسرچ کیمبرج میں وزٹنگ محقق تھے۔ اب وہ لیس ورک میں ممتاز انجینئر اور یو سی ایل میں پروفیسر کے طور پر کام کرتے ہوئے اپنا وقت بانٹتے ہیں۔ ایوارڈز اور اعزازات 2007 میں، او ہارن کو رائل سوسائٹی وولفسن ریسرچ میرٹ ایوارڈ دیا گیا۔ 2011 میں، او ہیرن اور سمن اشتیاق کو انتہائی بااثر پی او پی ایل پیپر ایوارڈ سے نوازا گیا۔ کارنیگی میلن یونیورسٹی کے اسٹیفن بروکس کے ساتھ، وہ سمورتی علیحدگی منطق کی ایجاد کے لیے 2016 کے گوڈل انعام کے شریک وصول کنندہ تھے۔ نیز 2016 میں، وہ رائل اکیڈمی آف انجینئرنگ (ایف آر ای این جی) کے فیلو منتخب ہوئے اور انہیں سالانہ سی اے وی (کمپیوٹر ایڈیڈ ویریفکیشن) ایوارڈ ملا۔ 2018 میں، وہ رائل سوسائٹی (ایف آر ایس) کے فیلو منتخب ہوئے، اور انہیں ڈلہوزی یونیورسٹی سے اعزازی ڈاکٹر آف لا سے نوازا گیا۔ جنوری 2019 میں او ہیرن کو ایک اور انتہائی بااثر پی او پی ایل پیپر ایوارڈ سے نوازا گیا، جسے انہوں نے تین ساتھیوں کے ساتھ شیئر کیا۔ انسٹی ٹیوٹ آف الیکٹریکل اینڈ الیکٹرانکس انجینئرز (آئی ای ای ای) نے اکتوبر 2021 میں اپنے سالانہ ایوارڈ کی تقریب میں او ہیرن اور ان کے تین فیس بک ساتھیوں کو پریکٹس کے لیے آئی ای ای ای سائبرسیکیوریٹی ایوارڈ سے نوازا۔ حوالہ جات بیرونی روابط 1963 پیدائشیں زندہ لوگ ہیلی فیکس، نووا اسکاٹیا ڈلہوزی یونیورسٹی کے سابق طلباء کنگسٹن میں کوئینز یونیورسٹی کے سابق طلباء انگلینڈ ہجرت کرنے والے کینیڈین برطانوی کمپیوٹر سائنس دان کینیڈین کمپیوٹر سائنس دان رسمی طریقے لوگ رائل سوسائٹی کے کینیڈین فیلوز رائل اکیڈمی آف انجینئرنگ کے فیلوز سائراکیوز یونیورسٹی کے فیکلٹی اکیڈمکس آف کوئین میری یونیورسٹی آف لندن یونیورسٹی کالج لندن کے فیس بک ملازمین گوڈل انعام یافتہ رائل سوسائٹی وولفسن ریسرچ میرٹ ایوارڈ ہولڈرز