پرش به محتوا

پیتر اوهارن

از ویکی‌پدیا، دانشنامهٔ آزاد
پیتر اوهارن
پیتر اوهرن در روز پذیرش انجمن سلطنتی در لندن، جولای ۲۰۱۸
نام هنگام تولد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) است.[۱۶] او کمک‌های قابل توجهی به روش‌های رسمی برای درستی برنامه‌های رایانه‌ای کرده است که در سال‌های اخیر این پیشرفت‌ها در توسعه ابزارهای نرم‌افزار صنعتی که تجزیه و تحلیل خودکار پایگاه‌های کد صنعتی بزرگ را انجام می‌دهند، به کار گرفته شده‌اند.[۱۷]

تحصیلات

[ویرایش]

اوهارن مدرک کارشناسی خود را در رشته علوم رایانه از دانشگاه دالهاوزی، هالیفاکس، نوا اسکوشیا (۱۹۸۵) دریافت کرد، سپس مدرک کارشناسی ارشد (۱۹۸۷) و پی‌اچ‌دی (۱۹۹۱) را از دانشگاه کویینز، کینگستون، انتاریو، کانادا دریافت کرد.

پایان‌نامه او درباره معناشناسی عدم تداخل: یک رویکرد طبیعی بود که توسط رابرت د. تننت هدایت می‌شد.[۱۸][۱۹]

حرفه و تحقیقات

[ویرایش]

اوهارن بیشتر به دلیل منطق جداسازی شناخته شده است،[۲۰] نظریه‌ای که او با جان سی رینولدز توسعه داد و حوزه‌های جدیدی را برای مقیاس‌بندی استدلال منطقی در مورد کد کشف کرد. نظریه‌ای بر اساس تحقیقات قبلی اوهارن و دیوید پیم در مورد منطق برای منابع، که با آن منطق دسته‌بندی می‌شود، بنا شده است.

او با مشاور سابق دکترای خود رابرت د. تننت مطالعه‌ای در مورد زبان‌های برنامه‌نویسی مشابه الگول انجام داد که به کتاب زبان‌های شبیه به الگول تبدیل شد.

وی همچنین برندهٔ جوایزی همچون همکار انجمن سلطنتی و جایزه گودل شده‌است.

منابع

[ویرایش]
  1. Reynolds, John C. (2002). "Separation Logic: A Logic for Shared Mutable Data Structures" (PDF). LICS.
  2. 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.
  3. "Infer static analyzer". fbinfer.com.
  4. "POPL 2019 Most Influential Paper Award for research that led to Facebook Infer". فیس‌بوک. 17 January 2019.
  5. https://www.dal.ca/news/2018/04/19/introducing-dal-s-honorary-degree-recipients-for-spring-convocat.html
  6. "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society". royalsociety.org (به انگلیسی). Retrieved 2018-05-15.
  7. ۷٫۰ ۷٫۱ خطای یادکرد: خطای یادکرد:برچسب <ref>‎ غیرمجاز؛ متنی برای یادکردهای با نام frs وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.).
  8. Chita, Efi. "2016 Gödel Prize".
  9. «نسخه آرشیو شده». بایگانی‌شده از اصلی در ۲۷ مارس ۲۰۱۹. دریافت‌شده در ۲۳ ژوئن ۲۰۲۰.
  10. "Four Facebook Employees Win the Prestigious CAV Award". فیس‌بوک. 5 September 2016.
  11. "Computer Science professor wins prestigious award". دانشگاه کوئین مری لندن. 3 February 2011.
  12. ۱۲٫۰ ۱۲٫۱ خطای یادکرد: خطای یادکرد:برچسب <ref>‎ غیرمجاز؛ متنی برای یادکردهای با نام gs وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.).
  13. پیتر اوهارن at Mathematics Genealogy Project
  14. 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
  15. «‪People - Meta Research‬». research.facebook.com. دریافت‌شده در ۲۰۲۳-۰۱-۲۷.
  16. "Peter O'Hearn". www0.cs.ucl.ac.uk (به انگلیسی). Retrieved 2023-01-28.
  17. «Peter O'Hearn». scholar.google.com. دریافت‌شده در ۲۰۲۳-۰۱-۲۸.
  18. «Peter O'Hearn - The Mathematics Genealogy Project». mathgenealogy.org. دریافت‌شده در ۲۰۲۳-۰۱-۳۰.
  19. «Wayback Machine» (PDF). web.archive.org. ۲۰۱۱-۰۷-۱۹. بایگانی‌شده از اصلی (PDF) در ۱۹ ژوئیه ۲۰۱۱. دریافت‌شده در ۲۰۲۳-۰۱-۳۰.
  20. «Separation Logic: A Logic for Shared Mutable Data Structure» (PDF).