پیتر اوهارن
پیتر اوهارن | |
---|---|
نام هنگام تولد | Peter William O'Hearn |
زادهٔ | تاریخ درست نیست٫ سال باید ۴ رقم داشته باشد٫ (برای سالهای پیش از هزار، صفر بیفزایید٫)٫ (خطا: نیازمند سال، ماه، روز معتبر سال) |
ملیت | British/Canadian |
شهروندی | United Kingdom/Canada |
محل تحصیل | دانشگاه دالهاوزی (BSc) دانشگاه کویینز (MSc, PhD) |
شناختهشده برای | منطق جدایی[۱] Bunched logic[۲] Infer Static Analyzer[۳] |
جوایز |
|
پیشینه علمی | |
شاخه(ها) | زبان برنامهنویسیs[۱۲] آنالیز برنامه درستییابی صوری علوم نظری رایانه[۱۲] |
محل کار | فیسبوک کالج دانشگاهی لندن دانشگاه کوئین مری لندن دانشگاه سیراکیوس |
پایاننامه | Semantics of Non-interference: A natural approach (۱۹۹۲) |
استاد راهنما | Robert D. Tennent[۱۳] |
تأثیر گرفته از | جان سی رینولدز[۱۴] |
وبگاه |
پیتر اوهارن (انگلیسی: Peter O'Hearn؛ زادهٔ ۱۳ ژوئیه ۱۹۶۳ دانشمند در زمینه زبان برنامهنویسی اهل بریتانیا و کانادا و از دانشآموختگان دانشگاه کویینز است. او در گذشته یک دانشمند محقق در متا پلتفرمز بود،[۱۵] یک مهندس ممتاز در لیسورک و استاد علوم رایانه در کالج دانشگاهی لندن (UCL) است.[۱۶] او کمکهای قابل توجهی به روشهای رسمی برای درستی برنامههای رایانهای کرده است که در سالهای اخیر این پیشرفتها در توسعه ابزارهای نرمافزار صنعتی که تجزیه و تحلیل خودکار پایگاههای کد صنعتی بزرگ را انجام میدهند، به کار گرفته شدهاند.[۱۷]
تحصیلات
[ویرایش]اوهارن مدرک کارشناسی خود را در رشته علوم رایانه از دانشگاه دالهاوزی، هالیفاکس، نوا اسکوشیا (۱۹۸۵) دریافت کرد، سپس مدرک کارشناسی ارشد (۱۹۸۷) و پیاچدی (۱۹۹۱) را از دانشگاه کویینز، کینگستون، انتاریو، کانادا دریافت کرد.
پایاننامه او درباره معناشناسی عدم تداخل: یک رویکرد طبیعی بود که توسط رابرت د. تننت هدایت میشد.[۱۸][۱۹]
حرفه و تحقیقات
[ویرایش]اوهارن بیشتر به دلیل منطق جداسازی شناخته شده است،[۲۰] نظریهای که او با جان سی رینولدز توسعه داد و حوزههای جدیدی را برای مقیاسبندی استدلال منطقی در مورد کد کشف کرد. نظریهای بر اساس تحقیقات قبلی اوهارن و دیوید پیم در مورد منطق برای منابع، که با آن منطق دستهبندی میشود، بنا شده است.
او با مشاور سابق دکترای خود رابرت د. تننت مطالعهای در مورد زبانهای برنامهنویسی مشابه الگول انجام داد که به کتاب زبانهای شبیه به الگول تبدیل شد.
وی همچنین برندهٔ جوایزی همچون همکار انجمن سلطنتی و جایزه گودل شدهاست.
منابع
[ویرایش]- ↑ Reynolds, John C. (2002). "Separation Logic: A Logic for Shared Mutable Data Structures" (PDF). LICS.
- ↑ O'Hearn, P. W.; Pym, D. J. (June 1999). "The Logic of Bunched Implications". Bulletin of Symbolic Logic. 5 (2): 215–244. doi:10.2307/421090. JSTOR 421090.
- ↑ "Infer static analyzer". fbinfer.com.
- ↑ "POPL 2019 Most Influential Paper Award for research that led to Facebook Infer". فیسبوک. 17 January 2019.
- ↑ https://www.dal.ca/news/2018/04/19/introducing-dal-s-honorary-degree-recipients-for-spring-convocat.html
- ↑ "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society". royalsociety.org (به انگلیسی). Retrieved 2018-05-15.
- ↑ ۷٫۰ ۷٫۱ خطای یادکرد: خطای یادکرد:برچسب
<ref>
غیرمجاز؛ متنی برای یادکردهای با نامfrs
وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.). - ↑ Chita, Efi. "2016 Gödel Prize".
- ↑ «نسخه آرشیو شده». بایگانیشده از اصلی در ۲۷ مارس ۲۰۱۹. دریافتشده در ۲۳ ژوئن ۲۰۲۰.
- ↑ "Four Facebook Employees Win the Prestigious CAV Award". فیسبوک. 5 September 2016.
- ↑ "Computer Science professor wins prestigious award". دانشگاه کوئین مری لندن. 3 February 2011.
- ↑ ۱۲٫۰ ۱۲٫۱ خطای یادکرد: خطای یادکرد:برچسب
<ref>
غیرمجاز؛ متنی برای یادکردهای با نامgs
وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.). - ↑ پیتر اوهارن at Mathematics Genealogy Project
- ↑ Olivier Danvy, Peter O'Hearn and Philip Wadler (editors), Festschrift for John C. Reynolds's 70th Birthday. Theoretical Computer Science, 375(1–3):1–350, 1 May 2007. Editorial, pages 1–2.doi:10.1016/j.tcs.2006.12.024
- ↑ «People - Meta Research». research.facebook.com. دریافتشده در ۲۰۲۳-۰۱-۲۷.
- ↑ "Peter O'Hearn". www0.cs.ucl.ac.uk (به انگلیسی). Retrieved 2023-01-28.
- ↑ «Peter O'Hearn». scholar.google.com. دریافتشده در ۲۰۲۳-۰۱-۲۸.
- ↑ «Peter O'Hearn - The Mathematics Genealogy Project». mathgenealogy.org. دریافتشده در ۲۰۲۳-۰۱-۳۰.
- ↑ «Wayback Machine» (PDF). web.archive.org. ۲۰۱۱-۰۷-۱۹. بایگانیشده از اصلی (PDF) در ۱۹ ژوئیه ۲۰۱۱. دریافتشده در ۲۰۲۳-۰۱-۳۰.
- ↑ «Separation Logic: A Logic for Shared Mutable Data Structure» (PDF).
- مشارکتکنندگان ویکیپدیا. «Peter O'Hearn». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۲۳ ژوئن ۲۰۲۰.