پیتر اوهارن

پیتر اوهارن
FRS FREng
پیتر اوهارن; FRS FREng
	پیتر اوهرن در روز پذیرش انجمن سلطنتی در لندن، جولای ۲۰۱۸
نام هنگام تولد	Peter William O'Hearn
زادهٔ	تاریخ درست نیست٫ سال باید ۴ رقم داشته باشد٫ (برای سال‌های پیش از هزار، صفر بیفزایید٫)٫ (خطا: نیازمند سال، ماه، روز معتبر سال); هلیفکس
ملیت	British/Canadian
شهروندی	United Kingdom/Canada
محل تحصیل	دانشگاه دالهاوزی (BSc); دانشگاه کویینز (MSc, PhD)
شناخته‌شده برای	منطق جدایی; Bunched logic; Infer Static Analyzer
جایزه(ها)	Most Influential POPL Paper Award (2019); Honorary Doctor of Laws، دانشگاه دالهاوزی (2018); همکار انجمن سلطنتی (FRS) (2018); جایزه گودل (2016); Fellow of the Royal Academy of Engineering (FREng) (2016); CAV (Computer Aided Verification) Award (2016); Most Influential POPL Paper Award (2011); Royal Society Wolfson Research Merit Award (2007);
وبگاه	www0.cs.ucl.ac.uk/staff/p.ohearn/
	پیشینه علمی
شاخه(ها)	زبان برنامه‌نویسی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». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۳ ژوئن ۲۰۲۰.

این یک مقالهٔ خرد یک دانشمند است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید.

[lics02-1] Reynolds, John C. (2002). "Separation Logic: A Logic for Shared Mutable Data Structures" (PDF). LICS.

[bi-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.

[fbinfer-3] "Infer static analyzer". fbinfer.com.

[poplaward2-4] "POPL 2019 Most Influential Paper Award for research that led to Facebook Infer". فیس‌بوک. 17 January 2019.

[dal.ca-5] ttps://www.dal.ca/news/2018/04/19/introducing-dal-s-honorary-degree-recipients-for-spring-convocat.html

[royalsociety.org-6] "Distinguished scientists elected as Fellows and Foreign Members of the Royal Society". royalsociety.org (به انگلیسی). Retrieved 2018-05-15.

[frs-7] ۷٫۰ ^۷٫۱ خطای یادکرد: خطای یادکرد:برچسب <ref>‎ غیرمجاز؛ متنی برای یادکردهای با نام frs وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.).

[auto-8] Chita, Efi. "2016 Gödel Prize".

[raeng.org.uk-9] «نسخه آرشیو شده». بایگانی‌شده از اصلی در ۲۷ مارس ۲۰۱۹. دریافت‌شده در ۲۳ ژوئن ۲۰۲۰.

[fbcav-10] "Four Facebook Employees Win the Prestigious CAV Award". فیس‌بوک. 5 September 2016.

[poplaward-11] "Computer Science professor wins prestigious award". دانشگاه کوئین مری لندن. 3 February 2011.

[gs-12] ۱۲٫۰ ^۱۲٫۱ خطای یادکرد: خطای یادکرد:برچسب <ref>‎ غیرمجاز؛ متنی برای یادکردهای با نام gs وارد نشده است. (صفحهٔ راهنما را مطالعه کنید.).

[mathgene-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).

[۱۵]

[۱۶]

[۱۷]

[۱]

[۲]

[۳]

[۴]

[۵]

[۶]

[۷]

[۸]

[۹]

[۱۰]

[۱۱]

[۱۲]

[۱۳]

[۱۴]

[۱۸]

[۱۹]

[۲۰]