CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>Peter O'Hearn - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )enwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy", "wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"6a149e57-b4a9-4fe3-90ec-ae3b6491981c","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Peter_O'Hearn","wgTitle":"Peter O'Hearn","wgCurRevisionId":1249914941,"wgRevisionId":1249914941,"wgArticleId":30507112,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["CS1 maint: bot: original URL status unknown","All articles lacking reliable references","Articles lacking reliable references from November 2022","Webarchive template wayback links","Articles with short description","Short description is different from Wikidata","Use Canadian English from April 2018","All Wikipedia articles written in Canadian English","Use dmy dates from April 2018","Articles with hCards","Commons link is the pagename", "Articles with imported Creative Commons Attribution 4.0 text","1963 births","Living people","People from Halifax, Nova Scotia","Dalhousie University alumni","Queen's University at Kingston alumni","Canadian emigrants to England","British computer scientists","Canadian computer scientists","Formal methods people","Canadian fellows of the Royal Society","Fellows of the Royal Academy of Engineering","Syracuse University faculty","Academics of Queen Mary University of London","Academics of University College London","Facebook employees","Gödel Prize laureates","Royal Society Wolfson Research Merit Award holders"],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Peter_O'Hearn","wgRelevantArticleId":30507112,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgFlaggedRevsParams":{"tags":{"status":{ "levels":1}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":10000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q7176171","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready", "site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","site","mediawiki.page.ready","jquery.makeCollapsible","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ReferenceTooltips","ext.gadget.switcher","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface", "ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.quicksurveys.init","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=en&modules=ext.cite.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/2/20/Peter_O%27Hearn_Royal_Society.jpg"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="1800"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/2/20/Peter_O%27Hearn_Royal_Society.jpg"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="1200"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="960"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Peter O'Hearn - Wikipedia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//en.m.wikipedia.org/wiki/Peter_O%27Hearn"> <link rel="alternate" type="application/x-wiki" title="Edit this page" href="/w/index.php?title=Peter_O%27Hearn&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (en)"> <link rel="EditURI" type="application/rsd+xml" href="//en.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://en.wikipedia.org/wiki/Peter_O%27Hearn"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en"> <link rel="alternate" type="application/atom+xml" title="Wikipedia Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Peter_O_Hearn rootpage-Peter_O_Hearn skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Jump to content</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Main menu" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Main menu</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Main menu</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">hide</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Main_Page" title="Visit the main page [z]" accesskey="z"><span>Main page</span></a></li><li id="n-contents" class="mw-list-item"><a href="/wiki/Wikipedia:Contents" title="Guides to browsing Wikipedia"><span>Contents</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Current_events" title="Articles related to current events"><span>Current events</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Special:Random" title="Visit a randomly selected article [x]" accesskey="x"><span>Random article</span></a></li><li id="n-aboutsite" class="mw-list-item"><a href="/wiki/Wikipedia:About" title="Learn about Wikipedia and how it works"><span>About Wikipedia</span></a></li><li id="n-contactpage" class="mw-list-item"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us" title="How to contact Wikipedia"><span>Contact us</span></a></li> </ul> </div> </div> <div id="p-interaction" class="vector-menu mw-portlet mw-portlet-interaction" > <div class="vector-menu-heading"> Contribute </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-help" class="mw-list-item"><a href="/wiki/Help:Contents" title="Guidance on how to use and edit Wikipedia"><span>Help</span></a></li><li id="n-introduction" class="mw-list-item"><a href="/wiki/Help:Introduction" title="Learn how to edit Wikipedia"><span>Learn to edit</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Community_portal" title="The hub for editors"><span>Community portal</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Special:RecentChanges" title="A list of recent changes to Wikipedia [r]" accesskey="r"><span>Recent changes</span></a></li><li id="n-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_upload_wizard" title="Add images or other media for use on Wikipedia"><span>Upload file</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Main_Page" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="The Free Encyclopedia" src="/static/images/mobile/copyright/wikipedia-tagline-en.svg" width="117" height="13" style="width: 7.3125em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Special:Search" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Search Wikipedia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Search</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Search Wikipedia" aria-label="Search Wikipedia" autocapitalize="sentences" title="Search Wikipedia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Special:Search"> </div> <button class="cdx-button cdx-search-input__end-button">Search</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Personal tools"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Appearance" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Appearance</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en" class=""><span>Donate</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:CreateAccount&returnto=Peter+O%27Hearn" title="You are encouraged to create an account and log in; however, it is not mandatory" class=""><span>Create account</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:UserLogin&returnto=Peter+O%27Hearn" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o" class=""><span>Log in</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Log in and more options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Personal tools" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Personal tools</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="User menu" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en"><span>Donate</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:CreateAccount&returnto=Peter+O%27Hearn" title="You are encouraged to create an account and log in; however, it is not mandatory"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Create account</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:UserLogin&returnto=Peter+O%27Hearn" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Log in</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages for logged out editors <a href="/wiki/Help:Introduction" aria-label="Learn more about editing"><span>learn more</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n"><span>Talk</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Contents" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Contents</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">hide</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">(Top)</div> </a> </li> <li id="toc-Education" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Education"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Education</span> </div> </a> <ul id="toc-Education-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Career_and_research" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Career_and_research"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Career and research</span> </div> </a> <button aria-controls="toc-Career_and_research-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Toggle Career and research subsection</span> </button> <ul id="toc-Career_and_research-sublist" class="vector-toc-list"> <li id="toc-Awards_and_honours" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Awards_and_honours"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.1</span> <span>Awards and honours</span> </div> </a> <ul id="toc-Awards_and_honours-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-References" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#References"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>References</span> </div> </a> <ul id="toc-References-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-External_links" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#External_links"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>External links</span> </div> </a> <ul id="toc-External_links-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Contents" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Toggle the table of contents" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Toggle the table of contents</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Peter O'Hearn</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Go to an article in another language. Available in 4 languages" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-4" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">4 languages</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-azb mw-list-item"><a href="https://azb.wikipedia.org/wiki/%D9%BE%DB%8C%D8%AA%D8%B1_%D8%A7%D9%88_%D9%87%DB%8C%D9%86" title="پیتر او هین – South Azerbaijani" lang="azb" hreflang="azb" data-title="پیتر او هین" data-language-autonym="تۆرکجه" data-language-local-name="South Azerbaijani" class="interlanguage-link-target"><span>تۆرکجه</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Peter_W._O%E2%80%99Hearn" title="Peter W. O’Hearn – German" lang="de" hreflang="de" data-title="Peter W. O’Hearn" data-language-autonym="Deutsch" data-language-local-name="German" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%BE%DB%8C%D8%AA%D8%B1_%D8%A7%D9%88%D9%87%D8%A7%D8%B1%D9%86" title="پیتر اوهارن – Persian" lang="fa" hreflang="fa" data-title="پیتر اوهارن" data-language-autonym="فارسی" data-language-local-name="Persian" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Peter_O%27Hearn" title="Peter O'Hearn – French" lang="fr" hreflang="fr" data-title="Peter O'Hearn" data-language-autonym="Français" data-language-local-name="French" class="interlanguage-link-target"><span>Français</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q7176171#sitelinks-wikipedia" title="Edit interlanguage links" class="wbc-editpage">Edit links</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Namespaces"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Peter_O%27Hearn" title="View the content page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Talk:Peter_O%27Hearn" rel="discussion" title="Discuss improvements to the content page [t]" accesskey="t"><span>Talk</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Change language variant" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">English</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Views"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Peter_O%27Hearn"><span>Read</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Peter_O%27Hearn&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Peter_O%27Hearn&action=history" title="Past revisions of this page [h]" accesskey="h"><span>View history</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Tools" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Tools</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Tools</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">hide</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="More options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Peter_O%27Hearn"><span>Read</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Peter_O%27Hearn&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Peter_O%27Hearn&action=history"><span>View history</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Special:WhatLinksHere/Peter_O%27Hearn" title="List of all English Wikipedia pages containing links to this page [j]" accesskey="j"><span>What links here</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Special:RecentChangesLinked/Peter_O%27Hearn" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k"><span>Related changes</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_Upload_Wizard" title="Upload files [u]" accesskey="u"><span>Upload file</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q"><span>Special pages</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Peter_O%27Hearn&oldid=1249914941" title="Permanent link to this revision of this page"><span>Permanent link</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Peter_O%27Hearn&action=info" title="More information about this page"><span>Page information</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Special:CiteThisPage&page=Peter_O%27Hearn&id=1249914941&wpFormIdentifier=titleform" title="Information on how to cite this page"><span>Cite this page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FPeter_O%2527Hearn"><span>Get shortened URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FPeter_O%2527Hearn"><span>Download QR code</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Print/export </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Special:DownloadAsPdf&page=Peter_O%27Hearn&action=show-download-screen" title="Download this page as a PDF file"><span>Download as PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Peter_O%27Hearn&printable=yes" title="Printable version of this page [p]" accesskey="p"><span>Printable version</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> In other projects </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q7176171" title="Structured data on this page hosted by Wikidata [g]" accesskey="g"><span>Wikidata item</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Appearance</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">hide</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">From Wikipedia, the free encyclopedia</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr"><div class="shortdescription nomobile noexcerpt noprint searchaux" style="display:none">Research scientist (born 1963)</div> <p class="mw-empty-elt"> </p> <style data-mw-deduplicate="TemplateStyles:r1257001546">.mw-parser-output .infobox-subbox{padding:0;border:none;margin:-3px;width:auto;min-width:100%;font-size:100%;clear:none;float:none;background-color:transparent}.mw-parser-output .infobox-3cols-child{margin:auto}.mw-parser-output .infobox .navbar{font-size:100%}@media screen{html.skin-theme-clientpref-night .mw-parser-output .infobox-full-data:not(.notheme)>div:not(.notheme)[style]{background:#1f1f23!important;color:#f8f9fa}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .infobox-full-data:not(.notheme) div:not(.notheme){background:#1f1f23!important;color:#f8f9fa}}@media(min-width:640px){body.skin--responsive .mw-parser-output .infobox-table{display:table!important}body.skin--responsive .mw-parser-output .infobox-table>caption{display:table-caption!important}body.skin--responsive .mw-parser-output .infobox-table>tbody{display:table-row-group}body.skin--responsive .mw-parser-output .infobox-table tr{display:table-row!important}body.skin--responsive .mw-parser-output .infobox-table th,body.skin--responsive .mw-parser-output .infobox-table td{padding-left:inherit;padding-right:inherit}}</style><table class="infobox biography vcard"><tbody><tr><th colspan="2" class="infobox-above" style="font-size:125%;"><div class="fn">Peter O'Hearn</div><div class="honorific-suffix" style="font-size: 77%; font-weight: normal;"><span class="nobold noexcerpt nowraplinks" style="font-size:;"><span style="font-size: 100%;"><a href="/wiki/Fellow_of_the_Royal_Society" title="Fellow of the Royal Society">FRS</a></span> <span style="font-size: 100%;"><a href="/wiki/Fellow_of_the_Royal_Academy_of_Engineering" title="Fellow of the Royal Academy of Engineering">FREng</a></span></span></div></th></tr><tr><td colspan="2" class="infobox-image"><span class="mw-default-size" typeof="mw:File/Frameless"><a href="/wiki/File:Peter_O%27Hearn_Royal_Society.jpg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/2/20/Peter_O%27Hearn_Royal_Society.jpg/220px-Peter_O%27Hearn_Royal_Society.jpg" decoding="async" width="220" height="330" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/2/20/Peter_O%27Hearn_Royal_Society.jpg/330px-Peter_O%27Hearn_Royal_Society.jpg 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/2/20/Peter_O%27Hearn_Royal_Society.jpg/440px-Peter_O%27Hearn_Royal_Society.jpg 2x" data-file-width="576" data-file-height="864" /></a></span><div class="infobox-caption">O'Hearn in 2018</div></td></tr><tr><th scope="row" class="infobox-label">Born</th><td class="infobox-data"><div style="display:inline" class="nickname">Peter William O'Hearn</div><br /><span style="display:none"> (<span class="bday">1963-07-13</span>) </span>13 July 1963<span class="noprint ForceAgeToShow"> (age 61)</span><br /><div style="display:inline" class="birthplace"><a href="/wiki/Halifax,_Nova_Scotia" title="Halifax, Nova Scotia">Halifax, Nova Scotia</a>, Canada</div></td></tr><tr><th scope="row" class="infobox-label">Nationality</th><td class="infobox-data category">British, Canadian</td></tr><tr><th scope="row" class="infobox-label">Citizenship</th><td class="infobox-data category">United Kingdom, Canada</td></tr><tr><th scope="row" class="infobox-label">Alma mater</th><td class="infobox-data"><a href="/wiki/Dalhousie_University" title="Dalhousie University">Dalhousie University</a><br /><a href="/wiki/Queen%27s_University_at_Kingston" title="Queen's University at Kingston">Queen's University</a></td></tr><tr><th scope="row" class="infobox-label">Known for</th><td class="infobox-data"><a href="/wiki/Separation_logic" title="Separation logic">Separation logic</a><sup id="cite_ref-lics02_12-0" class="reference"><a href="#cite_note-lics02-12"><span class="cite-bracket">[</span>12<span class="cite-bracket">]</span></a></sup><br /><a href="/wiki/Bunched_logic" title="Bunched logic">Bunched logic</a><sup id="cite_ref-bi_13-0" class="reference"><a href="#cite_note-bi-13"><span class="cite-bracket">[</span>13<span class="cite-bracket">]</span></a></sup><br /><a href="/wiki/Infer_Static_Analyzer" title="Infer Static Analyzer">Infer Static Analyzer</a><sup id="cite_ref-fbinfer_14-0" class="reference"><a href="#cite_note-fbinfer-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup></td></tr><tr><th scope="row" class="infobox-label">Awards</th><td class="infobox-data"><style data-mw-deduplicate="TemplateStyles:r1126788409">.mw-parser-output .plainlist ol,.mw-parser-output .plainlist ul{line-height:inherit;list-style:none;margin:0;padding:0}.mw-parser-output .plainlist ol li,.mw-parser-output .plainlist ul li{margin-bottom:0}</style><div class="plainlist"> <ul><li>IEEE Cybersecurity Award for Practice (2021)<sup id="cite_ref-secdev.ieee.org_1-0" class="reference"><a href="#cite_note-secdev.ieee.org-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup></li> <li>Most Influential POPL Paper Award (2019)<sup id="cite_ref-poplaward2_2-0" class="reference"><a href="#cite_note-poplaward2-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup></li> <li>Honorary <a href="/wiki/Doctor_of_Laws" class="mw-redirect" title="Doctor of Laws">Doctor of Laws</a>, <a href="/wiki/Dalhousie_University" title="Dalhousie University">Dalhousie University</a> (2018)<sup id="cite_ref-dal.ca_3-0" class="reference"><a href="#cite_note-dal.ca-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup></li> <li><a href="/wiki/Fellow_of_the_Royal_Society" title="Fellow of the Royal Society">Fellow of the Royal Society</a> (FRS) (2018)<sup id="cite_ref-royalsociety.org_4-0" class="reference"><a href="#cite_note-royalsociety.org-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-frs_5-0" class="reference"><a href="#cite_note-frs-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup></li> <li><a href="/wiki/G%C3%B6del_Prize" title="Gödel Prize">Gödel Prize</a> (2016)<sup id="cite_ref-auto_6-0" class="reference"><a href="#cite_note-auto-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup></li> <li><a href="/wiki/Fellow_of_the_Royal_Academy_of_Engineering" title="Fellow of the Royal Academy of Engineering">Fellow of the Royal Academy of Engineering</a> (FREng) (2016)<sup id="cite_ref-raeng.org.uk_7-0" class="reference"><a href="#cite_note-raeng.org.uk-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup></li> <li>CAV (Computer Aided Verification) Award (2016)<sup id="cite_ref-fbcav_8-0" class="reference"><a href="#cite_note-fbcav-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup></li> <li>Most Influential POPL Paper Award (2011)<sup id="cite_ref-poplaward_9-0" class="reference"><a href="#cite_note-poplaward-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup></li> <li><a href="/wiki/Royal_Society_Wolfson_Research_Merit_Award" class="mw-redirect" title="Royal Society Wolfson Research Merit Award">Royal Society Wolfson Research Merit Award</a> (2007)<sup id="cite_ref-frs_5-1" class="reference"><a href="#cite_note-frs-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup></li></ul> </div></td></tr><tr><td colspan="2" class="infobox-full-data"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1257001546"><b>Scientific career</b></td></tr><tr><th scope="row" class="infobox-label">Fields</th><td class="infobox-data category"><a href="/wiki/Programming_language" title="Programming language">Programming languages</a><sup id="cite_ref-gs_10-0" class="reference"><a href="#cite_note-gs-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup><br /><a href="/wiki/Program_analysis" title="Program analysis">Program analysis</a><br /><a href="/wiki/Formal_verification" title="Formal verification">Formal verification</a><br /><a href="/wiki/Theoretical_computer_science" title="Theoretical computer science">Theoretical computer science</a><sup id="cite_ref-gs_10-1" class="reference"><a href="#cite_note-gs-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup></td></tr><tr><th scope="row" class="infobox-label">Institutions</th><td class="infobox-data">Lacework<br /><a href="/wiki/Meta_Platforms" title="Meta Platforms">Meta Platforms</a><br /><a href="/wiki/University_College_London" title="University College London">University College London</a><br /><a href="/wiki/Queen_Mary_University_of_London" title="Queen Mary University of London">Queen Mary University of London</a><br /><a href="/wiki/Syracuse_University" title="Syracuse University">Syracuse University</a></td></tr><tr><th scope="row" class="infobox-label"><a href="/wiki/Thesis" title="Thesis">Thesis</a></th><td class="infobox-data"><i><a rel="nofollow" class="external text" href="https://dl.acm.org/citation.cfm?id=143966">Semantics of Non-interference: A natural approach</a></i> <span style="font-size:97%;">(1992)</span></td></tr><tr><th scope="row" class="infobox-label"><a href="/wiki/Doctoral_advisor" title="Doctoral advisor">Doctoral advisor</a></th><td class="infobox-data">Robert D. Tennent<sup id="cite_ref-mathgene_11-0" class="reference"><a href="#cite_note-mathgene-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup></td></tr><tr style="display:none"><td colspan="2"> </td></tr><tr><th scope="row" class="infobox-label">Website</th><td class="infobox-data"><span class="url"><a rel="nofollow" class="external text" href="http://www0.cs.ucl.ac.uk/staff/p.ohearn/">www0<wbr />.cs<wbr />.ucl<wbr />.ac<wbr />.uk<wbr />/staff<wbr />/p<wbr />.ohearn<wbr />/</a></span></td></tr></tbody></table> <p><b>Peter William O'Hearn</b> (born 13 July 1963 in <a href="/wiki/Halifax,_Nova_Scotia" title="Halifax, Nova Scotia">Halifax, Nova Scotia</a>), formerly a research scientist at <a href="/wiki/Meta_Platforms" title="Meta Platforms">Meta</a>,<sup id="cite_ref-15" class="reference"><a href="#cite_note-15"><span class="cite-bracket">[</span>15<span class="cite-bracket">]</span></a></sup> is a Distinguished Engineer at Lacework<sup id="cite_ref-www0.cs.ucl.ac.uk_16-0" class="reference"><a href="#cite_note-www0.cs.ucl.ac.uk-16"><span class="cite-bracket">[</span>16<span class="cite-bracket">]</span></a></sup> and a <a href="/wiki/Professor" title="Professor">Professor</a> of <a href="/wiki/Computer_science" title="Computer science">Computer science</a> at <a href="/wiki/University_College_London" title="University College London">University College London</a> (UCL).<sup id="cite_ref-17" class="reference"><a href="#cite_note-17"><span class="cite-bracket">[</span>17<span class="cite-bracket">]</span></a></sup> He has made significant contributions to <a href="/wiki/Formal_methods" title="Formal methods">formal methods</a> for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.<sup id="cite_ref-gs_10-2" class="reference"><a href="#cite_note-gs-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup> </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Education">Education</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Peter_O%27Hearn&action=edit&section=1" title="Edit section: Education"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>O'Hearn attained a BSc degree in computer science from <a href="/wiki/Dalhousie_University" title="Dalhousie University">Dalhousie University</a>, Halifax, Nova Scotia (1985), followed by MSc (1987) and PhD (1991) degrees from <a href="/wiki/Queen%27s_University_at_Kingston" title="Queen's University at Kingston">Queen's University</a>, <a href="/wiki/Kingston,_Ontario" title="Kingston, Ontario">Kingston</a>, <a href="/wiki/Ontario" title="Ontario">Ontario</a>, Canada. His dissertation was on <i>Semantics of Non-interference: A natural approach</i>, supervised by Robert D. Tennent.<sup id="cite_ref-mathgene_11-1" class="reference"><a href="#cite_note-mathgene-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-cv_18-0" class="reference"><a href="#cite_note-cv-18"><span class="cite-bracket">[</span>18<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Career_and_research">Career and research</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Peter_O%27Hearn&action=edit&section=2" title="Edit section: Career and research"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>O'Hearn is best known for <a href="/wiki/Separation_logic" title="Separation logic">separation logic</a>,<sup id="cite_ref-lics02_12-1" class="reference"><a href="#cite_note-lics02-12"><span class="cite-bracket">[</span>12<span class="cite-bracket">]</span></a></sup> a theory he developed with <a href="/wiki/John_C._Reynolds" title="John C. Reynolds">John C. Reynolds</a> that unearthed new domains for scaling logical reasoning about code. This built on prior research from O'Hearn and David Pym on logic for resources, termed <a href="/wiki/Bunched_logic" title="Bunched logic">bunched logic</a>.<sup id="cite_ref-bi_13-1" class="reference"><a href="#cite_note-bi-13"><span class="cite-bracket">[</span>13<span class="cite-bracket">]</span></a></sup> With Stephen Brookes, <a href="/wiki/Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon University</a>, O'Hearn created Concurrent Separation Logic (CSL), extending the theory further. <a href="/wiki/Tony_Hoare" title="Tony Hoare">Tony Hoare</a>, in discussing the grand challenge of program verification, described CSL as "solving two problems...concurrecy and object orientation".<sup id="cite_ref-19" class="reference"><a href="#cite_note-19"><span class="cite-bracket">[</span>19<span class="cite-bracket">]</span></a></sup> </p><p>He conducted a study of programming languages which were similar to <a href="/wiki/ALGOL" title="ALGOL">ALGOL</a>, with his former doctoral advisor Robert D. Tennent, which became the book <i>Algol-Like Languages</i>.<sup id="cite_ref-20" class="reference"><a href="#cite_note-20"><span class="cite-bracket">[</span>20<span class="cite-bracket">]</span></a></sup> </p><p>Separation logic has given rise to the <a href="/wiki/Infer_Static_Analyzer" title="Infer Static Analyzer">Infer Static Analyzer</a> (Facebook Infer), a <a href="/wiki/Static_program_analysis" title="Static program analysis">static program analysis</a> utility developed by O'Hearn's team at <a href="/wiki/Facebook" title="Facebook">Facebook</a>.<sup id="cite_ref-fbinfer_14-1" class="reference"><a href="#cite_note-fbinfer-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup> After 20 plus years in academia, O'Hearn began working at Facebook in 2013 with the acquisition of Monoidics Ltd, a startup he cofounded.<sup id="cite_ref-21" class="reference"><a href="#cite_note-21"><span class="cite-bracket">[</span>21<span class="cite-bracket">]</span></a></sup> Since its inception, Infer has enabled Facebook engineers to resolve tens of thousands of bugs before reaching production.<sup id="cite_ref-22" class="reference"><a href="#cite_note-22"><span class="cite-bracket">[</span>22<span class="cite-bracket">]</span></a></sup> It was open sourced in 2016, and is used by <a href="/wiki/Amazon_Inc" class="mw-redirect" title="Amazon Inc">Amazon Inc</a>, <a href="/wiki/Spotify" title="Spotify">Spotify</a>, <a href="/wiki/Mozilla" title="Mozilla">Mozilla</a>, <a href="/wiki/Uber" title="Uber">Uber</a>, and others.<sup id="cite_ref-fbinfer_14-2" class="reference"><a href="#cite_note-fbinfer-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup> In 2017, O'Hearn and the team open sourced RacerD, an automated static race condition detection tool that reduces the time it takes to flag potential problems in concurrent software, as part of the Infer platform.<sup id="cite_ref-23" class="reference"><a href="#cite_note-23"><span class="cite-bracket">[</span>23<span class="cite-bracket">]</span></a></sup> </p><p>O'Hearn was an assistant professor at <a href="/wiki/Syracuse_University" title="Syracuse University">Syracuse University</a>, <a href="/wiki/New_York_(state)" title="New York (state)">New York</a>, United States, from 1990 to 1995. He was a <a href="/wiki/Reader_(academic_rank)" title="Reader (academic rank)">reader</a> in computer science at <a href="/wiki/Queen_Mary_University_of_London" title="Queen Mary University of London">Queen Mary University of London</a> from 1996 to 1999 and then a full professor at Queen Mary until his move to <a href="/wiki/University_College_London" title="University College London">University College London</a>. At UCL he was granted a chair sponsored by the <a href="/wiki/Royal_Academy_of_Engineering" title="Royal Academy of Engineering">Royal Academy of Engineering</a> and <a href="/wiki/Microsoft_Research" title="Microsoft Research">Microsoft Research</a>.<sup id="cite_ref-24" class="reference"><a href="#cite_note-24"><span class="cite-bracket">[</span>24<span class="cite-bracket">]</span></a></sup> In 1997 he was a visiting scientist at <a href="/wiki/Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon University</a> and in 2006 he was a visiting researcher at <a href="/wiki/Microsoft_Research_Cambridge" class="mw-redirect" title="Microsoft Research Cambridge">Microsoft Research Cambridge</a>.<sup id="cite_ref-cv_18-1" class="reference"><a href="#cite_note-cv-18"><span class="cite-bracket">[</span>18<span class="cite-bracket">]</span></a></sup> He now shares his time working as a Distinguished Engineer at Lacework and a professor at UCL.<sup id="cite_ref-www0.cs.ucl.ac.uk_16-1" class="reference"><a href="#cite_note-www0.cs.ucl.ac.uk-16"><span class="cite-bracket">[</span>16<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading3"><h3 id="Awards_and_honours">Awards and honours</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Peter_O%27Hearn&action=edit&section=3" title="Edit section: Awards and honours"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>In 2007, O'Hearn was granted a <a href="/wiki/Royal_Society_Wolfson_Research_Merit_Award" class="mw-redirect" title="Royal Society Wolfson Research Merit Award">Royal Society Wolfson Research Merit Award</a>.<sup id="cite_ref-frs_5-2" class="reference"><a href="#cite_note-frs-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> In 2011, O'Hearn and Samin Ishtiaq were awarded a Most Influential POPL Paper Award.<sup id="cite_ref-poplaward_9-1" class="reference"><a href="#cite_note-poplaward-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup> With Stephen Brookes, <a href="/wiki/Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon University</a>, he was co-recipient of the 2016 <a href="/wiki/G%C3%B6del_Prize" title="Gödel Prize">Gödel Prize</a>, for the invention of Concurrent Separation Logic.<sup id="cite_ref-auto_6-1" class="reference"><a href="#cite_note-auto-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup> Also in 2016, he was elected <a href="/wiki/Fellow_of_the_Royal_Academy_of_Engineering" title="Fellow of the Royal Academy of Engineering">Fellow of the Royal Academy of Engineering</a> (FREng) and co-received the annual CAV (Computer Aided Verification) award.<sup id="cite_ref-raeng.org.uk_7-1" class="reference"><a href="#cite_note-raeng.org.uk-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-fbcav_8-1" class="reference"><a href="#cite_note-fbcav-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup> In 2018, he was elected <a href="/wiki/Fellow_of_the_Royal_Society" title="Fellow of the Royal Society">Fellow of the Royal Society</a> (FRS), and was bestowed with an Honorary <a href="/wiki/Doctor_of_Laws" class="mw-redirect" title="Doctor of Laws">Doctor of Laws</a> from <a href="/wiki/Dalhousie_University" title="Dalhousie University">Dalhousie University</a>.<sup id="cite_ref-royalsociety.org_4-1" class="reference"><a href="#cite_note-royalsociety.org-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-frs_5-3" class="reference"><a href="#cite_note-frs-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-dal.ca_3-1" class="reference"><a href="#cite_note-dal.ca-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> January 2019 saw O'Hearn honoured with another Most Influential POPL Paper Award, which he shared with three colleagues.<sup id="cite_ref-poplaward2_2-1" class="reference"><a href="#cite_note-poplaward2-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> The <a href="/wiki/Institute_of_Electrical_and_Electronics_Engineers_(IEEE)" class="mw-redirect" title="Institute of Electrical and Electronics Engineers (IEEE)">Institute of Electrical and Electronics Engineers (IEEE)</a> granted O'Hearn and three of his Facebook colleagues an IEEE Cybersecurity Award for Practice at their annual awards ceremony in October, 2021.<sup id="cite_ref-secdev.ieee.org_1-1" class="reference"><a href="#cite_note-secdev.ieee.org-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="References">References</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Peter_O%27Hearn&action=edit&section=4" title="Edit section: References"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1239543626">.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}</style><div class="reflist"> <div class="mw-references-wrap mw-references-columns"><ol class="references"> <li id="cite_note-secdev.ieee.org-1"><span class="mw-cite-backlink">^ <a href="#cite_ref-secdev.ieee.org_1-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-secdev.ieee.org_1-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><style data-mw-deduplicate="TemplateStyles:r1238218222">.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}</style><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://secdev.ieee.org/2021/ieee-award-ceremony/">"2021 IEEE award ceremony - IEEE Secure Development Conference"</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=2021+IEEE+award+ceremony+-+IEEE+Secure+Development+Conference&rft_id=https%3A%2F%2Fsecdev.ieee.org%2F2021%2Fieee-award-ceremony%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-poplaward2-2"><span class="mw-cite-backlink">^ <a href="#cite_ref-poplaward2_2-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-poplaward2_2-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://research.fb.com/blog/2019/01/popl-2019-most-influential-paper-award-for-research-that-led-to-facebook-infer/">"POPL 2019 Most Influential Paper Award for research that led to Facebook Infer"</a>. <a href="/wiki/Facebook" title="Facebook">Facebook</a>. 17 January 2019.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=POPL+2019+Most+Influential+Paper+Award+for+research+that+led+to+Facebook+Infer&rft.pub=Facebook&rft.date=2019-01-17&rft_id=https%3A%2F%2Fresearch.fb.com%2Fblog%2F2019%2F01%2Fpopl-2019-most-influential-paper-award-for-research-that-led-to-facebook-infer%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-dal.ca-3"><span class="mw-cite-backlink">^ <a href="#cite_ref-dal.ca_3-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-dal.ca_3-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.dal.ca/news/2018/04/19/introducing-dal-s-honorary-degree-recipients-for-spring-convocat.html">"Introducing Dal's honorary degree recipients for Spring Convocation 2018"</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Introducing+Dal%27s+honorary+degree+recipients+for+Spring+Convocation+2018&rft_id=https%3A%2F%2Fwww.dal.ca%2Fnews%2F2018%2F04%2F19%2Fintroducing-dal-s-honorary-degree-recipients-for-spring-convocat.html&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-royalsociety.org-4"><span class="mw-cite-backlink">^ <a href="#cite_ref-royalsociety.org_4-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-royalsociety.org_4-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://royalsociety.org/news/2018/05/distinguished-scientists-elected-fellows-royal-society-2018/">"Distinguished scientists elected as Fellows and Foreign Members of the Royal Society"</a>. <i>royalsociety.org</i><span class="reference-accessdate">. Retrieved <span class="nowrap">15 May</span> 2018</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=royalsociety.org&rft.atitle=Distinguished+scientists+elected+as+Fellows+and+Foreign+Members+of+the+Royal+Society&rft_id=https%3A%2F%2Froyalsociety.org%2Fnews%2F2018%2F05%2Fdistinguished-scientists-elected-fellows-royal-society-2018%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-frs-5"><span class="mw-cite-backlink">^ <a href="#cite_ref-frs_5-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-frs_5-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-frs_5-2"><sup><i><b>c</b></i></sup></a> <a href="#cite_ref-frs_5-3"><sup><i><b>d</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFAnon2018" class="citation web cs1">Anon (2018). <a rel="nofollow" class="external text" href="https://web.archive.org/web/20180607074505/https://royalsociety.org/people/peterohearn13830/">"Professor Peter O'Hearn FRS"</a>. <i>royalsociety.org</i>. London: <a href="/wiki/Royal_Society" title="Royal Society">Royal Society</a>. Archived from <a rel="nofollow" class="external text" href="https://royalsociety.org/people/peterohearn13830/">the original</a> on 7 June 2018.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=royalsociety.org&rft.atitle=Professor+Peter+O%27Hearn+FRS&rft.date=2018&rft.au=Anon&rft_id=https%3A%2F%2Froyalsociety.org%2Fpeople%2Fpeterohearn13830%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span> One or more of the preceding sentences incorporates text from the royalsociety.org website where: <style data-mw-deduplicate="TemplateStyles:r1244412712">.mw-parser-output .templatequote{overflow:hidden;margin:1em 0;padding:0 32px}.mw-parser-output .templatequotecite{line-height:1.5em;text-align:left;margin-top:0}@media(min-width:500px){.mw-parser-output .templatequotecite{padding-left:1.6em}}</style><blockquote class="templatequote"><p>“All text published under the heading 'Biography' on Fellow profile pages is available under <a href="/wiki/Creative_Commons_license" title="Creative Commons license">Creative Commons Attribution 4.0 International License</a>.” --<link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20161111170346/https://royalsociety.org/about-us/terms-conditions-policies/">"Terms, conditions and policies | Royal Society"</a>. Archived from the original on 11 November 2016<span class="reference-accessdate">. Retrieved <span class="nowrap">7 June</span> 2018</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Terms%2C+conditions+and+policies+%26%23124%3B+Royal+Society&rft_id=https%3A%2F%2Froyalsociety.org%2Fabout-us%2Fterms-conditions-policies%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span><span class="cs1-maint citation-comment"><code class="cs1-code">{{<a href="/wiki/Template:Cite_web" title="Template:Cite web">cite web</a>}}</code>: CS1 maint: bot: original URL status unknown (<a href="/wiki/Category:CS1_maint:_bot:_original_URL_status_unknown" title="Category:CS1 maint: bot: original URL status unknown">link</a>)</span></p></blockquote></span> </li> <li id="cite_note-auto-6"><span class="mw-cite-backlink">^ <a href="#cite_ref-auto_6-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-auto_6-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFChita2016" class="citation web cs1">Chita, Efi (12–15 July 2016). <a rel="nofollow" class="external text" href="https://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize">"2016 Gödel Prize"</a>. European Association for Theoretical Computer Science.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=2016+G%C3%B6del+Prize&rft.pub=European+Association+for+Theoretical+Computer+Science&rft.date=2016-07-12%2F2016-07-15&rft.aulast=Chita&rft.aufirst=Efi&rft_id=https%3A%2F%2Featcs.org%2Findex.php%2Fcomponent%2Fcontent%2Farticle%2F1-news%2F2280-2016-godel-prize&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-raeng.org.uk-7"><span class="mw-cite-backlink">^ <a href="#cite_ref-raeng.org.uk_7-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-raeng.org.uk_7-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20190327124215/https://www.raeng.org.uk/about-us/the-fellowship/new-fellows-2016/fellows/peter-o-hearn">"Royal Academy Fellows 2016"</a>. Archived from <a rel="nofollow" class="external text" href="https://www.raeng.org.uk/about-us/the-fellowship/new-fellows-2016/fellows/peter-o-hearn">the original</a> on 27 March 2019<span class="reference-accessdate">. Retrieved <span class="nowrap">26 May</span> 2018</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Royal+Academy+Fellows+2016&rft_id=https%3A%2F%2Fwww.raeng.org.uk%2Fabout-us%2Fthe-fellowship%2Fnew-fellows-2016%2Ffellows%2Fpeter-o-hearn&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-fbcav-8"><span class="mw-cite-backlink">^ <a href="#cite_ref-fbcav_8-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-fbcav_8-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFO'Sullivan2016" class="citation web cs1">O'Sullivan, Bryan (5 September 2016). <a rel="nofollow" class="external text" href="https://research.fb.com/blog/2016/09/four-facebook-employees-win-the-prestigious-cav-award/">"Four Facebook Employees Win the Prestigious CAV Award"</a>. <a href="/wiki/Facebook" title="Facebook">Facebook</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Four+Facebook+Employees+Win+the+Prestigious+CAV+Award&rft.pub=Facebook&rft.date=2016-09-05&rft.aulast=O%27Sullivan&rft.aufirst=Bryan&rft_id=https%3A%2F%2Fresearch.fb.com%2Fblog%2F2016%2F09%2Ffour-facebook-employees-win-the-prestigious-cav-award%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span><sup class="noprint Inline-Template" style="white-space:nowrap;">[<i><a href="/wiki/Wikipedia:Reliable_sources" title="Wikipedia:Reliable sources"><span title="The material near this tag may rely on an unreliable source. (November 2022)">unreliable source?</span></a></i>]</sup></span> </li> <li id="cite_note-poplaward-9"><span class="mw-cite-backlink">^ <a href="#cite_ref-poplaward_9-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-poplaward_9-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.qmul.ac.uk/media/news/2011/se/computer-science-professor-wins-prestigious-award.html">"Computer Science professor wins prestigious award"</a>. <a href="/wiki/Queen_Mary_University_of_London" title="Queen Mary University of London">Queen Mary University of London</a>. 3 February 2011.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Computer+Science+professor+wins+prestigious+award&rft.pub=Queen+Mary+University+of+London&rft.date=2011-02-03&rft_id=https%3A%2F%2Fwww.qmul.ac.uk%2Fmedia%2Fnews%2F2011%2Fse%2Fcomputer-science-professor-wins-prestigious-award.html&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-gs-10"><span class="mw-cite-backlink">^ <a href="#cite_ref-gs_10-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-gs_10-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-gs_10-2"><sup><i><b>c</b></i></sup></a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://scholar.google.com/citations?user=NonivoUAAAAJ">Peter O'Hearn</a> publications indexed by <a href="/wiki/Google_Scholar" title="Google Scholar">Google Scholar</a> <span class="mw-valign-text-top noprint" typeof="mw:File/Frameless"><a href="https://www.wikidata.org/wiki/Q7176171#P1960" title="Edit this at Wikidata"><img alt="Edit this at Wikidata" src="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/15px-OOjs_UI_icon_edit-ltr-progressive.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/20px-OOjs_UI_icon_edit-ltr-progressive.svg.png 2x" data-file-width="20" data-file-height="20" /></a></span></span> </li> <li id="cite_note-mathgene-11"><span class="mw-cite-backlink">^ <a href="#cite_ref-mathgene_11-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-mathgene_11-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://mathgenealogy.org/id.php?id=41401">Peter O'Hearn</a> at the <a href="/wiki/Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> <span class="mw-valign-text-top noprint" typeof="mw:File/Frameless"><a href="https://www.wikidata.org/wiki/Q7176171#P549" title="Edit this at Wikidata"><img alt="Edit this at Wikidata" src="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/15px-OOjs_UI_icon_edit-ltr-progressive.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/20px-OOjs_UI_icon_edit-ltr-progressive.svg.png 2x" data-file-width="20" data-file-height="20" /></a></span></span> </li> <li id="cite_note-lics02-12"><span class="mw-cite-backlink">^ <a href="#cite_ref-lics02_12-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-lics02_12-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFReynolds2002" class="citation journal cs1"><a href="/wiki/John_C._Reynolds" title="John C. Reynolds">Reynolds, John C.</a> (2002). <a rel="nofollow" class="external text" href="https://www.cs.cmu.edu/~jcr/seplogic.pdf">"Separation Logic: A Logic for Shared Mutable Data Structures"</a> <span class="cs1-format">(PDF)</span>. <i>LICS</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=LICS&rft.atitle=Separation+Logic%3A+A+Logic+for+Shared+Mutable+Data+Structures&rft.date=2002&rft.aulast=Reynolds&rft.aufirst=John+C.&rft_id=https%3A%2F%2Fwww.cs.cmu.edu%2F~jcr%2Fseplogic.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-bi-13"><span class="mw-cite-backlink">^ <a href="#cite_ref-bi_13-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-bi_13-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFO'HearnPym1999" class="citation journal cs1">O'Hearn, P. W.; Pym, D. J. (June 1999). "The Logic of Bunched Implications". <i><a href="/wiki/Bulletin_of_Symbolic_Logic" class="mw-redirect" title="Bulletin of Symbolic Logic">Bulletin of Symbolic Logic</a></i>. <b>5</b> (2): 215–244. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.2307%2F421090">10.2307/421090</a>. <a href="/wiki/JSTOR_(identifier)" class="mw-redirect" title="JSTOR (identifier)">JSTOR</a> <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/421090">421090</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:2948552">2948552</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Bulletin+of+Symbolic+Logic&rft.atitle=The+Logic+of+Bunched+Implications&rft.volume=5&rft.issue=2&rft.pages=215-244&rft.date=1999-06&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A2948552%23id-name%3DS2CID&rft_id=https%3A%2F%2Fwww.jstor.org%2Fstable%2F421090%23id-name%3DJSTOR&rft_id=info%3Adoi%2F10.2307%2F421090&rft.aulast=O%27Hearn&rft.aufirst=P.+W.&rft.au=Pym%2C+D.+J.&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-fbinfer-14"><span class="mw-cite-backlink">^ <a href="#cite_ref-fbinfer_14-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-fbinfer_14-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-fbinfer_14-2"><sup><i><b>c</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://fbinfer.com/">"Infer static analyzer"</a>. <i>fbinfer.com</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=fbinfer.com&rft.atitle=Infer+static+analyzer&rft_id=http%3A%2F%2Ffbinfer.com%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-15"><span class="mw-cite-backlink"><b><a href="#cite_ref-15">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://research.fb.com/people/ohearn-peter/">"Peter O'Hearn"</a>. <i>Facebook Research</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Facebook+Research&rft.atitle=Peter+O%27Hearn&rft_id=https%3A%2F%2Fresearch.fb.com%2Fpeople%2Fohearn-peter%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-www0.cs.ucl.ac.uk-16"><span class="mw-cite-backlink">^ <a href="#cite_ref-www0.cs.ucl.ac.uk_16-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-www0.cs.ucl.ac.uk_16-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://www0.cs.ucl.ac.uk/staff/p.ohearn/">"Peter O'Hearn"</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Peter+O%27Hearn&rft_id=http%3A%2F%2Fwww0.cs.ucl.ac.uk%2Fstaff%2Fp.ohearn%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-17"><span class="mw-cite-backlink"><b><a href="#cite_ref-17">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://www0.cs.ucl.ac.uk/staff/p.ohearn/">"Peter O'Hearn"</a>. <i>www0.cs.ucl.ac.uk</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=www0.cs.ucl.ac.uk&rft.atitle=Peter+O%27Hearn&rft_id=http%3A%2F%2Fwww0.cs.ucl.ac.uk%2Fstaff%2Fp.ohearn%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-cv-18"><span class="mw-cite-backlink">^ <a href="#cite_ref-cv_18-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-cv_18-1"><sup><i><b>b</b></i></sup></a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.eecs.qmul.ac.uk/~ohearn/CV.pdf">Peter W O'Hearn, Curriculum Vitae</a> <a rel="nofollow" class="external text" href="https://web.archive.org/web/20110719174954/http://www.eecs.qmul.ac.uk/~ohearn/CV.pdf">Archived</a> 19 July 2011 at the <a href="/wiki/Wayback_Machine" title="Wayback Machine">Wayback Machine</a>, <a href="/wiki/Queen_Mary,_University_of_London" class="mw-redirect" title="Queen Mary, University of London">Queen Mary, University of London</a>, UK.</span> </li> <li id="cite_note-19"><span class="mw-cite-backlink"><b><a href="#cite_ref-19">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFHoare2003" class="citation journal cs1">Hoare, Tony (2003). <a rel="nofollow" class="external text" href="https://dl.acm.org/doi/10.1145/602382.602403">"The verifying compiler"</a>. <i>Journal of the ACM</i>. <b>50</b>: 63–69. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1145%2F602382.602403">10.1145/602382.602403</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:441648">441648</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Journal+of+the+ACM&rft.atitle=The+verifying+compiler&rft.volume=50&rft.pages=63-69&rft.date=2003&rft_id=info%3Adoi%2F10.1145%2F602382.602403&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A441648%23id-name%3DS2CID&rft.aulast=Hoare&rft.aufirst=Tony&rft_id=https%3A%2F%2Fdl.acm.org%2Fdoi%2F10.1145%2F602382.602403&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-20"><span class="mw-cite-backlink"><b><a href="#cite_ref-20">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFO'HearnTennent1997" class="citation book cs1">O'Hearn, Peter; Tennent, Robert D. (1997). <i>Algol-Like Languages</i>. Cambridge, MA: Birkhauser Boston. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-1-4612-4118-8">10.1007/978-1-4612-4118-8</a>. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-8176-3880-1" title="Special:BookSources/978-0-8176-3880-1"><bdi>978-0-8176-3880-1</bdi></a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:6273486">6273486</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Algol-Like+Languages&rft.place=Cambridge%2C+MA&rft.pub=Birkhauser+Boston&rft.date=1997&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A6273486%23id-name%3DS2CID&rft_id=info%3Adoi%2F10.1007%2F978-1-4612-4118-8&rft.isbn=978-0-8176-3880-1&rft.aulast=O%27Hearn&rft.aufirst=Peter&rft.au=Tennent%2C+Robert+D.&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-21"><span class="mw-cite-backlink"><b><a href="#cite_ref-21">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://techcrunch.com/2013/07/18/facebook-monoidics/">"Facebook Acquires Assets Of UK Mobile Bug-Checking Software Developer Monoidics"</a>. <i>TechCrunch</i>. Verizon Media. 18 July 2013.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=TechCrunch&rft.atitle=Facebook+Acquires+Assets+Of+UK+Mobile+Bug-Checking+Software+Developer+Monoidics&rft.date=2013-07-18&rft_id=https%3A%2F%2Ftechcrunch.com%2F2013%2F07%2F18%2Ffacebook-monoidics%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-22"><span class="mw-cite-backlink"><b><a href="#cite_ref-22">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://research.fb.com/publications/continuous-reasoning-scaling-the-impact-of-formal-methods">"Continuous Reasoning: Scaling the Impact of Formal Methods"</a>. <i>Facebook Research</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Facebook+Research&rft.atitle=Continuous+Reasoning%3A+Scaling+the+Impact+of+Formal+Methods&rft_id=https%3A%2F%2Fresearch.fb.com%2Fpublications%2Fcontinuous-reasoning-scaling-the-impact-of-formal-methods&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-23"><span class="mw-cite-backlink"><b><a href="#cite_ref-23">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation news cs1"><a rel="nofollow" class="external text" href="https://www.techrepublic.com/article/facebook-open-sources-racerd-a-tool-thats-already-squashed-1000-bugs-in-concurrent-software/">"Facebook open sources RacerD: A tool that's already squashed 1,000 bugs in concurrent code"</a>. <a href="/wiki/TechRepublic" title="TechRepublic">TechRepublic</a>. 19 October 2017.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Facebook+open+sources+RacerD%3A+A+tool+that%27s+already+squashed+1%2C000+bugs+in+concurrent+code&rft.date=2017-10-19&rft_id=https%3A%2F%2Fwww.techrepublic.com%2Farticle%2Ffacebook-open-sources-racerd-a-tool-thats-already-squashed-1000-bugs-in-concurrent-software%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> <li id="cite_note-24"><span class="mw-cite-backlink"><b><a href="#cite_ref-24">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20160904160433/http://www.raeng.org.uk/publications/newsletters/spring-newsletter-2012">"Spring Newsletter"</a>. <i>raeng.org.uk</i>. 2012. Archived from <a rel="nofollow" class="external text" href="https://www.raeng.org.uk/publications/newsletters/spring-newsletter-2012">the original</a> on 4 September 2016<span class="reference-accessdate">. Retrieved <span class="nowrap">6 June</span> 2018</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=raeng.org.uk&rft.atitle=Spring+Newsletter&rft.date=2012&rft_id=https%3A%2F%2Fwww.raeng.org.uk%2Fpublications%2Fnewsletters%2Fspring-newsletter-2012&rfr_id=info%3Asid%2Fen.wikipedia.org%3APeter+O%27Hearn" class="Z3988"></span></span> </li> </ol></div></div> <div class="mw-heading mw-heading2"><h2 id="External_links">External links</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Peter_O%27Hearn&action=edit&section=5" title="Edit section: External links"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><span class="noviewer" typeof="mw:File"><a href="/wiki/File:Commons-logo.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/12px-Commons-logo.svg.png" decoding="async" width="12" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/18px-Commons-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/24px-Commons-logo.svg.png 2x" data-file-width="1024" data-file-height="1376" /></a></span> Media related to <a href="https://commons.wikimedia.org/wiki/Special:Search/Peter_O%27Hearn" class="extiw" title="commons:Special:Search/Peter O'Hearn">Peter O'Hearn</a> at Wikimedia Commons</li></ul> <p><i><span typeof="mw:File"><a href="//creativecommons.org/licenses/by/4.0/" title="creativecommons:by/4.0/"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Creative_Commons_by_small.svg/80px-Creative_Commons_by_small.svg.png" decoding="async" width="80" height="15" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Creative_Commons_by_small.svg/120px-Creative_Commons_by_small.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/6/65/Creative_Commons_by_small.svg/160px-Creative_Commons_by_small.svg.png 2x" data-file-width="80" data-file-height="15" /></a></span> This article incorporates <a rel="nofollow" class="external text" href="https://royalsociety.org/people/peterohearn13830/">text</a> available under the <a href="//creativecommons.org/licenses/by/4.0/" class="extiw" title="creativecommons:by/4.0/">CC BY 4.0</a> license.</i> </p> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r1129693374">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r1236075235">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}</style></div><div role="navigation" class="navbox" aria-labelledby="Fellows_of_the_Royal_Society_elected_in_2018" style="padding:3px"><table class="nowraplinks mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><style data-mw-deduplicate="TemplateStyles:r1239400231">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-view"><a href="/wiki/Template:FRS_2018" title="Template:FRS 2018"><abbr title="View this template">v</abbr></a></li><li class="nv-talk"><a href="/wiki/Template_talk:FRS_2018" title="Template talk:FRS 2018"><abbr title="Discuss this template">t</abbr></a></li><li class="nv-edit"><a href="/wiki/Special:EditPage/Template:FRS_2018" title="Special:EditPage/Template:FRS 2018"><abbr title="Edit this template">e</abbr></a></li></ul></div><div id="Fellows_of_the_Royal_Society_elected_in_2018" style="font-size:114%;margin:0 4em"><a href="/wiki/Fellow_of_the_Royal_Society" title="Fellow of the Royal Society">Fellows</a> of the <a href="/wiki/Royal_Society" title="Royal Society">Royal Society</a> elected <a href="/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2018" title="List of fellows of the Royal Society elected in 2018">in 2018</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Fellows</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Jim_Al-Khalili" title="Jim Al-Khalili">Jim Al-Khalili</a></li> <li><a href="/wiki/Polly_Arnold" title="Polly Arnold">Polly Arnold</a></li> <li><a href="/wiki/Jillian_Banfield" title="Jillian Banfield">Jillian Banfield</a></li> <li><a href="/wiki/Margaret_Brimble" title="Margaret Brimble">Margaret Brimble</a></li> <li><a href="/wiki/Neil_Brockdorff" title="Neil Brockdorff">Neil Brockdorff</a></li> <li><a href="/wiki/Frank_Caruso_(chemical_engineer)" title="Frank Caruso (chemical engineer)">Frank Caruso</a></li> <li><a href="/wiki/Vincenzo_Cerundolo" title="Vincenzo Cerundolo">Vincenzo Cerundolo</a></li> <li><a href="/wiki/Kevin_Costello" title="Kevin Costello">Kevin Costello</a></li> <li><a href="/wiki/Robert_H._Crabtree" title="Robert H. Crabtree">Robert Crabtree</a></li> <li><a href="/wiki/Philip_Dawid" title="Philip Dawid">Philip Dawid</a></li> <li><a href="/wiki/Peter_Dayan" title="Peter Dayan">Peter Dayan</a></li> <li><a href="/wiki/Richard_Dixon_(biologist)" title="Richard Dixon (biologist)">Richard Dixon</a></li> <li><a href="/wiki/Gregory_Edgecombe" title="Gregory Edgecombe">Gregory Edgecombe</a></li> <li><a href="/wiki/Wenfei_Fan" title="Wenfei Fan">Wenfei Fan</a></li> <li><a href="/wiki/Roger_S._Goody" title="Roger S. Goody">Roger Goody</a></li> <li><a href="/wiki/Robin_Grimes" title="Robin Grimes">Robin Grimes</a></li> <li><a href="/wiki/Gregory_Hannon" title="Gregory Hannon">Gregory Hannon</a></li> <li><a href="/wiki/Demis_Hassabis" title="Demis Hassabis">Demis Hassabis</a></li> <li><a href="/wiki/Judy_Hirst" title="Judy Hirst">Judy Hirst</a></li> <li><a href="/wiki/Graeme_Jameson" title="Graeme Jameson">Graeme Jameson</a></li> <li><a href="/wiki/Harren_Jhoti" title="Harren Jhoti">Harren Jhoti</a></li> <li><a href="/wiki/Sophien_Kamoun" title="Sophien Kamoun">Sophien Kamoun</a></li> <li><a href="/wiki/Andrew_King_(neurophysiologist)" title="Andrew King (neurophysiologist)">Andrew King</a></li> <li><a href="/wiki/Dimitri_Kullmann" title="Dimitri Kullmann">Dimitri Kullmann</a></li> <li><a href="/wiki/Dominic_Kwiatkowski" title="Dominic Kwiatkowski">Dominic Kwiatkowski</a></li> <li><a href="/wiki/Richard_Marais" title="Richard Marais">Richard Marais</a></li> <li><a href="/wiki/Cathie_Martin" title="Cathie Martin">Cathie Martin</a></li> <li><a href="/wiki/Elon_Musk" title="Elon Musk">Elon Musk</a></li> <li><a class="mw-selflink selflink">Peter O'Hearn</a></li> <li><a href="/wiki/Vassilis_Pachnis" title="Vassilis Pachnis">Vassilis Pachnis</a></li> <li><a href="/wiki/Tracy_Palmer" title="Tracy Palmer">Tracy Palmer</a></li> <li><a href="/wiki/Colin_Prentice" title="Colin Prentice">Colin Prentice</a></li> <li><a href="/wiki/Lalita_Ramakrishnan" title="Lalita Ramakrishnan">Lalita Ramakrishnan</a></li> <li><a href="/wiki/Nancy_Reid" title="Nancy Reid">Nancy Reid</a></li> <li><a href="/wiki/Graham_Richards" title="Graham Richards">Graham Richards</a></li> <li><a href="/wiki/David_Richardson_(physicist)" title="David Richardson (physicist)">David Richardson</a></li> <li><a href="/wiki/Sheila_Rowan_(physicist)" title="Sheila Rowan (physicist)">Sheila Rowan</a></li> <li><a href="/wiki/Ingrid_Scheffer" title="Ingrid Scheffer">Ingrid Scheffer</a></li> <li><a href="/wiki/Michelle_Simmons" title="Michelle Simmons">Michelle Simmons</a></li> <li><a href="/wiki/John_Smol" title="John Smol">John Smol</a></li> <li><a href="/wiki/Timothy_Softley" title="Timothy Softley">Timothy Softley</a></li> <li><a href="/wiki/John_Speakman" title="John Speakman">John Speakman</a></li> <li><a href="/wiki/Graeme_Stephens" title="Graeme Stephens">Graeme Stephens</a></li> <li><a href="/wiki/Angela_Strank" title="Angela Strank">Angela Strank</a></li> <li><a href="/wiki/Charles_Swanton" title="Charles Swanton">Charles Swanton</a></li> <li><a href="/wiki/Peter_Visscher" title="Peter Visscher">Peter Visscher</a></li> <li><a href="/wiki/Guy_Wilkinson_(physicist)" title="Guy Wilkinson (physicist)">Guy Wilkinson</a></li> <li><a href="/wiki/Geordie_Williamson" title="Geordie Williamson">Geordie Williamson</a></li> <li><a href="/wiki/Daniel_Wise_(mathematician)" title="Daniel Wise (mathematician)">Daniel Wise</a></li> <li><a href="/wiki/Nikolay_Zheludev" title="Nikolay Zheludev">Nikolay Zheludev</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Honorary</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/David_Willetts" title="David Willetts">David Willetts</a> (Baron Willetts of Havant)</li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Foreign</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Carolyn_Bertozzi" title="Carolyn Bertozzi">Carolyn Bertozzi</a></li> <li><a href="/wiki/Martin_Chalfie" title="Martin Chalfie">Martin Chalfie</a></li> <li><a href="/wiki/Sebsebe_Demissew" title="Sebsebe Demissew">Sebsebe Demissew</a></li> <li><a href="/wiki/Jeffrey_M._Friedman" title="Jeffrey M. Friedman">Jeffrey Friedman</a></li> <li><a href="/wiki/Fabiola_Gianotti" title="Fabiola Gianotti">Fabiola Gianotti</a></li> <li><a href="/wiki/Albrecht_Hofmann" title="Albrecht Hofmann">Albrecht Hofmann</a></li> <li><a href="/wiki/Butler_Lampson" title="Butler Lampson">Butler Lampson</a></li> <li><a href="/wiki/Tullio_Pozzan" title="Tullio Pozzan">Tullio Pozzan</a></li> <li><a href="/wiki/Joachim_Sauer" title="Joachim Sauer">Joachim Sauer</a></li> <li><a href="/wiki/Adi_Shamir" title="Adi Shamir">Adi Shamir</a></li></ul> </div></td></tr></tbody></table></div> <div class="navbox-styles"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236075235"></div><div role="navigation" class="navbox authority-control" aria-labelledby="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q7176171#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q7176171#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata" style="font-size:114%;margin:0 4em"><a href="/wiki/Help:Authority_control" title="Help:Authority control">Authority control databases</a> <span class="mw-valign-text-top noprint" typeof="mw:File/Frameless"><a href="https://www.wikidata.org/wiki/Q7176171#identifiers" title="Edit this at Wikidata"><img alt="Edit this at Wikidata" src="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/15px-OOjs_UI_icon_edit-ltr-progressive.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/20px-OOjs_UI_icon_edit-ltr-progressive.svg.png 2x" data-file-width="20" data-file-height="20" /></a></span></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">International</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://isni.org/isni/0000000078469993">ISNI</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/188793539">VIAF</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.oclc.org/worldcat/entity/E39PBJdmfGT7QxMKWYJq79CvpP">WorldCat</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">National</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/17307538X">Germany</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n96097208">United States</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://catalogue.bnf.fr/ark:/12148/cb15040292q">France</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://data.bnf.fr/ark:/12148/cb15040292q">BnF data</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="http://data.bibliotheken.nl/id/thes/p164255524">Netherlands</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Academics</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://orcid.org/0000-0001-8730-5496">ORCID</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=41401">Mathematics Genealogy Project</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://dl.acm.org/profile/81492654729">Association for Computing Machinery</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://scholar.google.com/citations?user=NonivoUAAAAJ">Google Scholar</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://dblp.org/pid/o/PeterWOHearn">DBLP</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://mathscinet.ams.org/mathscinet/MRAuthorID/306258">MathSciNet</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Other</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.idref.fr/13204501X">IdRef</a></span></li></ul></div></td></tr></tbody></table></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Retrieved from "<a dir="ltr" href="https://en.wikipedia.org/w/index.php?title=Peter_O%27Hearn&oldid=1249914941">https://en.wikipedia.org/w/index.php?title=Peter_O%27Hearn&oldid=1249914941</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Help:Category" title="Help:Category">Categories</a>: <ul><li><a href="/wiki/Category:1963_births" title="Category:1963 births">1963 births</a></li><li><a href="/wiki/Category:Living_people" title="Category:Living people">Living people</a></li><li><a href="/wiki/Category:People_from_Halifax,_Nova_Scotia" title="Category:People from Halifax, Nova Scotia">People from Halifax, Nova Scotia</a></li><li><a href="/wiki/Category:Dalhousie_University_alumni" title="Category:Dalhousie University alumni">Dalhousie University alumni</a></li><li><a href="/wiki/Category:Queen%27s_University_at_Kingston_alumni" title="Category:Queen's University at Kingston alumni">Queen's University at Kingston alumni</a></li><li><a href="/wiki/Category:Canadian_emigrants_to_England" title="Category:Canadian emigrants to England">Canadian emigrants to England</a></li><li><a href="/wiki/Category:British_computer_scientists" title="Category:British computer scientists">British computer scientists</a></li><li><a href="/wiki/Category:Canadian_computer_scientists" title="Category:Canadian computer scientists">Canadian computer scientists</a></li><li><a href="/wiki/Category:Formal_methods_people" title="Category:Formal methods people">Formal methods people</a></li><li><a href="/wiki/Category:Canadian_fellows_of_the_Royal_Society" title="Category:Canadian fellows of the Royal Society">Canadian fellows of the Royal Society</a></li><li><a href="/wiki/Category:Fellows_of_the_Royal_Academy_of_Engineering" title="Category:Fellows of the Royal Academy of Engineering">Fellows of the Royal Academy of Engineering</a></li><li><a href="/wiki/Category:Syracuse_University_faculty" title="Category:Syracuse University faculty">Syracuse University faculty</a></li><li><a href="/wiki/Category:Academics_of_Queen_Mary_University_of_London" title="Category:Academics of Queen Mary University of London">Academics of Queen Mary University of London</a></li><li><a href="/wiki/Category:Academics_of_University_College_London" title="Category:Academics of University College London">Academics of University College London</a></li><li><a href="/wiki/Category:Facebook_employees" title="Category:Facebook employees">Facebook employees</a></li><li><a href="/wiki/Category:G%C3%B6del_Prize_laureates" title="Category:Gödel Prize laureates">Gödel Prize laureates</a></li><li><a href="/wiki/Category:Royal_Society_Wolfson_Research_Merit_Award_holders" title="Category:Royal Society Wolfson Research Merit Award holders">Royal Society Wolfson Research Merit Award holders</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Hidden categories: <ul><li><a href="/wiki/Category:CS1_maint:_bot:_original_URL_status_unknown" title="Category:CS1 maint: bot: original URL status unknown">CS1 maint: bot: original URL status unknown</a></li><li><a href="/wiki/Category:All_articles_lacking_reliable_references" title="Category:All articles lacking reliable references">All articles lacking reliable references</a></li><li><a href="/wiki/Category:Articles_lacking_reliable_references_from_November_2022" title="Category:Articles lacking reliable references from November 2022">Articles lacking reliable references from November 2022</a></li><li><a href="/wiki/Category:Webarchive_template_wayback_links" title="Category:Webarchive template wayback links">Webarchive template wayback links</a></li><li><a href="/wiki/Category:Articles_with_short_description" title="Category:Articles with short description">Articles with short description</a></li><li><a href="/wiki/Category:Short_description_is_different_from_Wikidata" title="Category:Short description is different from Wikidata">Short description is different from Wikidata</a></li><li><a href="/wiki/Category:Use_Canadian_English_from_April_2018" title="Category:Use Canadian English from April 2018">Use Canadian English from April 2018</a></li><li><a href="/wiki/Category:All_Wikipedia_articles_written_in_Canadian_English" title="Category:All Wikipedia articles written in Canadian English">All Wikipedia articles written in Canadian English</a></li><li><a href="/wiki/Category:Use_dmy_dates_from_April_2018" title="Category:Use dmy dates from April 2018">Use dmy dates from April 2018</a></li><li><a href="/wiki/Category:Articles_with_hCards" title="Category:Articles with hCards">Articles with hCards</a></li><li><a href="/wiki/Category:Commons_link_is_the_pagename" title="Category:Commons link is the pagename">Commons link is the pagename</a></li><li><a href="/wiki/Category:Articles_with_imported_Creative_Commons_Attribution_4.0_text" title="Category:Articles with imported Creative Commons Attribution 4.0 text">Articles with imported Creative Commons Attribution 4.0 text</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> This page was last edited on 7 October 2024, at 14:09<span class="anonymous-show"> (UTC)</span>.</li> <li id="footer-info-copyright">Text is available under the <a href="/wiki/Wikipedia:Text_of_the_Creative_Commons_Attribution-ShareAlike_4.0_International_License" title="Wikipedia:Text of the Creative Commons Attribution-ShareAlike 4.0 International License">Creative Commons Attribution-ShareAlike 4.0 License</a>; additional terms may apply. By using this site, you agree to the <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use" class="extiw" title="foundation:Special:MyLanguage/Policy:Terms of Use">Terms of Use</a> and <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy" class="extiw" title="foundation:Special:MyLanguage/Policy:Privacy policy">Privacy Policy</a>. Wikipedia® is a registered trademark of the <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, a non-profit organization.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:About">About Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:General_disclaimer">Disclaimers</a></li> <li id="footer-places-contact"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us">Contact Wikipedia</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code of Conduct</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Developers</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/en.wikipedia.org">Statistics</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookie statement</a></li> <li id="footer-places-mobileview"><a href="//en.m.wikipedia.org/w/index.php?title=Peter_O%27Hearn&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile view</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-6b8d669998-7bpx9","wgBackendResponseTime":167,"wgPageParseReport":{"limitreport":{"cputime":"0.572","walltime":"0.844","ppvisitednodes":{"value":4367,"limit":1000000},"postexpandincludesize":{"value":81139,"limit":2097152},"templateargumentsize":{"value":10170,"limit":2097152},"expansiondepth":{"value":14,"limit":100},"expensivefunctioncount":{"value":4,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":98411,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 661.899 1 -total"," 39.28% 259.972 1 Template:Reflist"," 26.81% 177.478 1 Template:Infobox_scientist"," 21.09% 139.572 17 Template:Cite_web"," 11.90% 78.754 1 Template:FRS_2018"," 11.49% 76.026 1 Template:Navbox"," 9.20% 60.921 1 Template:Short_description"," 6.20% 41.049 1 Template:Birth_date_and_age"," 5.25% 34.743 2 Template:Pagetype"," 4.97% 32.906 1 Template:Infobox"]},"scribunto":{"limitreport-timeusage":{"value":"0.353","limit":"10.000"},"limitreport-memusage":{"value":7457749,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-6b7f745dd4-jtzsk","timestamp":"20241125093109","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Peter O'Hearn","url":"https:\/\/en.wikipedia.org\/wiki\/Peter_O%27Hearn","sameAs":"http:\/\/www.wikidata.org\/entity\/Q7176171","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q7176171","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2011-01-17T17:12:24Z","dateModified":"2024-10-07T14:09:53Z","image":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/2\/20\/Peter_O%27Hearn_Royal_Society.jpg","headline":"computer scientist"}</script> </body> </html>