CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-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-sticky-header-enabled vector-toc-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>Edmund M. Clarke - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-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-sticky-header-enabled 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":"b78f28cf-ed56-47ef-8ccb-d4ae8509b423","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Edmund_M._Clarke","wgTitle":"Edmund M. Clarke","wgCurRevisionId":1269872220,"wgRevisionId":1269872220,"wgArticleId":15590926,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Articles with short description","Short description matches Wikidata","Articles lacking in-text citations from February 2013","All articles lacking in-text citations","Articles with hCards","Commons category link from Wikidata","1945 births","2020 deaths","People from Newport News, Virginia","American computer scientists","Carnegie Mellon University faculty","University of Virginia alumni","Duke University alumni","Cornell University alumni","Duke University faculty", "Harvard John A. Paulson School of Engineering and Applied Sciences faculty","1998 fellows of the Association for Computing Machinery","Fellows of the IEEE","Turing Award laureates","Fellows of the American Academy of Arts and Sciences","Members of the United States National Academy of Engineering","Formal methods people","Scientists from Virginia","Deaths from the COVID-19 pandemic in Pennsylvania","The Benjamin Franklin Medal in Computer and Cognitive Science laureates"],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Edmund_M._Clarke","wgRelevantArticleId":15590926,"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":9000,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q92819","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.growthExperiments.SuggestedEditSession"];</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.17"> <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/8/86/Edmund_Clarke_FLoC_2006.jpg"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="1778"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/8/86/Edmund_Clarke_FLoC_2006.jpg"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="1185"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="948"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Edmund M. Clarke - 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/Edmund_M._Clarke"> <link rel="alternate" type="application/x-wiki" title="Edit this page" href="/w/index.php?title=Edmund_M._Clarke&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/Edmund_M._Clarke"> <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-Edmund_M_Clarke rootpage-Edmund_M_Clarke 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" title="Main menu" > <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><li id="n-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages"><span>Special pages</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/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=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=Edmund+M.+Clarke" 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=Edmund+M.+Clarke" 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/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=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=Edmund+M.+Clarke" 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=Edmund+M.+Clarke" 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-Biography" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Biography"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Biography</span> </div> </a> <ul id="toc-Biography-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Work" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Work"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Work</span> </div> </a> <ul id="toc-Work-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Professional_recognition" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Professional_recognition"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Professional recognition</span> </div> </a> <ul id="toc-Professional_recognition-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-See_also" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#See_also"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>See also</span> </div> </a> <ul id="toc-See_also-sublist" class="vector-toc-list"> </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">5</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">6</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" title="Table of Contents" > <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">Edmund M. Clarke</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 23 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-23" 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">23 languages</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%A5%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D9%83%D9%84%D8%A7%D8%B1%D9%83" title="إدموند كلارك – Arabic" lang="ar" hreflang="ar" data-title="إدموند كلارك" data-language-autonym="العربية" data-language-local-name="Arabic" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%8F%E0%A6%A1%E0%A6%AE%E0%A7%81%E0%A6%A8%E0%A7%8D%E0%A6%A1_%E0%A6%8F%E0%A6%AE._%E0%A6%95%E0%A7%8D%E0%A6%B2%E0%A6%BE%E0%A6%B0%E0%A7%8D%E0%A6%95" title="এডমুন্ড এম. ক্লার্ক – Bangla" lang="bn" hreflang="bn" data-title="এডমুন্ড এম. ক্লার্ক" data-language-autonym="বাংলা" data-language-local-name="Bangla" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Edmund_M._Clarke" title="Edmund M. Clarke – Catalan" lang="ca" hreflang="ca" data-title="Edmund M. Clarke" data-language-autonym="Català" data-language-local-name="Catalan" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Edmund_M._Clarke" title="Edmund M. Clarke – German" lang="de" hreflang="de" data-title="Edmund M. Clarke" data-language-autonym="Deutsch" data-language-local-name="German" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Edmund_Clarke" title="Edmund Clarke – Spanish" lang="es" hreflang="es" data-title="Edmund Clarke" data-language-autonym="Español" data-language-local-name="Spanish" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Edmund_Clarke" title="Edmund Clarke – Esperanto" lang="eo" hreflang="eo" data-title="Edmund Clarke" data-language-autonym="Esperanto" data-language-local-name="Esperanto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%A7%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D8%A7%D9%85_%DA%A9%D9%84%D8%A7%D8%B1%DA%A9" 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/Edmund_M._Clarke" title="Edmund M. Clarke – French" lang="fr" hreflang="fr" data-title="Edmund M. Clarke" data-language-autonym="Français" data-language-local-name="French" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EC%97%90%EB%93%9C%EB%A8%BC%EB%93%9C_M._%ED%81%B4%EB%9D%BC%ED%81%AC" title="에드먼드 M. 클라크 – Korean" lang="ko" hreflang="ko" data-title="에드먼드 M. 클라크" data-language-autonym="한국어" data-language-local-name="Korean" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-mg mw-list-item"><a href="https://mg.wikipedia.org/wiki/Edmund_M._Clarke" title="Edmund M. Clarke – Malagasy" lang="mg" hreflang="mg" data-title="Edmund M. Clarke" data-language-autonym="Malagasy" data-language-local-name="Malagasy" class="interlanguage-link-target"><span>Malagasy</span></a></li><li class="interlanguage-link interwiki-arz mw-list-item"><a href="https://arz.wikipedia.org/wiki/%D8%A7%D8%AF%D9%85%D9%88%D9%86%D8%AF_%D9%83%D9%84%D8%A7%D8%B1%D9%83" title="ادموند كلارك – Egyptian Arabic" lang="arz" hreflang="arz" data-title="ادموند كلارك" data-language-autonym="مصرى" data-language-local-name="Egyptian Arabic" class="interlanguage-link-target"><span>مصرى</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Edmund_M._Clarke" title="Edmund M. Clarke – Dutch" lang="nl" hreflang="nl" data-title="Edmund M. Clarke" data-language-autonym="Nederlands" data-language-local-name="Dutch" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%89%E3%83%A0%E3%83%B3%E3%83%89%E3%83%BB%E3%82%AF%E3%83%A9%E3%83%BC%E3%82%AF" title="エドムンド・クラーク – Japanese" lang="ja" hreflang="ja" data-title="エドムンド・クラーク" data-language-autonym="日本語" data-language-local-name="Japanese" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Edmund_M._Clarke" title="Edmund M. Clarke – Norwegian Bokmål" lang="nb" hreflang="nb" data-title="Edmund M. Clarke" data-language-autonym="Norsk bokmål" data-language-local-name="Norwegian Bokmål" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Edmund_Clarke" title="Edmund Clarke – Portuguese" lang="pt" hreflang="pt" data-title="Edmund Clarke" data-language-autonym="Português" data-language-local-name="Portuguese" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Edmund_Clarke" title="Edmund Clarke – Romanian" lang="ro" hreflang="ro" data-title="Edmund Clarke" data-language-autonym="Română" data-language-local-name="Romanian" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9A%D0%BB%D0%B0%D1%80%D0%BA,_%D0%AD%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9C%D0%B5%D0%BB%D1%8C%D1%81%D0%BE%D0%BD" title="Кларк, Эдмунд Мельсон – Russian" lang="ru" hreflang="ru" data-title="Кларк, Эдмунд Мельсон" data-language-autonym="Русский" data-language-local-name="Russian" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Edmund_M._Clarke" title="Edmund M. Clarke – Simple English" lang="en-simple" hreflang="en-simple" data-title="Edmund M. Clarke" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Edmund_Clarke" title="Edmund Clarke – Slovak" lang="sk" hreflang="sk" data-title="Edmund Clarke" data-language-autonym="Slovenčina" data-language-local-name="Slovak" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%95%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9A%D0%BB%D0%B0%D1%80%D0%BA" title="Едмунд Кларк – Serbian" lang="sr" hreflang="sr" data-title="Едмунд Кларк" data-language-autonym="Српски / srpski" data-language-local-name="Serbian" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Edmund_M._Clarke" title="Edmund M. Clarke – Turkish" lang="tr" hreflang="tr" data-title="Edmund M. Clarke" data-language-autonym="Türkçe" data-language-local-name="Turkish" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%95%D0%B4%D0%BC%D1%83%D0%BD%D0%B4_%D0%9A%D0%BB%D0%B0%D1%80%D0%BA" title="Едмунд Кларк – Ukrainian" lang="uk" hreflang="uk" data-title="Едмунд Кларк" data-language-autonym="Українська" data-language-local-name="Ukrainian" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E7%88%B1%E5%BE%B7%E8%92%99%C2%B7%E5%85%8B%E6%8B%89%E5%85%8B" title="爱德蒙·克拉克 – Chinese" lang="zh" hreflang="zh" data-title="爱德蒙·克拉克" data-language-autonym="中文" data-language-local-name="Chinese" class="interlanguage-link-target"><span>中文</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/Q92819#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/Edmund_M._Clarke" 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:Edmund_M._Clarke" 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/Edmund_M._Clarke"><span>Read</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Edmund_M._Clarke&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=Edmund_M._Clarke&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/Edmund_M._Clarke"><span>Read</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Edmund_M._Clarke&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=Edmund_M._Clarke&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/Edmund_M._Clarke" 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/Edmund_M._Clarke" 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="//en.wikipedia.org/wiki/Wikipedia:File_Upload_Wizard" title="Upload files [u]" accesskey="u"><span>Upload file</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Edmund_M._Clarke&oldid=1269872220" 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=Edmund_M._Clarke&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=Edmund_M._Clarke&id=1269872220&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%2FEdmund_M._Clarke"><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%2FEdmund_M._Clarke"><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=Edmund_M._Clarke&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=Edmund_M._Clarke&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 class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Edmund_M._Clarke" hreflang="en"><span>Wikimedia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q92819" 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">American computer scientist (1945–2020)</div> <style data-mw-deduplicate="TemplateStyles:r1251242444">.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}</style><table class="box-More_footnotes_needed plainlinks metadata ambox ambox-style ambox-More_footnotes_needed" role="presentation"><tbody><tr><td class="mbox-image"><div class="mbox-image-div"><span typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Text_document_with_red_question_mark.svg/40px-Text_document_with_red_question_mark.svg.png" decoding="async" width="40" height="40" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Text_document_with_red_question_mark.svg/60px-Text_document_with_red_question_mark.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Text_document_with_red_question_mark.svg/80px-Text_document_with_red_question_mark.svg.png 2x" data-file-width="48" data-file-height="48" /></span></span></div></td><td class="mbox-text"><div class="mbox-text-span">This article includes a list of <a href="/wiki/Wikipedia:Citing_sources#General_references" title="Wikipedia:Citing sources">general references</a>, but <b>it lacks sufficient corresponding <a href="/wiki/Wikipedia:Citing_sources#Inline_citations" title="Wikipedia:Citing sources">inline citations</a></b>.<span class="hide-when-compact"> Please help to <a href="/wiki/Wikipedia:WikiProject_Reliability" title="Wikipedia:WikiProject Reliability">improve</a> this article by <a href="/wiki/Wikipedia:When_to_cite" title="Wikipedia:When to cite">introducing</a> more precise citations.</span> <span class="date-container"><i>(<span class="date">February 2013</span>)</i></span><span class="hide-when-compact"><i> (<small><a href="/wiki/Help:Maintenance_template_removal" title="Help:Maintenance template removal">Learn how and when to remove this message</a></small>)</i></span></div></td></tr></tbody></table> <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">Edmund M. Clarke</div></th></tr><tr><td colspan="2" class="infobox-image"><span class="mw-default-size" typeof="mw:File/Frameless"><a href="/wiki/File:Edmund_Clarke_FLoC_2006.jpg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/8/86/Edmund_Clarke_FLoC_2006.jpg/220px-Edmund_Clarke_FLoC_2006.jpg" decoding="async" width="220" height="326" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/8/86/Edmund_Clarke_FLoC_2006.jpg/330px-Edmund_Clarke_FLoC_2006.jpg 1.5x, //upload.wikimedia.org/wikipedia/commons/8/86/Edmund_Clarke_FLoC_2006.jpg 2x" data-file-width="432" data-file-height="640" /></a></span></td></tr><tr><th scope="row" class="infobox-label">Born</th><td class="infobox-data"><div style="display:inline" class="nickname">Edmund Melson Clarke, Jr.</div><br /><span style="display:none">(<span class="bday">1945-07-27</span>)</span>July 27, 1945<br /><div style="display:inline" class="birthplace"><a href="/wiki/Newport_News,_Virginia" title="Newport News, Virginia">Newport News, Virginia</a>, U.S.</div></td></tr><tr><th scope="row" class="infobox-label">Died</th><td class="infobox-data">December 22, 2020<span style="display:none">(2020-12-22)</span> (aged 75)<br /><div style="display:inline" class="deathplace"><a href="/wiki/Pittsburgh" title="Pittsburgh">Pittsburgh</a>, <a href="/wiki/Pennsylvania" title="Pennsylvania">Pennsylvania</a>, U.S.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup></div></td></tr><tr><th scope="row" class="infobox-label">Alma mater</th><td class="infobox-data"><a href="/wiki/Cornell_University" title="Cornell University">Cornell University</a></td></tr><tr><th scope="row" class="infobox-label">Known for</th><td class="infobox-data"><a href="/wiki/Model_checking" title="Model checking">Model checking</a></td></tr><tr><th scope="row" class="infobox-label">Awards</th><td class="infobox-data"><a href="/wiki/Turing_Award" title="Turing Award">A.M. Turing Award</a></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/Computer_science" title="Computer science">Computer science</a></td></tr><tr><th scope="row" class="infobox-label">Institutions</th><td class="infobox-data"><a href="/wiki/Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon 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> Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems </i> <span style="font-size:97%;">(1976)</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"><a href="/wiki/Robert_Lee_Constable" class="mw-redirect" title="Robert Lee Constable">Robert Lee Constable</a></td></tr><tr><th scope="row" class="infobox-label">Doctoral students</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><a href="/wiki/E._Allen_Emerson" title="E. Allen Emerson">E. Allen Emerson</a></li> <li><a href="/wiki/Bhubaneswar_Mishra" title="Bhubaneswar Mishra">Bhubaneswar Mishra</a></li> <li><a href="/wiki/David_L._Dill" title="David L. Dill">David L. Dill</a></li> <li><a href="/wiki/Kenneth_L._McMillan" title="Kenneth L. McMillan">Kenneth L. McMillan</a></li></ul> </div></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="https://www.cs.cmu.edu/~emc">www<wbr />.cs<wbr />.cmu<wbr />.edu<wbr />/~emc</a></span></td></tr></tbody></table> <p><b>Edmund Melson Clarke, Jr.</b> (July 27, 1945 – December 22, 2020) was an American <a href="/wiki/Computer_scientist" title="Computer scientist">computer scientist</a> and <a href="/wiki/Academic" class="mw-redirect" title="Academic">academic</a> noted for developing <a href="/wiki/Model_checking" title="Model checking">model checking</a>, a method for <a href="/wiki/Formal_verification" title="Formal verification">formally verifying</a> <a href="/wiki/Computer_hardware" title="Computer hardware">hardware</a> and <a href="/wiki/Software" title="Software">software</a> designs. He was the <a href="/wiki/FORE_Systems" title="FORE Systems">FORE Systems</a> Professor of <a href="/wiki/Computer_Science" class="mw-redirect" title="Computer Science">Computer Science</a> at <a href="/wiki/Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon University</a>. Clarke, along with <a href="/wiki/E._Allen_Emerson" title="E. Allen Emerson">E. Allen Emerson</a> and <a href="/wiki/Joseph_Sifakis" title="Joseph Sifakis">Joseph Sifakis</a>, received the 2007 <a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a> <a href="/wiki/Turing_Award" title="Turing Award">Turing Award</a>. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Biography">Biography</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Edmund_M._Clarke&action=edit&section=1" title="Edit section: Biography"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Born in <a href="/wiki/Newport_News,_Virginia" title="Newport News, Virginia">Newport News, Virginia</a>, Clarke received a <a href="/wiki/Bachelor_of_Arts" title="Bachelor of Arts">B.A.</a> degree in <a href="/wiki/Mathematics" title="Mathematics">mathematics</a> from the <a href="/wiki/University_of_Virginia" title="University of Virginia">University of Virginia</a>, <a href="/wiki/Charlottesville,_Virginia" title="Charlottesville, Virginia">Charlottesville</a>, in 1967, an <a href="/wiki/Master_of_Arts" title="Master of Arts">M.A.</a> degree in <a href="/wiki/Mathematics" title="Mathematics">mathematics</a> from <a href="/wiki/Duke_University" title="Duke University">Duke University</a>, <a href="/wiki/Durham,_North_Carolina" title="Durham, North Carolina">Durham NC</a>, in 1968, and a <a href="/wiki/Doctor_of_Philosophy" title="Doctor of Philosophy">Ph.D.</a> degree in <a href="/wiki/Computer_Science" class="mw-redirect" title="Computer Science">Computer Science</a> from <a href="/wiki/Cornell_University" title="Cornell University">Cornell University</a>, <a href="/wiki/Ithaca,_New_York" title="Ithaca, New York">Ithaca NY</a> in 1976. After receiving his Ph.D., he taught in the Department of Computer Science at <a href="/wiki/Duke_University" title="Duke University">Duke University</a>, for two years. In 1978, he moved to <a href="/wiki/Harvard_University" title="Harvard University">Harvard University</a>, <a href="/wiki/Cambridge,_Massachusetts" title="Cambridge, Massachusetts">Cambridge, MA</a> where he was an assistant professor of <a href="/wiki/Computer_Science" class="mw-redirect" title="Computer Science">Computer Science</a> in the <a href="/wiki/Harvard_Division_of_Engineering_and_Applied_Sciences" class="mw-redirect" title="Harvard Division of Engineering and Applied Sciences">Division of Applied Sciences</a>. He left Harvard in 1982 to join the faculty in the Computer Science Department at <a href="/wiki/Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon University</a>, <a href="/wiki/Pittsburgh,_Pennsylvania" class="mw-redirect" title="Pittsburgh, Pennsylvania">Pittsburgh, PA</a>. He was appointed Full Professor in 1989. In 1995, he became the first recipient of the <a href="/wiki/FORE_Systems" title="FORE Systems">FORE Systems</a> Professorship, an endowed chair in the <a href="/wiki/Carnegie_Mellon_School_of_Computer_Science" title="Carnegie Mellon School of Computer Science">Carnegie Mellon School of Computer Science</a>. He became a University Professor in 2008 and became an emeritus professor in 2015.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> </p><p>He died from <a href="/wiki/COVID-19" title="COVID-19">COVID-19</a> in December 2020, at age 75, during the <a href="/wiki/COVID-19_pandemic_in_Pennsylvania" title="COVID-19 pandemic in Pennsylvania">COVID-19 pandemic in Pennsylvania</a>.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Work">Work</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Edmund_M._Clarke&action=edit&section=2" title="Edit section: Work"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Clarke's interests included <a href="/wiki/Software" title="Software">software</a> and <a href="/wiki/Computer_hardware" title="Computer hardware">hardware</a> <a href="/wiki/Verification_and_validation" title="Verification and validation">verification</a> and <a href="/wiki/Automatic_theorem_proving" class="mw-redirect" title="Automatic theorem proving">automatic theorem proving</a>. In his Ph.D. thesis he proved that certain <a href="/wiki/Programming_language" title="Programming language">programming language</a> control structures did not have good <a href="/wiki/Hoare_logic" title="Hoare logic">Hoare-style proof systems</a>. In 1981 he and his Ph.D. student <a href="/wiki/E._Allen_Emerson" title="E. Allen Emerson">E. Allen Emerson</a> first proposed the use of <a href="/wiki/Model_checking" title="Model checking">model checking</a> as a verification technique for <a href="/wiki/Finite-state_machine" title="Finite-state machine">finite-state concurrent systems</a>. His research group pioneered the use of <a href="/wiki/Model_checking" title="Model checking">model checking</a> for <a href="/wiki/Hardware_verification" class="mw-redirect" title="Hardware verification">hardware verification</a>. Symbolic <a href="/wiki/Model_checking" title="Model checking">model checking</a> using <a href="/wiki/Binary_decision_diagrams" class="mw-redirect" title="Binary decision diagrams">binary decision diagrams</a> was also developed by his group. This important technique was the subject of Kenneth McMillan's Ph.D. thesis, which received an <a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a> Doctoral <a href="/wiki/Dissertation" class="mw-redirect" title="Dissertation">Dissertation</a> Award. In addition, his research group developed the first parallel <a href="/wiki/Resolution_(logic)" title="Resolution (logic)">resolution</a> <a href="/wiki/Automated_theorem_prover" class="mw-redirect" title="Automated theorem prover">theorem prover</a> (Parthenon) and a theorem prover based on a symbolic computation system (Analytica).<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> In 2009, he led the creation of the Computational Modeling and Analysis of Complex Systems (CMACS) center, funded by the <a href="/wiki/National_Science_Foundation" title="National Science Foundation">National Science Foundation</a>. This center has a team of researchers, spanning multiple universities, applying <a href="/wiki/Abstract_interpretation" title="Abstract interpretation">abstract interpretation</a> and <a href="/wiki/Model_checking" title="Model checking">model checking</a> to biological and <a href="/wiki/Embedded_system" title="Embedded system">embedded systems</a>. </p> <div class="mw-heading mw-heading2"><h2 id="Professional_recognition">Professional recognition</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Edmund_M._Clarke&action=edit&section=3" title="Edit section: Professional recognition"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Clarke was a <a href="/wiki/Fellow" title="Fellow">fellow</a> of the <a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a> and the <a href="/wiki/Institute_of_Electrical_and_Electronics_Engineers" title="Institute of Electrical and Electronics Engineers">IEEE</a>. He received a Technical Excellence Award from the <a href="/wiki/Semiconductor_Research_Corporation" title="Semiconductor Research Corporation">Semiconductor Research Corporation</a> in 1995 and an <a href="/wiki/Allen_Newell" title="Allen Newell">Allen Newell</a> Award for Excellence in Research from the <a href="/wiki/Carnegie_Mellon" class="mw-redirect" title="Carnegie Mellon">Carnegie Mellon</a> <a href="/wiki/Computer_Science" class="mw-redirect" title="Computer Science">Computer Science</a> Department in 1999. He was a co-winner along with <a href="/wiki/Randal_Bryant" title="Randal Bryant">Randal Bryant</a>, <a href="/wiki/E._Allen_Emerson" title="E. Allen Emerson">E. Allen Emerson</a>, and <a href="/w/index.php?title=Kenneth_McMillan_(computer_scientist)&action=edit&redlink=1" class="new" title="Kenneth McMillan (computer scientist) (page does not exist)">Kenneth McMillan</a> of the <a href="/wiki/Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a> <a href="/wiki/Paris_Kanellakis_Award" title="Paris Kanellakis Award">Paris Kanellakis Award</a> in 1999 for the development of <a href="/wiki/Symbolic_model_checking" class="mw-redirect" title="Symbolic model checking">symbolic model checking</a>. In 2004 he received the <a href="/wiki/IEEE_Computer_Society" title="IEEE Computer Society">IEEE Computer Society</a> <a href="/wiki/Harry_H._Goode" title="Harry H. Goode">Harry H. Goode</a> Memorial Award for significant and pioneering contributions to formal verification of hardware and software systems, and for the profound impact these contributions have had on the electronics industry. He was elected to the <a href="/wiki/National_Academy_of_Engineering" title="National Academy of Engineering">National Academy of Engineering</a> in 2005 for contributions to the formal verification of hardware and software correctness. He was elected to the <a href="/wiki/American_Academy_of_Arts_and_Sciences" title="American Academy of Arts and Sciences">American Academy of Arts and Sciences</a> in 2011. He received the <a href="/wiki/Herbrand_Award" title="Herbrand Award">Herbrand Award</a> in 2008 in "recognition of his role in the invention of model checking and his sustained leadership in the area for more than two decades." In 2012, he <a rel="nofollow" class="external text" href="https://informatics.tuwien.ac.at/news/574">received an honorary doctorate</a> from <a href="/wiki/TU_Wien" title="TU Wien">TU Wien</a> for his outstanding contributions to the field of informatics. He received the 2014 <a href="/wiki/Bower_Award_and_Prize_for_Achievement_in_Science" class="mw-redirect" title="Bower Award and Prize for Achievement in Science">Bower Award and Prize for Achievement in Science</a> from the <a href="/wiki/Franklin_Institute" title="Franklin Institute">Franklin Institute</a> for "his leading role in the conception and development of techniques for automatically verifying the correctness of a broad array of computer systems, including those found in transportation, communications, and medicine." He was a member of <a href="/wiki/Sigma_Xi" title="Sigma Xi">Sigma Xi</a> and <a href="/wiki/Phi_Beta_Kappa" title="Phi Beta Kappa">Phi Beta Kappa</a>. </p> <div class="mw-heading mw-heading2"><h2 id="See_also">See also</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Edmund_M._Clarke&action=edit&section=4" title="Edit section: See also"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/List_of_pioneers_in_computer_science" title="List of pioneers in computer science">List of pioneers in computer science</a></li></ul> <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=Edmund_M._Clarke&action=edit&section=5" 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"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.laughlinfuneralhome.com/lau/obituary/Edmund-ClarkeJr">Edmund Melson Clarke, Jr.</a></span> </li> <li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></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://www.cs.cmu.edu/~emc/bio.html">"Edmund M. Clarke"</a>. <i>Cs.cmu.edu</i><span class="reference-accessdate">. Retrieved <span class="nowrap">24 December</span> 2020</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Cs.cmu.edu&rft.atitle=Edmund+M.+Clarke&rft_id=https%3A%2F%2Fwww.cs.cmu.edu%2F~emc%2Fbio.html&rfr_id=info%3Asid%2Fen.wikipedia.org%3AEdmund+M.+Clarke" class="Z3988"></span></span> </li> <li id="cite_note-3"><span class="mw-cite-backlink"><b><a href="#cite_ref-3">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFJames_S._Clarke2020" class="citation web cs1">James S. Clarke [@Jim_in_Oregon] (22 December 2020). <a rel="nofollow" class="external text" href="https://x.com/Jim_in_Oregon/status/1341546882321944576">"My father, Edmund M Clarke, passed away from Covid today. [...]"</a> (<a href="/wiki/Tweet_(social_media)" title="Tweet (social media)">Tweet</a>) – via <a href="/wiki/Twitter" title="Twitter">Twitter</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=My+father%2C+Edmund+M+Clarke%2C+passed+away+from+Covid+today.+%5B...%5D&rft.date=2020-12-22&rft.au=James+S.+Clarke&rft_id=https%3A%2F%2Fx.com%2FJim_in_Oregon%2Fstatus%2F1341546882321944576&rfr_id=info%3Asid%2Fen.wikipedia.org%3AEdmund+M.+Clarke" class="Z3988"></span></span> </li> <li id="cite_note-4"><span class="mw-cite-backlink"><b><a href="#cite_ref-4">^</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://www.cs.cmu.edu/news/edmund-clarke-pioneered-methods-detecting-software-hardware-errors">"Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science"</a>. <i>Cs.cmu.edu</i><span class="reference-accessdate">. Retrieved <span class="nowrap">24 December</span> 2020</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Cs.cmu.edu&rft.atitle=Edmund+Clarke+Pioneered+Methods+For+Detecting+Software%2C+Hardware+Errors+%26%23124%3B+Carnegie+Mellon+School+of+Computer+Science&rft_id=https%3A%2F%2Fwww.cs.cmu.edu%2Fnews%2Fedmund-clarke-pioneered-methods-detecting-software-hardware-errors&rfr_id=info%3Asid%2Fen.wikipedia.org%3AEdmund+M.+Clarke" class="Z3988"></span></span> </li> <li id="cite_note-5"><span class="mw-cite-backlink"><b><a href="#cite_ref-5">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFBauerClarkeZhao1998" class="citation journal cs1">Bauer, Andrej; Clarke, Edmund; Zhao, Xudong (1998). "Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation". <i>Journal of Automated Reasoning</i>. <b>21</b> (3): <span class="nowrap">295–</span>325. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1023%2FA%3A1006079212546">10.1023/A:1006079212546</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+Automated+Reasoning&rft.atitle=Analytica+%E2%80%93+An+Experiment+in+Combining+Theorem+Proving+and+Symbolic+Computation&rft.volume=21&rft.issue=3&rft.pages=%3Cspan+class%3D%22nowrap%22%3E295-%3C%2Fspan%3E325&rft.date=1998&rft_id=info%3Adoi%2F10.1023%2FA%3A1006079212546&rft.aulast=Bauer&rft.aufirst=Andrej&rft.au=Clarke%2C+Edmund&rft.au=Zhao%2C+Xudong&rfr_id=info%3Asid%2Fen.wikipedia.org%3AEdmund+M.+Clarke" 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=Edmund_M._Clarke&action=edit&section=6" title="Edit section: External links"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1235681985">.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;line-height:1.25em;background-color:var(--background-color-interactive-subtle,#f8f9fa);display:flow-root}.mw-parser-output .side-box-abovebelow,.mw-parser-output .side-box-text{padding:0.25em 0.9em}.mw-parser-output .side-box-image{padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .side-box-imageright{padding:2px 0.9em 2px 0;text-align:center}@media(min-width:500px){.mw-parser-output .side-box-flex{display:flex;align-items:center}.mw-parser-output .side-box-text{flex:1;min-width:0}}@media(min-width:720px){.mw-parser-output .side-box{width:238px}.mw-parser-output .side-box-right{clear:right;float:right;margin-left:1em}.mw-parser-output .side-box-left{margin-right:1em}}</style><style data-mw-deduplicate="TemplateStyles:r1237033735">@media print{body.ns-0 .mw-parser-output .sistersitebox{display:none!important}}@media screen{html.skin-theme-clientpref-night .mw-parser-output .sistersitebox img[src*="Wiktionary-logo-en-v2.svg"]{background-color:white}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .sistersitebox img[src*="Wiktionary-logo-en-v2.svg"]{background-color:white}}</style><div class="side-box side-box-right plainlinks sistersitebox"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1126788409"> <div class="side-box-flex"> <div class="side-box-image"><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/30px-Commons-logo.svg.png" decoding="async" width="30" height="40" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/45px-Commons-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/59px-Commons-logo.svg.png 2x" data-file-width="1024" data-file-height="1376" /></a></span></div> <div class="side-box-text plainlist">Wikimedia Commons has media related to <span style="font-weight: bold; font-style: italic;"><a href="https://commons.wikimedia.org/wiki/Category:Edmund_M._Clarke" class="extiw" title="commons:Category:Edmund M. Clarke">Edmund M. Clarke</a></span>.</div></div> </div> <ul><li><a rel="nofollow" class="external text" href="https://mathgenealogy.org/id.php?id=50063">Edmund M. Clarke</a> at the <a href="/wiki/Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a></li> <li><a rel="nofollow" class="external text" href="https://www.cs.cmu.edu/~emc">Home page at Carnegie Mellon University</a></li> <li><a rel="nofollow" class="external text" href="https://www.cs.cmu.edu/~emc/bio.html">Online biography from home page</a></li> <li><a rel="nofollow" class="external text" href="https://web.archive.org/web/20090417205051/http://usacm.acm.org/usacm/weblog/index.php?p=572">Turing Award announcement</a></li> <li><a rel="nofollow" class="external text" href="https://mitpress.mit.edu/books/model-checking">Model Checking book</a></li> <li><a rel="nofollow" class="external text" href="http://cmacs.cs.cmu.edu/">CMACS home page</a></li> <li><a rel="nofollow" class="external text" href="https://academic.microsoft.com/v2/detail/667542">Edmund M. Clarke</a> publications indexed by <a href="/wiki/MA_(identifier)" class="mw-redirect" title="MA (identifier)">Microsoft Academic</a></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFGarfinkelSpafford2021" class="citation journal cs1">Garfinkel, Simson; Spafford, Eugene H. (March 2021). "In Memoriam: Edmund M. Clarke (1945–2020)". <i>Communications of the ACM</i>. <b>64</b> (3): <span class="nowrap">23–</span>24. <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%2F3447810">10.1145/3447810</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Communications+of+the+ACM&rft.atitle=In+Memoriam%3A+Edmund+M.+Clarke+%281945%E2%80%932020%29&rft.volume=64&rft.issue=3&rft.pages=%3Cspan+class%3D%22nowrap%22%3E23-%3C%2Fspan%3E24&rft.date=2021-03&rft_id=info%3Adoi%2F10.1145%2F3447810&rft.aulast=Garfinkel&rft.aufirst=Simson&rft.au=Spafford%2C+Eugene+H.&rfr_id=info%3Asid%2Fen.wikipedia.org%3AEdmund+M.+Clarke" class="Z3988"></span></li></ul> <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="Winners_of_the_Paris_Kanellakis_Theory_and_Practice_Award84" 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:Kanellakis_Award_laureates" title="Template:Kanellakis Award laureates"><abbr title="View this template">v</abbr></a></li><li class="nv-talk"><a href="/wiki/Template_talk:Kanellakis_Award_laureates" title="Template talk:Kanellakis Award laureates"><abbr title="Discuss this template">t</abbr></a></li><li class="nv-edit"><a href="/wiki/Special:EditPage/Template:Kanellakis_Award_laureates" title="Special:EditPage/Template:Kanellakis Award laureates"><abbr title="Edit this template">e</abbr></a></li></ul></div><div id="Winners_of_the_Paris_Kanellakis_Theory_and_Practice_Award84" style="font-size:114%;margin:0 4em">Winners of the <a href="/wiki/Paris_Kanellakis_Award" title="Paris Kanellakis Award">Paris Kanellakis Theory and Practice Award</a></div></th></tr><tr><td colspan="2" class="navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Leonard_Adleman" title="Leonard Adleman">Adleman</a>, <a href="/wiki/Whitfield_Diffie" title="Whitfield Diffie">Diffie</a>, <a href="/wiki/Martin_Hellman" title="Martin Hellman">Hellman</a>, <a href="/wiki/Ralph_Merkle" title="Ralph Merkle">Merkle</a>, <a href="/wiki/Ron_Rivest" title="Ron Rivest">Rivest</a>, <a href="/wiki/Adi_Shamir" title="Adi Shamir">Shamir</a> (1996)</li> <li><a href="/wiki/Abraham_Lempel" title="Abraham Lempel">Lempel</a>, <a href="/wiki/Yaakov_Ziv" class="mw-redirect" title="Yaakov Ziv">Ziv</a> (1997)</li> <li><a href="/wiki/Randal_Bryant" title="Randal Bryant">Bryant</a>, <a class="mw-selflink selflink">Clarke</a>, <a href="/wiki/E._Allen_Emerson" title="E. Allen Emerson">Emerson</a>, <a href="/wiki/Kenneth_L._McMillan" title="Kenneth L. McMillan">McMillan</a> (1998)</li> <li><a href="/wiki/Daniel_Sleator" title="Daniel Sleator">Sleator</a>, <a href="/wiki/Robert_Tarjan" title="Robert Tarjan">Tarjan</a> (1999)</li> <li><a href="/wiki/Narendra_Karmarkar" title="Narendra Karmarkar">Karmarkar</a> (2000)</li> <li><a href="/wiki/Eugene_Myers" title="Eugene Myers">Myers</a> (2001)</li> <li><a href="/wiki/Peter_Franaszek" title="Peter Franaszek">Franaszek</a> (2002)</li> <li><a href="/wiki/Gary_Miller_(computer_scientist)" title="Gary Miller (computer scientist)">Miller</a>, <a href="/wiki/Michael_O._Rabin" title="Michael O. Rabin">Rabin</a>, <a href="/wiki/Robert_M._Solovay" title="Robert M. Solovay">Solovay</a>, <a href="/wiki/Volker_Strassen" title="Volker Strassen">Strassen</a> (2003)</li> <li><a href="/wiki/Yoav_Freund" title="Yoav Freund">Freund</a>, <a href="/wiki/Robert_Schapire" title="Robert Schapire">Schapire</a> (2004)</li> <li><a href="/wiki/Gerard_J._Holzmann" title="Gerard J. Holzmann">Holzmann</a>, <a href="/w/index.php?title=Robert_Kurshan&action=edit&redlink=1" class="new" title="Robert Kurshan (page does not exist)">Kurshan</a>, <a href="/wiki/Moshe_Vardi" title="Moshe Vardi">Vardi</a>, <a href="/wiki/Pierre_Wolper" title="Pierre Wolper">Wolper</a> (2005)</li> <li><a href="/wiki/Robert_Brayton" class="mw-redirect" title="Robert Brayton">Brayton</a> (2006)</li> <li><a href="/wiki/Bruno_Buchberger" title="Bruno Buchberger">Buchberger</a> (2007)</li> <li><a href="/wiki/Corinna_Cortes" title="Corinna Cortes">Cortes</a>, <a href="/wiki/Vladimir_Vapnik" title="Vladimir Vapnik">Vapnik</a> (2008)</li> <li><a href="/wiki/Mihir_Bellare" title="Mihir Bellare">Bellare</a>, <a href="/wiki/Phillip_Rogaway" title="Phillip Rogaway">Rogaway</a> (2009)</li> <li><a href="/wiki/Kurt_Mehlhorn" title="Kurt Mehlhorn">Mehlhorn</a> (2010)</li> <li><a href="/wiki/Hanan_Samet" title="Hanan Samet">Samet</a> (2011)</li> <li><a href="/wiki/Andrei_Broder" title="Andrei Broder">Broder</a>, <a href="/wiki/Moses_Charikar" title="Moses Charikar">Charikar</a>, <a href="/wiki/Piotr_Indyk" title="Piotr Indyk">Indyk</a> (2012)</li> <li><a href="/w/index.php?title=Robert_D._Blumofe&action=edit&redlink=1" class="new" title="Robert D. Blumofe (page does not exist)">Blumofe</a>, <a href="/wiki/Charles_E._Leiserson" title="Charles E. Leiserson">Leiserson</a> (2013)</li> <li><a href="/wiki/James_Demmel" title="James Demmel">Demmel</a> (2014)</li> <li><a href="/wiki/Michael_Luby" title="Michael Luby">Luby</a> (2015)</li> <li><a href="/wiki/Amos_Fiat" title="Amos Fiat">Fiat</a>, <a href="/wiki/Moni_Naor" title="Moni Naor">Naor</a> (2016)</li> <li><a href="/wiki/Scott_Shenker" title="Scott Shenker">Shenker</a> (2017)</li> <li><a href="/wiki/Pavel_A._Pevzner" title="Pavel A. Pevzner">Pevzner</a> (2018)</li> <li><a href="/wiki/Noga_Alon" title="Noga Alon">Alon</a>, <a href="/wiki/Phillip_Gibbons" title="Phillip Gibbons">Gibbons</a>, <a href="/wiki/Yossi_Matias" title="Yossi Matias">Matias</a>, <a href="/wiki/Mario_Szegedy" title="Mario Szegedy">Szegedy</a> (2019)</li> <li><a href="/w/index.php?title=Yossi_Azar&action=edit&redlink=1" class="new" title="Yossi Azar (page does not exist)">Azar</a>, <a href="/wiki/Andrei_Broder" title="Andrei Broder">Broder</a>, <a href="/wiki/Anna_Karlin" title="Anna Karlin">Karlin</a>, <a href="/wiki/Michael_Mitzenmacher" title="Michael Mitzenmacher">Mitzenmacher</a>, <a href="/wiki/Eli_Upfal" title="Eli Upfal">Upfal</a> (2020)</li> <li><a href="/wiki/Avrim_Blum" title="Avrim Blum">Blum</a>, <a href="/wiki/Irit_Dinur" title="Irit Dinur">Dinur</a>, <a href="/wiki/Cynthia_Dwork" title="Cynthia Dwork">Dwork</a>, <a href="/wiki/Frank_McSherry" title="Frank McSherry">McSherry</a>, <a href="/wiki/Kobbi_Nissim" title="Kobbi Nissim">Nissim</a>, <a href="/wiki/Adam_D._Smith" title="Adam D. Smith">Smith</a> (2021)</li> <li><a href="/wiki/Michael_Burrows" title="Michael Burrows">Burrows</a>, <a href="/w/index.php?title=Paolo_Ferragina&action=edit&redlink=1" class="new" title="Paolo Ferragina (page does not exist)">Ferragina</a>, <a href="/w/index.php?title=Giovanni_Manzini&action=edit&redlink=1" class="new" title="Giovanni Manzini (page does not exist)">Manzini</a> (2022)</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" aria-labelledby="A._M._Turing_Award_laureates58" 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"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1239400231"><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-view"><a href="/wiki/Template:Turing_Award_laureates" title="Template:Turing Award laureates"><abbr title="View this template">v</abbr></a></li><li class="nv-talk"><a href="/wiki/Template_talk:Turing_Award_laureates" title="Template talk:Turing Award laureates"><abbr title="Discuss this template">t</abbr></a></li><li class="nv-edit"><a href="/wiki/Special:EditPage/Template:Turing_Award_laureates" title="Special:EditPage/Template:Turing Award laureates"><abbr title="Edit this template">e</abbr></a></li></ul></div><div id="A._M._Turing_Award_laureates58" style="font-size:114%;margin:0 4em"><a href="/wiki/Turing_Award" title="Turing Award">A. M. Turing Award</a> <a href="/wiki/Laureate" title="Laureate">laureates</a></div></th></tr><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><span class="nowrap"><a href="/wiki/Alan_Perlis" title="Alan Perlis">Alan Perlis</a> (1966)</span></li> <li><span class="nowrap"><a href="/wiki/Maurice_Wilkes" title="Maurice Wilkes">Maurice Vincent Wilkes</a> (1967)</span></li> <li><span class="nowrap"><a href="/wiki/Richard_Hamming" title="Richard Hamming">Richard Hamming</a> (1968)</span></li> <li><span class="nowrap"><a href="/wiki/Marvin_Minsky" title="Marvin Minsky">Marvin Minsky</a> (1969)</span></li> <li><span class="nowrap"><a href="/wiki/James_H._Wilkinson" title="James H. Wilkinson">James H. Wilkinson</a> (1970)</span></li> <li><span class="nowrap"><a href="/wiki/John_McCarthy_(computer_scientist)" title="John McCarthy (computer scientist)">John McCarthy</a> (1971)</span></li> <li><span class="nowrap"><a href="/wiki/Edsger_W._Dijkstra" title="Edsger W. Dijkstra">Edsger W. Dijkstra</a> (1972)</span></li> <li><span class="nowrap"><a href="/wiki/Charles_Bachman" title="Charles Bachman">Charles Bachman</a> (1973)</span></li> <li><span class="nowrap"><a href="/wiki/Donald_Knuth" title="Donald Knuth">Donald Knuth</a> (1974)</span></li> <li><span class="nowrap"><a href="/wiki/Allen_Newell" title="Allen Newell">Allen Newell</a>; <a href="/wiki/Herbert_A._Simon" title="Herbert A. Simon">Herbert A. Simon</a> (1975)</span></li> <li><span class="nowrap"><a href="/wiki/Michael_O._Rabin" title="Michael O. Rabin">Michael O. Rabin</a>; <a href="/wiki/Dana_Scott" title="Dana Scott">Dana Scott</a> (1976)</span></li> <li><span class="nowrap"><a href="/wiki/John_Backus" title="John Backus">John Backus</a> (1977)</span></li> <li><span class="nowrap"><a href="/wiki/Robert_W._Floyd" title="Robert W. Floyd">Robert W. Floyd</a> (1978)</span></li> <li><span class="nowrap"><a href="/wiki/Kenneth_E._Iverson" title="Kenneth E. Iverson">Kenneth E. Iverson</a> (1979)</span></li> <li><span class="nowrap"><a href="/wiki/Tony_Hoare" title="Tony Hoare">Tony Hoare</a> (1980)</span></li> <li><span class="nowrap"><a href="/wiki/Edgar_F._Codd" title="Edgar F. Codd">Edgar F. Codd</a> (1981)</span></li> <li><span class="nowrap"><a href="/wiki/Stephen_Cook" title="Stephen Cook">Stephen Cook</a> (1982)</span></li> <li><span class="nowrap"><a href="/wiki/Ken_Thompson" title="Ken Thompson">Ken Thompson</a>; <a href="/wiki/Dennis_Ritchie" title="Dennis Ritchie">Dennis Ritchie</a> (1983)</span></li> <li><span class="nowrap"><a href="/wiki/Niklaus_Wirth" title="Niklaus Wirth">Niklaus Wirth</a> (1984)</span></li> <li><span class="nowrap"><a href="/wiki/Richard_M._Karp" title="Richard M. Karp">Richard Karp</a> (1985)</span></li> <li><span class="nowrap"><a href="/wiki/John_Hopcroft" title="John Hopcroft">John Hopcroft</a>; <a href="/wiki/Robert_Tarjan" title="Robert Tarjan">Robert Tarjan</a> (1986)</span></li> <li><span class="nowrap"><a href="/wiki/John_Cocke_(computer_scientist)" title="John Cocke (computer scientist)">John Cocke</a> (1987)</span></li> <li><span class="nowrap"><a href="/wiki/Ivan_Sutherland" title="Ivan Sutherland">Ivan Sutherland</a> (1988)</span></li> <li><span class="nowrap"><a href="/wiki/William_Kahan" title="William Kahan">William Kahan</a> (1989)</span></li> <li><span class="nowrap"><a href="/wiki/Fernando_J._Corbat%C3%B3" title="Fernando J. Corbató">Fernando J. Corbató</a> (1990)</span></li> <li><span class="nowrap"><a href="/wiki/Robin_Milner" title="Robin Milner">Robin Milner</a> (1991)</span></li> <li><span class="nowrap"><a href="/wiki/Butler_Lampson" title="Butler Lampson">Butler Lampson</a> (1992)</span></li> <li><span class="nowrap"><a href="/wiki/Juris_Hartmanis" title="Juris Hartmanis">Juris Hartmanis</a>; <a href="/wiki/Richard_E._Stearns" title="Richard E. Stearns">Richard E. Stearns</a> (1993)</span></li> <li><span class="nowrap"><a href="/wiki/Edward_Feigenbaum" title="Edward Feigenbaum">Edward Feigenbaum</a>; <a href="/wiki/Raj_Reddy" title="Raj Reddy">Raj Reddy</a> (1994)</span></li> <li><span class="nowrap"><a href="/wiki/Manuel_Blum" title="Manuel Blum">Manuel Blum</a> (1995)</span></li> <li><span class="nowrap"><a href="/wiki/Amir_Pnueli" title="Amir Pnueli">Amir Pnueli</a> (1996)</span></li> <li><span class="nowrap"><a href="/wiki/Douglas_Engelbart" title="Douglas Engelbart">Douglas Engelbart</a> (1997)</span></li> <li><span class="nowrap"><a href="/wiki/Jim_Gray_(computer_scientist)" title="Jim Gray (computer scientist)">Jim Gray</a> (1998)</span></li> <li><span class="nowrap"><a href="/wiki/Fred_Brooks" title="Fred Brooks">Fred Brooks</a> (1999)</span></li> <li><span class="nowrap"><a href="/wiki/Andrew_Yao" title="Andrew Yao">Andrew Yao</a> (2000)</span></li> <li><span class="nowrap"><a href="/wiki/Ole-Johan_Dahl" title="Ole-Johan Dahl">Ole-Johan Dahl</a>; <a href="/wiki/Kristen_Nygaard" title="Kristen Nygaard">Kristen Nygaard</a> (2001)</span></li> <li><span class="nowrap"><a href="/wiki/Ron_Rivest" title="Ron Rivest">Ron Rivest</a>; <a href="/wiki/Adi_Shamir" title="Adi Shamir">Adi Shamir</a>; <a href="/wiki/Leonard_Adleman" title="Leonard Adleman">Leonard Adleman</a> (2002)</span></li> <li><span class="nowrap"><a href="/wiki/Alan_Kay" title="Alan Kay">Alan Kay</a> (2003)</span></li> <li><span class="nowrap"><a href="/wiki/Vint_Cerf" title="Vint Cerf">Vint Cerf</a>; <a href="/wiki/Robert_Kahn_(computer_scientist)" title="Robert Kahn (computer scientist)">Bob Kahn</a> (2004)</span></li> <li><span class="nowrap"><a href="/wiki/Peter_Naur" title="Peter Naur">Peter Naur</a> (2005)</span></li> <li><span class="nowrap"><a href="/wiki/Frances_Allen" title="Frances Allen">Frances Allen</a> (2006)</span></li> <li><span class="nowrap"><a class="mw-selflink selflink">Edmund M. Clarke</a>; <a href="/wiki/E._Allen_Emerson" title="E. Allen Emerson">E. Allen Emerson</a>; <a href="/wiki/Joseph_Sifakis" title="Joseph Sifakis">Joseph Sifakis</a> (2007)</span></li> <li><span class="nowrap"><a href="/wiki/Barbara_Liskov" title="Barbara Liskov">Barbara Liskov</a> (2008)</span></li> <li><span class="nowrap"><a href="/wiki/Charles_P._Thacker" title="Charles P. Thacker">Charles P. Thacker</a> (2009)</span></li> <li><span class="nowrap"><a href="/wiki/Leslie_Valiant" title="Leslie Valiant">Leslie G. Valiant</a> (2010)</span></li> <li><span class="nowrap"><a href="/wiki/Judea_Pearl" title="Judea Pearl">Judea Pearl</a> (2011)</span></li> <li><span class="nowrap"><a href="/wiki/Shafi_Goldwasser" title="Shafi Goldwasser">Shafi Goldwasser</a>; <a href="/wiki/Silvio_Micali" title="Silvio Micali">Silvio Micali</a> (2012)</span></li> <li><span class="nowrap"><a href="/wiki/Leslie_Lamport" title="Leslie Lamport">Leslie Lamport</a> (2013)</span></li> <li><span class="nowrap"><a href="/wiki/Michael_Stonebraker" title="Michael Stonebraker">Michael Stonebraker</a> (2014)</span></li> <li><span class="nowrap"><a href="/wiki/Martin_Hellman" title="Martin Hellman">Martin Hellman</a>; <a href="/wiki/Whitfield_Diffie" title="Whitfield Diffie">Whitfield Diffie</a> (2015)</span></li> <li><span class="nowrap"><a href="/wiki/Tim_Berners-Lee" title="Tim Berners-Lee">Tim Berners-Lee</a> (2016)</span></li> <li><span class="nowrap"><a href="/wiki/John_L._Hennessy" title="John L. Hennessy">John L. Hennessy</a>; <a href="/wiki/David_Patterson_(computer_scientist)" title="David Patterson (computer scientist)">David Patterson</a> (2017)</span></li> <li><span class="nowrap"><a href="/wiki/Yoshua_Bengio" title="Yoshua Bengio">Yoshua Bengio</a>; <a href="/wiki/Geoffrey_Hinton" title="Geoffrey Hinton">Geoffrey Hinton</a>; <a href="/wiki/Yann_LeCun" title="Yann LeCun">Yann LeCun</a> (2018)</span></li> <li><span class="nowrap"><a href="/wiki/Edwin_Catmull" title="Edwin Catmull">Ed Catmull</a>; <a href="/wiki/Pat_Hanrahan" title="Pat Hanrahan">Pat Hanrahan</a> (2019)</span></li> <li><span class="nowrap"><a href="/wiki/Alfred_Aho" title="Alfred Aho">Alfred Aho</a>; <a href="/wiki/Jeffrey_Ullman" title="Jeffrey Ullman">Jeffrey Ullman</a> (2020) </span></li> <li><span class="nowrap"><a href="/wiki/Jack_Dongarra" title="Jack Dongarra">Jack Dongarra</a> (2021)</span></li> <li><span class="nowrap"><a href="/wiki/Robert_Metcalfe" title="Robert Metcalfe">Robert Metcalfe</a> (2022)</span></li> <li><span class="nowrap"><a href="/wiki/Avi_Wigderson" title="Avi Wigderson">Avi Wigderson</a> (2023)</span></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"><style data-mw-deduplicate="TemplateStyles:r1038841319">.mw-parser-output .tooltip-dotted{border-bottom:1px dotted;cursor:help}</style></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/Q92819#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata2766" 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/Q92819#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata2766" 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/Q92819#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/0000000121197648">ISNI</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/8050749">VIAF</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.oclc.org/worldcat/entity/E39PBJxxh8wG8XjkGM3R3CDQbd">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/142488941">Germany</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n91023249">United States</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://catalogue.bnf.fr/ark:/12148/cb16505624q">France</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://data.bnf.fr/ark:/12148/cb16505624q">BnF data</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://nla.gov.au/anbd.aut-an35124242">Australia</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=stk2007415785&CON_LNG=ENG">Czech Republic</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="http://data.bibliotheken.nl/id/thes/p069871493">Netherlands</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://lod.nl.go.kr/resource/KAC2022A1841">Korea</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.nli.org.il/en/authorities/987007457810605171">Israel</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"><span class="rt-commentedText tooltip tooltip-dotted" title="Clarke, Edmund"><a rel="nofollow" class="external text" href="https://ci.nii.ac.jp/author/DA02230941?l=en">CiNii</a></span></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=50063">Mathematics Genealogy Project</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://dl.acm.org/profile/81100393517">Association for Computing Machinery</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.scopus.com/authid/detail.uri?authorId=56962714000">Scopus</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://zbmath.org/authors/?q=ai:clarke.edmund-melson-jun">zbMATH</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://scholar.google.com/citations?user=_adL2C8AAAAJ">Google Scholar</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://dblp.org/pid/c/EdmundMClarke">DBLP</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://mathscinet.ams.org/mathscinet/MRAuthorID/49760">MathSciNet</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">People</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://trove.nla.gov.au/people/833530">Trove</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.deutsche-digitale-bibliothek.de/person/gnd/142488941">DDB</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-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://www.idref.fr/060781750">IdRef</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://snaccooperative.org/ark:/99166/w64n9jck">SNAC</a></span></li></ul></div></td></tr></tbody></table></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?useformat=desktop&type=1x1&usesul3=0" 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=Edmund_M._Clarke&oldid=1269872220">https://en.wikipedia.org/w/index.php?title=Edmund_M._Clarke&oldid=1269872220</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:1945_births" title="Category:1945 births">1945 births</a></li><li><a href="/wiki/Category:2020_deaths" title="Category:2020 deaths">2020 deaths</a></li><li><a href="/wiki/Category:People_from_Newport_News,_Virginia" title="Category:People from Newport News, Virginia">People from Newport News, Virginia</a></li><li><a href="/wiki/Category:American_computer_scientists" title="Category:American computer scientists">American computer scientists</a></li><li><a href="/wiki/Category:Carnegie_Mellon_University_faculty" title="Category:Carnegie Mellon University faculty">Carnegie Mellon University faculty</a></li><li><a href="/wiki/Category:University_of_Virginia_alumni" title="Category:University of Virginia alumni">University of Virginia alumni</a></li><li><a href="/wiki/Category:Duke_University_alumni" title="Category:Duke University alumni">Duke University alumni</a></li><li><a href="/wiki/Category:Cornell_University_alumni" title="Category:Cornell University alumni">Cornell University alumni</a></li><li><a href="/wiki/Category:Duke_University_faculty" title="Category:Duke University faculty">Duke University faculty</a></li><li><a href="/wiki/Category:Harvard_John_A._Paulson_School_of_Engineering_and_Applied_Sciences_faculty" title="Category:Harvard John A. Paulson School of Engineering and Applied Sciences faculty">Harvard John A. Paulson School of Engineering and Applied Sciences faculty</a></li><li><a href="/wiki/Category:1998_fellows_of_the_Association_for_Computing_Machinery" title="Category:1998 fellows of the Association for Computing Machinery">1998 fellows of the Association for Computing Machinery</a></li><li><a href="/wiki/Category:Fellows_of_the_IEEE" title="Category:Fellows of the IEEE">Fellows of the IEEE</a></li><li><a href="/wiki/Category:Turing_Award_laureates" title="Category:Turing Award laureates">Turing Award laureates</a></li><li><a href="/wiki/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences" title="Category:Fellows of the American Academy of Arts and Sciences">Fellows of the American Academy of Arts and Sciences</a></li><li><a href="/wiki/Category:Members_of_the_United_States_National_Academy_of_Engineering" title="Category:Members of the United States National Academy of Engineering">Members of the United States National Academy of Engineering</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:Scientists_from_Virginia" title="Category:Scientists from Virginia">Scientists from Virginia</a></li><li><a href="/wiki/Category:Deaths_from_the_COVID-19_pandemic_in_Pennsylvania" title="Category:Deaths from the COVID-19 pandemic in Pennsylvania">Deaths from the COVID-19 pandemic in Pennsylvania</a></li><li><a href="/wiki/Category:The_Benjamin_Franklin_Medal_in_Computer_and_Cognitive_Science_laureates" title="Category:The Benjamin Franklin Medal in Computer and Cognitive Science laureates">The Benjamin Franklin Medal in Computer and Cognitive Science laureates</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:Articles_with_short_description" title="Category:Articles with short description">Articles with short description</a></li><li><a href="/wiki/Category:Short_description_matches_Wikidata" title="Category:Short description matches Wikidata">Short description matches Wikidata</a></li><li><a href="/wiki/Category:Articles_lacking_in-text_citations_from_February_2013" title="Category:Articles lacking in-text citations from February 2013">Articles lacking in-text citations from February 2013</a></li><li><a href="/wiki/Category:All_articles_lacking_in-text_citations" title="Category:All articles lacking in-text citations">All articles lacking in-text citations</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_category_link_from_Wikidata" title="Category:Commons category link from Wikidata">Commons category link from Wikidata</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 16 January 2025, at 20:39<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=Edmund_M._Clarke&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"><picture><source media="(min-width: 500px)" srcset="/static/images/footer/wikimedia-button.svg" width="84" height="29"><img src="/static/images/footer/wikimedia.svg" width="25" height="25" alt="Wikimedia Foundation" lang="en" loading="lazy"></picture></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"><picture><source media="(min-width: 500px)" srcset="/w/resources/assets/poweredby_mediawiki.svg" width="88" height="31"><img src="/w/resources/assets/mediawiki_compact.svg" alt="Powered by MediaWiki" width="25" height="25" loading="lazy"></picture></a></li> </ul> </footer> </div> </div> </div> <div class="vector-header-container vector-sticky-header-container"> <div id="vector-sticky-header" class="vector-sticky-header"> <div class="vector-sticky-header-start"> <div class="vector-sticky-header-icon-start vector-button-flush-left vector-button-flush-right" aria-hidden="true"> <button class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-sticky-header-search-toggle" tabindex="-1" data-event-name="ui.vector-sticky-search-form.icon"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Search</span> </button> </div> <div role="search" class="vector-search-box-vue vector-search-box-show-thumbnail vector-search-box"> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail"> <form action="/w/index.php" id="vector-sticky-search-form" class="cdx-search-input cdx-search-input--has-end-button"> <div 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"> <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> <div class="vector-sticky-header-context-bar"> <nav aria-label="Contents" class="vector-toc-landmark"> <div id="vector-sticky-header-toc" class="vector-dropdown mw-portlet mw-portlet-sticky-header-toc vector-sticky-header-toc vector-button-flush-left" > <input type="checkbox" id="vector-sticky-header-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-sticky-header-toc" class="vector-dropdown-checkbox " aria-label="Toggle the table of contents" > <label id="vector-sticky-header-toc-label" for="vector-sticky-header-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-sticky-header-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div class="vector-sticky-header-context-bar-primary" aria-hidden="true" ><span class="mw-page-title-main">Edmund M. Clarke</span></div> </div> </div> <div class="vector-sticky-header-end" aria-hidden="true"> <div class="vector-sticky-header-icons"> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-talk-sticky-header" tabindex="-1" data-event-name="talk-sticky-header"><span class="vector-icon mw-ui-icon-speechBubbles mw-ui-icon-wikimedia-speechBubbles"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-subject-sticky-header" tabindex="-1" data-event-name="subject-sticky-header"><span class="vector-icon mw-ui-icon-article mw-ui-icon-wikimedia-article"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-history-sticky-header" tabindex="-1" data-event-name="history-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-history mw-ui-icon-wikimedia-wikimedia-history"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only mw-watchlink" id="ca-watchstar-sticky-header" tabindex="-1" data-event-name="watch-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-star mw-ui-icon-wikimedia-wikimedia-star"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-edit-sticky-header" tabindex="-1" data-event-name="wikitext-edit-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-wikiText mw-ui-icon-wikimedia-wikimedia-wikiText"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-ve-edit-sticky-header" tabindex="-1" data-event-name="ve-edit-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-edit mw-ui-icon-wikimedia-wikimedia-edit"></span> <span></span> </a> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only" id="ca-viewsource-sticky-header" tabindex="-1" data-event-name="ve-edit-protected-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-editLock mw-ui-icon-wikimedia-wikimedia-editLock"></span> <span></span> </a> </div> <div class="vector-sticky-header-buttons"> <button class="cdx-button cdx-button--weight-quiet mw-interlanguage-selector" id="p-lang-btn-sticky-header" tabindex="-1" data-event-name="ui.dropdown-p-lang-btn-sticky-header"><span class="vector-icon mw-ui-icon-wikimedia-language mw-ui-icon-wikimedia-wikimedia-language"></span> <span>23 languages</span> </button> <a href="#" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive" id="ca-addsection-sticky-header" tabindex="-1" data-event-name="addsection-sticky-header"><span class="vector-icon mw-ui-icon-speechBubbleAdd-progressive mw-ui-icon-wikimedia-speechBubbleAdd-progressive"></span> <span>Add topic</span> </a> </div> <div class="vector-sticky-header-icon-end"> <div class="vector-user-links"> </div> </div> </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-d8647bfd6-tk82p","wgBackendResponseTime":131,"wgPageParseReport":{"limitreport":{"cputime":"0.525","walltime":"0.667","ppvisitednodes":{"value":3048,"limit":1000000},"postexpandincludesize":{"value":65925,"limit":2097152},"templateargumentsize":{"value":4328,"limit":2097152},"expansiondepth":{"value":14,"limit":100},"expensivefunctioncount":{"value":2,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":44490,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 586.404 1 -total"," 29.47% 172.810 1 Template:Infobox_scientist"," 20.86% 122.322 1 Template:Reflist"," 14.55% 85.310 2 Template:Cite_web"," 13.27% 77.793 2 Template:Navbox"," 13.20% 77.402 1 Template:Kanellakis_Award_laureates"," 9.97% 58.492 1 Template:Short_description"," 8.53% 50.025 1 Template:More_footnotes_needed"," 7.58% 44.470 1 Template:Commons_category"," 7.56% 44.315 1 Template:Ambox"]},"scribunto":{"limitreport-timeusage":{"value":"0.360","limit":"10.000"},"limitreport-memusage":{"value":8582993,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-7878cd4448-k66bz","timestamp":"20250211205758","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Edmund M. Clarke","url":"https:\/\/en.wikipedia.org\/wiki\/Edmund_M._Clarke","sameAs":"http:\/\/www.wikidata.org\/entity\/Q92819","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q92819","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":"2008-02-04T18:33:23Z","dateModified":"2025-01-16T20:39:30Z","image":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/8\/86\/Edmund_Clarke_FLoC_2006.jpg","headline":"American computer scientist (1945\u20132020)"}</script> </body> </html>