پیتر اوهارن

پیتر اوهارن ( انگلیسی: Peter O'Hearn؛ زادهٔ ۱۳ ژوئیه ۱۹۶۳ دانشمند در زمینه زبان برنامه نویسی اهل بریتانیا و کانادا و از دانش آموختگان دانشگاه کویینز است. او در گذشته یک دانشمند محقق در متا پلتفرمز بود، [ ۱۵] یک مهندس ممتاز در لیس ورک و استاد علوم رایانه در کالج دانشگاهی لندن ( UCL ) است. [ ۱۶] او کمک های قابل توجهی به روش های رسمی برای درستی برنامه های رایانه ای کرده است که در سال های اخیر این پیشرفت ها در توسعه ابزارهای نرم افزار صنعتی که تجزیه و تحلیل خودکار پایگاه های کد صنعتی بزرگ را انجام می دهند، به کار گرفته شده اند. [ ۱۷]
اوهارن مدرک کارشناسی خود را در رشته علوم رایانه از دانشگاه دالهاوزی، هالیفاکس، نوا اسکوشیا ( ۱۹۸۵ ) دریافت کرد، سپس مدرک کارشناسی ارشد ( ۱۹۸۷ ) و پی اچ دی ( ۱۹۹۱ ) را از دانشگاه کویینز، کینگستون، انتاریو، کانادا دریافت کرد.
پایان نامه او درباره معناشناسی عدم تداخل: یک رویکرد طبیعی بود که توسط رابرت د. تننت هدایت می شد. [ ۱۸] [ ۱۹]
اوهارن بیشتر به دلیل منطق جداسازی شناخته شده است، [ ۲۰] نظریه ای که او با جان سی رینولدز توسعه داد و حوزه های جدیدی را برای مقیاس بندی استدلال منطقی در مورد کد کشف کرد. نظریه ای بر اساس تحقیقات قبلی اوهارن و دیوید پیم در مورد منطق برای منابع، که با آن منطق دسته بندی می شود، بنا شده است.
او با مشاور سابق دکترای خود رابرت د. تننت مطالعه ای در مورد زبان های برنامه نویسی مشابه الگول انجام داد که به کتاب زبان های شبیه به الگول تبدیل شد.
وی همچنین برندهٔ جوایزی همچون همکار انجمن سلطنتی و جایزه گودل شده است.