CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="fr" dir="ltr"> <head> <meta charset="UTF-8"> <title>Stephen D. Brookes — Wikipédia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )frwikimwclientpreferences=([^;]+)/);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":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","janvier","février","mars","avril","mai","juin","juillet","août","septembre","octobre","novembre","décembre"],"wgRequestId":"404e7eaa-45f2-42d1-aea3-90d1e2a42f37","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Stephen_D._Brookes","wgTitle":"Stephen D. Brookes","wgCurRevisionId":204600120,"wgRevisionId":204600120,"wgArticleId":10247134,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Page utilisant P69","Page utilisant P106","Page utilisant P108","Page utilisant P166","Article utilisant l'infobox Biographie2 avec la charte scientifique","Article à illustrer Biographie","Article utilisant l'infobox Biographie2","Article utilisant une Infobox","Article contenant un appel à traduction en anglais","Page utilisant P2456","Page pointant vers des bases externes","Page pointant vers des bases relatives à la recherche", "Article de Wikipédia avec notice d'autorité","Portail:Informatique théorique/Articles liés","Portail:Informatique/Articles liés","Projet:Mathématiques/Articles","Wikipédia:Article biographique","Portail:Biographie/Articles liés/Entreprises","Informaticien canadien","Personnalité canadienne de l'informatique","Étudiant de l'université d'Oxford","Personnalité en méthodes formelles","Professeur à l'université Carnegie-Mellon","Lauréat du prix Gödel"],"wgPageViewLanguage":"fr","wgPageContentLanguage":"fr","wgPageContentModel":"wikitext","wgRelevantPageName":"Stephen_D._Brookes","wgRelevantArticleId":10247134,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fr","pageLanguageDir":"ltr","pageVariantFallbacks":"fr"}, "wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":5000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q26260804","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","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","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ArchiveLinks","ext.gadget.Wdsearch","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","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=ext.cite.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.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=fr&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Stephen D. Brookes — Wikipédia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//fr.m.wikipedia.org/wiki/Stephen_D._Brookes"> <link rel="alternate" type="application/x-wiki" title="Modifier" href="/w/index.php?title=Stephen_D._Brookes&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="Wikipédia (fr)"> <link rel="EditURI" type="application/rsd+xml" href="//fr.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://fr.wikipedia.org/wiki/Stephen_D._Brookes"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr"> <link rel="alternate" type="application/atom+xml" title="Flux Atom de Wikipédia" href="/w/index.php?title=Sp%C3%A9cial:Modifications_r%C3%A9centes&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-Stephen_D_Brookes rootpage-Stephen_D_Brookes skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Aller au contenu</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Menu principal" > <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">Menu principal</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">Menu principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">masquer</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/Wikip%C3%A9dia:Accueil_principal" title="Accueil général [z]" accesskey="z"><span>Accueil</span></a></li><li id="n-thema" class="mw-list-item"><a href="/wiki/Portail:Accueil"><span>Portails thématiques</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Page_au_hasard" title="Affiche un article au hasard [x]" accesskey="x"><span>Article au hasard</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Contact"><span>Contact</span></a></li> </ul> </div> </div> <div id="p-Contribuer" class="vector-menu mw-portlet mw-portlet-Contribuer" > <div class="vector-menu-heading"> Contribuer </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-aboutwp" class="mw-list-item"><a href="/wiki/Aide:D%C3%A9buter"><span>Débuter sur Wikipédia</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Aide:Accueil" title="Accès à l’aide"><span>Aide</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_de_la_communaut%C3%A9" title="À propos du projet, ce que vous pouvez faire, où trouver les informations"><span>Communauté</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Modifications_r%C3%A9centes" title="Liste des modifications récentes sur le wiki [r]" accesskey="r"><span>Modifications récentes</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikip%C3%A9dia:Accueil_principal" 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="Wikipédia" src="/static/images/mobile/copyright/wikipedia-wordmark-fr.svg" style="width: 7.4375em; height: 1.125em;"> <img class="mw-logo-tagline" alt="l'encyclopédie libre" src="/static/images/mobile/copyright/wikipedia-tagline-fr.svg" width="120" height="13" style="width: 7.5em; 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/Sp%C3%A9cial:Recherche" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Rechercher sur Wikipédia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Rechercher</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="Rechercher sur Wikipédia" aria-label="Rechercher sur Wikipédia" autocapitalize="sentences" title="Rechercher sur Wikipédia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Spécial:Recherche"> </div> <button class="cdx-button cdx-search-input__end-button">Rechercher</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Outils personnels"> <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="Apparence"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Modifier l'apparence de la taille, de la largeur et de la couleur de la police de la page" > <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="Apparence" > <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">Apparence</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="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr" class=""><span>Faire un don</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=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Stephen+D.+Brookes" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire." class=""><span>Créer un compte</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=Sp%C3%A9cial:Connexion&returnto=Stephen+D.+Brookes" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o" class=""><span>Se connecter</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="Plus d’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="Outils personnels" > <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">Outils personnels</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menu utilisateur" > <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="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr"><span>Faire un don</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Stephen+D.+Brookes" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Créer un compte</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=Stephen+D.+Brookes" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Se connecter</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 pour les contributeurs déconnectés <a href="/wiki/Aide:Premiers_pas" aria-label="En savoir plus sur la contribution"><span>en savoir plus</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/Sp%C3%A9cial:Mes_contributions" title="Une liste des modifications effectuées depuis cette adresse IP [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_discussions" title="La page de discussion pour les contributions depuis cette adresse IP [n]" accesskey="n"><span>Discussion</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="Sommaire" 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">Sommaire</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">masquer</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">Début</div> </a> </li> <li id="toc-Carrière" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Carrière"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Carrière</span> </div> </a> <ul id="toc-Carrière-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Travaux" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Travaux"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Travaux</span> </div> </a> <ul id="toc-Travaux-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Notes_et_références" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notes_et_références"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Notes et références</span> </div> </a> <ul id="toc-Notes_et_références-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Bibliographie" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Bibliographie"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Bibliographie</span> </div> </a> <ul id="toc-Bibliographie-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Liens_externes" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Liens_externes"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Liens externes</span> </div> </a> <ul id="toc-Liens_externes-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="Sommaire" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Basculer la table des matières" > <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">Basculer la table des matières</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">Stephen D. Brookes</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="Aller à un article dans une autre langue. Disponible en 1 langue." > <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-1" 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">1 langue</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Stephen_Brookes" title="Stephen Brookes – allemand" lang="de" hreflang="de" data-title="Stephen Brookes" data-language-autonym="Deutsch" data-language-local-name="allemand" class="interlanguage-link-target"><span>Deutsch</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/Q26260804#sitelinks-wikipedia" title="Modifier les liens interlangues" class="wbc-editpage">Modifier les liens</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="Espaces de noms"> <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/Stephen_D._Brookes" title="Voir le contenu de la page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="new vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Discussion:Stephen_D._Brookes&action=edit&redlink=1" rel="discussion" class="new" title="Discussion au sujet de cette page de contenu (page inexistante) [t]" accesskey="t"><span>Discussion</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="Modifier la variante de langue" > <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">français</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="Affichages"> <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/Stephen_D._Brookes"><span>Lire</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&action=history" title="Historique des versions de cette page [h]" accesskey="h"><span>Voir l’historique</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <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="Outils" > <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">Outils</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">Outils</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">masquer</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Plus d’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/Stephen_D._Brookes"><span>Lire</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&action=history"><span>Voir l’historique</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Général </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_li%C3%A9es/Stephen_D._Brookes" title="Liste des pages liées qui pointent sur celle-ci [j]" accesskey="j"><span>Pages liées</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Stephen_D._Brookes" rel="nofollow" title="Liste des modifications récentes des pages appelées par celle-ci [k]" accesskey="k"><span>Suivi des pages liées</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Aide:Importer_un_fichier" title="Téléverser des fichiers [u]" accesskey="u"><span>Téléverser un fichier</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_sp%C3%A9ciales" title="Liste de toutes les pages spéciales [q]" accesskey="q"><span>Pages spéciales</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&oldid=204600120" title="Adresse permanente de cette version de cette page"><span>Lien permanent</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&action=info" title="Davantage d’informations sur cette page"><span>Informations sur la page</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Citer&page=Stephen_D._Brookes&id=204600120&wpFormIdentifier=titleform" title="Informations sur la manière de citer cette page"><span>Citer cette page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:UrlShortener&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FStephen_D._Brookes"><span>Obtenir l'URL raccourcie</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:QrCode&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FStephen_D._Brookes"><span>Télécharger le code QR</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"> Imprimer / exporter </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Livre&bookcmd=book_creator&referer=Stephen+D.+Brookes"><span>Créer un livre</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:DownloadAsPdf&page=Stephen_D._Brookes&action=show-download-screen"><span>Télécharger comme PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Stephen_D._Brookes&printable=yes" title="Version imprimable de cette page [p]" accesskey="p"><span>Version imprimable</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"> Dans d’autres projets </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q26260804" title="Lien vers l’élément dans le dépôt de données connecté [g]" accesskey="g"><span>Élément Wikidata</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="Outils de la page"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apparence"> <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">Apparence</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">masquer</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">Un article de Wikipédia, l'encyclopédie libre.</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="fr" dir="ltr"><div class="infobox_v3 infobox infobox--frwiki noarchive large"><div class="entete defaut" style="background-color:#EEEEFF;color:#000000"><div>Stephen <abbr class="abbr" title="500"><span class="romain" style="text-transform:uppercase">D</span></abbr>. Brookes</div></div><div><div class="images" style="padding:2px 0"><span class="mw-default-size skin-invert notheme" typeof="mw:File/Frameless"><a href="/wiki/Aide:Ins%C3%A9rer_une_image" title="Aide:Insérer une image"><img alt="une illustration sous licence libre serait bienvenue" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png" decoding="async" width="260" height="59" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-390px-Defaut_2.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-520px-Defaut_2.svg.png 2x" data-file-width="175" data-file-height="40" /></a></span></div></div><table><caption style="color:#000000;text-align:center;background-color:#EEEEFF">Biographie</caption><tbody><tr class=""><th scope="row">Formation</th><td class=""><div> <span class="wd_p69"><a href="/wiki/Universit%C3%A9_d%27Oxford" title="Université d'Oxford">Université d'Oxford</a><span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q26260804?uselang=fr#P69" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span></div></td></tr><tr class=""><th scope="row">Activité</th><td class=""><div> <span class="wd_p106"><a href="/wiki/Informaticien" title="Informaticien">Informaticien</a><span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q26260804?uselang=fr#P106" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span></div></td></tr></tbody></table><table><caption style="color:#000000;text-align:center;background-color:#EEEEFF">Autres informations</caption><tbody><tr class=""><th scope="row">A travaillé pour</th><td class=""><div> <span class="wd_p108"><a href="/wiki/Universit%C3%A9_Carnegie-Mellon" title="Université Carnegie-Mellon">Université Carnegie-Mellon</a><span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q26260804?uselang=fr#P108" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span></div></td></tr><tr class=""><th scope="row">Distinction</th><td class=""><div> <span class="wd_p166"><a href="/wiki/Prix_G%C3%B6del" title="Prix Gödel">Prix Gödel</a> <small>(<time>2016</time>)</small><span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q26260804?uselang=fr#P166" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span></div></td></tr></tbody></table><p class="navbar noprint bordered navigation-not-searchable" style="border-top:1px solid #EEEEFF"><span class="plainlinks" style="text-align:left"><a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Stephen_D._Brookes&veaction=edit&section=0">modifier</a> - <a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Stephen_D._Brookes&action=edit&section=0">modifier le code</a> - <a href="https://www.wikidata.org/wiki/Q26260804" class="extiw" title="d:Q26260804">modifier Wikidata</a></span><span style="text-align:right"><span typeof="mw:File"><a href="/wiki/Mod%C3%A8le:Infobox_Biographie2" title="Documentation du modèle"><img alt="Documentation du modèle" src="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png" decoding="async" width="12" height="12" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/18px-Info_Simple.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/24px-Info_Simple.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></span></p></div> <p><b>Stephen D. Brookes</b> est un <a href="/wiki/Informatique_th%C3%A9orique" title="Informatique théorique">informaticien théoricien</a>, <a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">logicien</a> et <a href="/wiki/Math%C3%A9maticien" title="Mathématicien">mathématicien</a>, professeur à l'<a href="/wiki/Universit%C3%A9_Carnegie-Mellon" title="Université Carnegie-Mellon">université Carnegie-Mellon</a>. Il est connu pour ses contributions à la <a href="/wiki/Logique_de_s%C3%A9paration" title="Logique de séparation"> logique de séparation concurrente</a>, qui lui ont valu l'attribution du prix Gödel 2016, avec <a href="/wiki/Peter_O%27Hearn" title="Peter O'Hearn">Peter O'Hearn</a><sup id="cite_ref-laudatio_1-0" class="reference"><a href="#cite_note-laudatio-1"><span class="cite_crochet">[</span>1<span class="cite_crochet">]</span></a></sup>. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Carrière"><span id="Carri.C3.A8re"></span>Carrière</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Stephen_D._Brookes&veaction=edit&section=1" title="Modifier la section : Carrière" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Stephen_D._Brookes&action=edit&section=1" title="Modifier le code source de la section : Carrière"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Stephen Brookes obtient un B. A. en mathématiques à l'<a href="/wiki/Universit%C3%A9_d%27Oxford" title="Université d'Oxford">université d'Oxford</a> en 1978 et obtient un <a href="/wiki/Ph._D." class="mw-redirect" title="Ph. D.">Ph. D.</a> en informatique à la même université sous la direction de <a href="/wiki/C._A._R._Hoare" class="mw-redirect" title="C. A. R. Hoare">C. A. R. Hoare</a> en 1983<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite_crochet">[</span>2<span class="cite_crochet">]</span></a></sup> avec une thèse ayant pour titre <span class="citation not_fr_quote" lang="en">« <span class="italique">A model for communicating sequential processes</span> »</span>. Il rejoint l'<a href="/wiki/Universit%C3%A9_Carnegie-Mellon" title="Université Carnegie-Mellon">université Carnegie-Mellon</a> à <a href="/wiki/Pittsburgh" title="Pittsburgh">Pittsburgh</a>, en <a href="/wiki/Pennsylvanie" title="Pennsylvanie">Pennsylvanie</a>, comme chercheur en informatique en 1981, et devient professeur titulaire en 2006<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite_crochet">[</span>3<span class="cite_crochet">]</span></a></sup>. </p> <div class="mw-heading mw-heading2"><h2 id="Travaux">Travaux</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Stephen_D._Brookes&veaction=edit&section=2" title="Modifier la section : Travaux" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Stephen_D._Brookes&action=edit&section=2" title="Modifier le code source de la section : Travaux"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La recherche de Stephen Brookes porte sur les modèles sémantiques pour les langages de programmation, et sur les logiques pour décrire le comportement de programmes concurrents<sup id="cite_ref-perso_4-0" class="reference"><a href="#cite_note-perso-4"><span class="cite_crochet">[</span>4<span class="cite_crochet">]</span></a></sup>. L'objectif de ces recherches, pour lesquels il est soutenu en partie par la <a href="/wiki/National_Science_Foundation" class="mw-redirect" title="National Science Foundation">National Science Foundation</a>, est d'améliorer la conception et l'analyse de programmes concurrents corrects. </p><p>Stephen Brookes a travaillé, avec <a href="/wiki/Tony_Hoare" class="mw-redirect" title="Tony Hoare">Tony Hoare</a> et <a href="/w/index.php?title=Bill_Roscoe&action=edit&redlink=1" class="new" title="Bill Roscoe (page inexistante)">Bill Roscoe</a> <a href="https://en.wikipedia.org/wiki/Bill_Roscoe" class="extiw" title="en:Bill Roscoe"><span class="indicateur-langue" title="Article en anglais : « Bill Roscoe »">(en)</span></a> sur divers aspects de la logique des <a href="/wiki/Communicating_sequential_processes" title="Communicating sequential processes">communicating sequential processes</a>, et notamment sur les modèles d'échec, qui est devenu la base du model checker FDR (Failure Divergence Refinement). Avec ses anciens étudiants Shai Geva, Denis Dancanet, Kathy Van Stone, Michel Schellekens, Stephen Brookes a travaillé sur des modèles sémantiques de langages de programmation à processus concurrents, comme wie Idealized CSP idéalisé ou Algol parallèle, et sur divers aspects de la sémantique intentionnelle. </p><p>Un apport essentiel de Stephen Brookes est d'avoir rendu possible, dans des travaux entrepris en commun avec O'Hearn, la vérification de programmes comportant la manipulation de pointeurs et la mémoire partagée concurrente. Grâce à la logigue de séparation concurrente, ils sont devenus des « problèmes résolus avec élégance et simplicité »<sup id="cite_ref-laudatio_1-1" class="reference"><a href="#cite_note-laudatio-1"><span class="cite_crochet">[</span>1<span class="cite_crochet">]</span></a></sup>. L'approche se fonde sur la logique de séparation pour les programmes séquentiels due à O'Hearn et John Reynolds. Les propositions initiales de O'Hearn se sont révélées inconsistantes, comme l'a montré un exemple de Reynolds. O'Hearn et Brookes ont corrigé les défauts ; les contributions de Brookes sont un nouveau modèle qui permet de démontrer de manière formelle la consistance de la logique. L'article primé par le prix Gödel est expose cette théorie <span class="ouvrage" id="2007">« <cite style="font-style:normal">A Semantics for Concurrent Separation Logic</cite> », <i>Theoretical Computer Science</i>, <abbr class="abbr" title="volume">vol.</abbr> 375, <abbr class="abbr" title="numéros">n<sup>os</sup></abbr> 1-3,‎ <time>2007</time>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">227-270</span><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Semantics+for+Concurrent+Separation+Logic&rft.jtitle=Theoretical+Computer+Science&rft.issue=1-3&rft.date=2007&rft.volume=375&rft.pages=227-270&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AStephen+D.+Brookes"></span></span>, paru dans la <i>Festschrift</i> consacrée à John Reynolds. </p><p>Ces travaux, et l'impact qu'ils ont eu, font l'objet d'un article écrit en commun avec <a href="/wiki/Peter_O%27Hearn" title="Peter O'Hearn">Peter O'Hearn</a> paru dans les SIGACT News de 2016<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite_crochet">[</span>5<span class="cite_crochet">]</span></a></sup>. </p> <div class="mw-heading mw-heading2"><h2 id="Notes_et_références"><span id="Notes_et_r.C3.A9f.C3.A9rences"></span>Notes et références</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Stephen_D._Brookes&veaction=edit&section=3" title="Modifier la section : Notes et références" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Stephen_D._Brookes&action=edit&section=3" title="Modifier le code source de la section : Notes et références"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="references-small decimal" style=""><div class="mw-references-wrap"><ol class="references"> <li id="cite_note-laudatio-1"><span class="mw-cite-backlink noprint">↑ <sup><a href="#cite_ref-laudatio_1-0">a</a> et <a href="#cite_ref-laudatio_1-1">b</a></sup> </span><span class="reference-text"><a href="#laudatio"><i>Laudatio</i> EATCS</a>.</span> </li> <li id="cite_note-2"><span class="mw-cite-backlink noprint"><a href="#cite_ref-2">↑</a> </span><span class="reference-text"><span class="ouvrage"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="https://www.genealogy.math.ndsu.nodak.edu/id.php?id=40702"><cite style="font-style:normal;" lang="en">Stephen D. Brookes</cite></a> », sur <span class="italique"><i>le site du</i> <span class="lang-en" lang="en"><a href="/wiki/Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a></span></span></span></span> </li> <li id="cite_note-3"><span class="mw-cite-backlink noprint"><a href="#cite_ref-3">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.cmu.edu/news/stories/archives/2016/may/brookes-wins-%20godel-prize.html">Sgephen Brookes will receive Gödel Prize</a> sur Carnegie-Mellon News.</span> </li> <li id="cite_note-perso-4"><span class="mw-cite-backlink noprint"><a href="#cite_ref-perso_4-0">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.cs.cmu.edu/~brookes/">Page personnelle</a> sur l’université Carnegie-Mellon.</span> </li> <li id="cite_note-5"><span class="mw-cite-backlink noprint"><a href="#cite_ref-5">↑</a> </span><span class="reference-text"> <span class="ouvrage" id="BrookesO’Hearn2016"><span class="ouvrage" id="Stephen_BrookesPeter_O’Hearn2016">Stephen Brookes et Peter O’Hearn, « <cite style="font-style:normal">Concurrent separation logic</cite> », <i>ACM SIGLOG News archive</i>, <abbr class="abbr" title="volume">vol.</abbr> 3, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 3,‎ <time class="nowrap" datetime="2016-07" data-sort-value="2016-07">juillet 2016</time>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">47-65</span> <small style="line-height:1em;">(<a href="/wiki/Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <span class="plainlinks noarchive nowrap"><a rel="nofollow" class="external text" href="https://dx.doi.org/10.1145/2984450.2984457">10.1145/2984450.2984457</a></span>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Concurrent+separation+logic&rft.jtitle=ACM+SIGLOG+News+archive&rft.issue=3&rft.aulast=Brookes&rft.aufirst=Stephen&rft.au=Peter+O%E2%80%99Hearn&rft.date=2016-07&rft.volume=3&rft.pages=47-65&rft_id=info%3Adoi%2F10.1145%2F2984450.2984457&rfr_id=info%3Asid%2Ffr.wikipedia.org%3AStephen+D.+Brookes"></span></span></span>.</span> </li> </ol></div> </div> <div class="mw-heading mw-heading2"><h2 id="Bibliographie">Bibliographie</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Stephen_D._Brookes&veaction=edit&section=4" title="Modifier la section : Bibliographie" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Stephen_D._Brookes&action=edit&section=4" title="Modifier le code source de la section : Bibliographie"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><span class="ouvrage" id="laudatio">« <a rel="nofollow" class="external text" href="http://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize-"><cite style="font-style:normal;">2016 Gödel Prize</cite></a> », sur <span class="italique"><a href="/wiki/EATCS" class="mw-redirect" title="EATCS">EATCS</a></span></span></li></ul> <div class="mw-heading mw-heading2"><h2 id="Liens_externes">Liens externes</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Stephen_D._Brookes&veaction=edit&section=5" title="Modifier la section : Liens externes" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Stephen_D._Brookes&action=edit&section=5" title="Modifier le code source de la section : Liens externes"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><span class="ouvrage" id="Aceto2016"><span class="ouvrage" id="Luca_Aceto2016">Luca Aceto, « <a rel="nofollow" class="external text" href="http://bulletin.eatcs.org/index.php/beatcs/article/view/408"><cite style="font-style:normal;">Interview with Stephen Brookes and Peter W. O’Hearn Recipients of the 2016 Godel Prize</cite></a> », <span class="italique">Bulletin of EATCS, No 119</span>, <time class="nowrap" datetime="2016-06" data-sort-value="2016-06">juin 2016</time> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2016-08-28" data-sort-value="2016-08-28">28 août 2016</time>)</small></span></span>.</li> <li><span class="liste-horizontale noarchive"><span class="wd_identifiers">Ressource relative à la recherche<span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q26260804?uselang=fr#identifiers" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span> : <ul><li><a rel="nofollow" class="external text" href="https://dblp.org/pid/30/3507"><span class="lang-en" lang="en">Digital Bibliography & Library Project</span></a></li> </ul></span></li> <li><div class="liste-horizontale"><span class="wd_identifiers"><a href="/wiki/Autorit%C3%A9_(sciences_de_l%27information)" title="Autorité (sciences de l'information)">Notices d'autorité</a><span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q26260804?uselang=fr#identifiers" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span> : <ul><li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://viaf.org/viaf/67072437">VIAF</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="https://isni.org/isni/0000000116631614">ISNI</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://www.idref.fr/056238754">IdRef</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://id.loc.gov/authorities/n85072521">LCCN</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="https://opac.kbr.be/LIBRARY/doc/AUTHORITY/14236495">Belgique</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://data.bibliotheken.nl/id/thes/p071208046">Pays-Bas</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://olduli.nli.org.il/F/?func=find-b&local_base=NLX10&find_code=UID&request=987007424041505171">Israël</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://nukat.edu.pl/aut/n%20%2098076029">NUKAT</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="https://authority.bibsys.no/authority/rest/authorities/html/90603807">Norvège</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://www.worldcat.org/identities/lccn-n85-072521">WorldCat</a></span></li> </ul></div></li></ul> <div class="navbox-container" style="clear:both;"> <table class="navbox collapsible noprint autocollapse" style=""> <tbody><tr><th class="navbox-title" colspan="2" style=""><div style="float:left; width:6em; text-align:left"><div class="noprint plainlinks nowrap tnavbar" style="padding:0; font-size:xx-small; color:var(--color-emphasized, #000000);"><a href="/wiki/Mod%C3%A8le:Palette_Laur%C3%A9ats_du_prix_G%C3%B6del" title="Modèle:Palette Lauréats du prix Gödel"><abbr class="abbr" title="Voir ce modèle.">v</abbr></a> · <a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Mod%C3%A8le:Palette_Laur%C3%A9ats_du_prix_G%C3%B6del&action=edit"><abbr class="abbr" title="Modifier ce modèle. Merci de prévisualiser avant de sauvegarder.">m</abbr></a></div></div><div style="font-size:110%">Lauréats du <a href="/wiki/Prix_G%C3%B6del" title="Prix Gödel">prix Gödel</a></div></th> </tr> <tr> <td class="navbox-list" style="text-align:center;;" colspan="2"><div class="liste-horizontale"> <ul><li>1993 <ul><li><a href="/wiki/L%C3%A1szl%C3%B3_Babai" title="László Babai">László Babai</a></li> <li><a href="/wiki/Shafi_Goldwasser" title="Shafi Goldwasser">Shafi Goldwasser</a></li> <li><a href="/wiki/Silvio_Micali" title="Silvio Micali">Silvio Micali</a></li> <li><a href="/wiki/Shlomo_Moran" title="Shlomo Moran">Shlomo Moran</a></li> <li><a href="/wiki/Charles_Rackoff" title="Charles Rackoff">Charles Rackoff</a></li></ul></li> <li>1994 <ul><li><a href="/wiki/Johan_H%C3%A5stad" title="Johan Håstad">Johan Håstad</a></li></ul></li> <li>1995 <ul><li><a href="/wiki/Neil_Immerman" title="Neil Immerman">Neil Immerman</a></li> <li><a href="/wiki/R%C3%B3bert_Szelepcs%C3%A9nyi" title="Róbert Szelepcsényi">Róbert Szelepcsényi</a></li></ul></li> <li>1996 <ul><li><a href="/wiki/Mark_Jerrum" title="Mark Jerrum">Mark Jerrum</a></li> <li><a href="/wiki/Alistair_Sinclair" title="Alistair Sinclair">Alistair Sinclair</a></li></ul></li> <li>1997 <ul><li><a href="/wiki/Joseph_Y._Halpern" title="Joseph Y. Halpern">Joseph Halpern</a></li> <li><a href="/wiki/Yoram_Moses" title="Yoram Moses">Yoram Moses</a></li></ul></li> <li>1998 <ul><li><a href="/wiki/Seinosuke_Toda" title="Seinosuke Toda">Seinosuke Toda</a></li></ul></li> <li>1999 <ul><li><a href="/wiki/Peter_Shor" title="Peter Shor">Peter Shor</a></li></ul></li> <li>2000 <ul><li><a href="/wiki/Moshe_Vardi" title="Moshe Vardi">Moshe Vardi</a></li> <li><a href="/wiki/Pierre_Wolper" title="Pierre Wolper">Pierre Wolper</a></li></ul></li> <li>2001 <ul><li><a href="/wiki/Sanjeev_Arora" title="Sanjeev Arora">Sanjeev Arora</a></li> <li><a href="/wiki/Uriel_Feige" title="Uriel Feige">Uriel Feige</a></li> <li><a href="/wiki/Shafi_Goldwasser" title="Shafi Goldwasser">Shafi Goldwasser</a></li> <li><a href="/wiki/Carsten_Lund" title="Carsten Lund">Carsten Lund</a></li> <li><a href="/wiki/L%C3%A1szl%C3%B3_Lov%C3%A1sz" title="László Lovász">László Lovász</a></li> <li><a href="/wiki/Rajeev_Motwani" title="Rajeev Motwani">Rajeev Motwani</a></li> <li><a href="/wiki/Shmuel_Safra" title="Shmuel Safra">Shmuel Safra</a></li> <li><a href="/wiki/Madhu_Sudan" title="Madhu Sudan">Madhu Sudan</a></li> <li><a href="/wiki/Mario_Szegedy" title="Mario Szegedy">Mario Szegedy</a></li></ul></li> <li>2002 <ul><li><a href="/wiki/G%C3%A9raud_S%C3%A9nizergues" title="Géraud Sénizergues">Géraud Sénizergues</a></li></ul></li> <li>2003 <ul><li><a href="/wiki/Yoav_Freund" title="Yoav Freund">Yoav Freund</a></li> <li><a href="/wiki/Robert_Schapire" title="Robert Schapire">Robert Schapire</a></li></ul></li> <li>2004 <ul><li><a href="/wiki/Maurice_Herlihy" title="Maurice Herlihy">Maurice Herlihy</a></li> <li><a href="/wiki/Michael_Saks" title="Michael Saks">Michael Saks</a></li> <li><a href="/wiki/Nir_Shavit" title="Nir Shavit">Nir Shavit</a></li> <li><a href="/wiki/Fotios_Zaharoglou" title="Fotios Zaharoglou">Fotios Zaharoglou</a></li></ul></li> <li>2005 <ul><li><a href="/wiki/Noga_Alon" title="Noga Alon">Noga Alon</a></li> <li><a href="/wiki/Yossi_Matias" title="Yossi Matias">Yossi Matias</a></li> <li><a href="/wiki/Mario_Szegedy" title="Mario Szegedy">Mario Szegedy</a></li></ul></li> <li>2006 <ul><li><a href="/wiki/Manindra_Agrawal" title="Manindra Agrawal">Manindra Agrawal</a></li> <li><a href="/wiki/Neeraj_Kayal" title="Neeraj Kayal">Neeraj Kayal</a></li> <li><a href="/wiki/Nitin_Saxena" title="Nitin Saxena">Nitin Saxena</a></li></ul></li> <li>2007 <ul><li><a href="/wiki/Alexandre_Razborov" title="Alexandre Razborov">Alexander Razborov</a></li> <li><a href="/wiki/Steven_Rudich" title="Steven Rudich">Steven Rudich</a></li></ul></li> <li>2008 <ul><li><a href="/wiki/Shang-Hua_Teng" title="Shang-Hua Teng">Shang-Hua Teng</a></li> <li><a href="/wiki/Daniel_Spielman" title="Daniel Spielman">Daniel Spielman</a></li></ul></li> <li>2009 <ul><li><a href="/wiki/Omer_Reingold" title="Omer Reingold">Omer Reingold</a></li> <li><a href="/wiki/Salil_Vadhan" title="Salil Vadhan">Salil Vadhan</a></li> <li><a href="/wiki/Avi_Wigderson" title="Avi Wigderson">Avi Wigderson</a></li></ul></li> <li>2010 <ul><li><a href="/wiki/Sanjeev_Arora" title="Sanjeev Arora">Sanjeev Arora</a></li> <li><a href="/wiki/Joseph_Shannon_Baird_Mitchell" title="Joseph Shannon Baird Mitchell">Joseph Mitchell</a></li></ul></li> <li>2011 <ul><li><a href="/wiki/Johan_H%C3%A5stad" title="Johan Håstad">Johan Håstad</a></li></ul></li> <li>2012 <ul><li><a href="/wiki/Elias_Koutsoupias" title="Elias Koutsoupias">Elias Koutsoupias</a></li> <li><a href="/wiki/Christos_Papadimitriou" title="Christos Papadimitriou">Christos Papadimitriou</a></li> <li><a href="/wiki/Noam_Nisan" title="Noam Nisan">Noam Nisan</a></li> <li><a href="/wiki/Amir_Ronen" title="Amir Ronen">Amir Ronen</a></li> <li><a href="/wiki/Tim_Roughgarden" title="Tim Roughgarden">Tim Roughgarden</a></li> <li><a href="/wiki/%C3%89va_Tardos" title="Éva Tardos">Éva Tardos</a></li></ul></li> <li>2013 <ul><li><a href="/wiki/Dan_Boneh" title="Dan Boneh">Dan Boneh</a></li> <li><a href="/wiki/Matthew_K._Franklin" title="Matthew K. Franklin">Matthew K. Franklin</a></li> <li><a href="/wiki/Antoine_Joux" title="Antoine Joux">Antoine Joux</a></li></ul></li> <li>2014 <ul><li><a href="/wiki/Ronald_Fagin" title="Ronald Fagin">Ronald Fagin</a></li> <li><a href="/wiki/Amnon_Lotem" title="Amnon Lotem">Amnon Lotem</a></li> <li><a href="/wiki/Moni_Naor" title="Moni Naor">Moni Naor</a></li></ul></li> <li>2015 <ul><li><a href="/wiki/Shang-Hua_Teng" title="Shang-Hua Teng">Shang-Hua Teng</a></li> <li><a href="/wiki/Daniel_Spielman" title="Daniel Spielman">Daniel Spielman</a></li></ul></li> <li>2016 <ul><li><a class="mw-selflink selflink">Stephen D. Brookes</a></li> <li><a href="/wiki/Peter_O%27Hearn" title="Peter O'Hearn">Peter O'Hearn</a></li></ul></li> <li>2017 <ul><li><a href="/wiki/Cynthia_Dwork" title="Cynthia Dwork">Cynthia Dwork</a></li> <li><a href="/wiki/Frank_McSherry" title="Frank McSherry">Frank McSherry</a></li> <li><a href="/wiki/Kobbi_Nissim" title="Kobbi Nissim">Kobbi Nissim</a></li> <li><a href="/wiki/Adam_D._Smith" title="Adam D. Smith">Adam D. Smith</a></li></ul></li> <li>2018 <ul><li><a href="/wiki/Oded_Regev" title="Oded Regev">Oded Regev</a></li></ul></li> <li>2019 <ul><li><a href="/wiki/Irit_Dinur" title="Irit Dinur">Irit Dinur</a></li></ul></li> <li>2020 <ul><li><a href="/wiki/Robin_A._Moser" title="Robin A. Moser">Robin A. Moser</a></li> <li><a href="/wiki/G%C3%A1bor_Tardos" title="Gábor Tardos">Gábor Tardos</a></li></ul></li> <li>2021 <ul><li><a href="/wiki/Andrei_A._Bulatov" title="Andrei A. Bulatov">Andrei A. Bulatov</a></li> <li><a href="/wiki/Jin-Yi_Cai" title="Jin-Yi Cai">Jin-Yi Cai</a></li> <li><a href="/wiki/Xi_Chen" title="Xi Chen">Xi Chen</a></li> <li><a href="/wiki/Martin_Dyer" title="Martin Dyer">Martin Dyer</a></li> <li><a href="/wiki/David_Richerby" title="David Richerby">David Richerby</a></li></ul></li> <li>2022 <ul><li><a href="/wiki/Zvika_Brakerski" title="Zvika Brakerski">Zvika Brakerski</a></li> <li><a href="/wiki/Vinod_Vaikuntanathan" title="Vinod Vaikuntanathan">Vinod Vaikuntanathan</a></li> <li><a href="/wiki/Craig_Gentry_(informaticien)" title="Craig Gentry (informaticien)">Craig Gentry</a></li></ul></li> <li>2023 <ul><li>Samuel Fiorini</li> <li>Serge Massar</li> <li>Sebastian Pokutta</li> <li>Hans Raj Tiwary</li> <li><a href="/wiki/Ronald_de_Wolf" title="Ronald de Wolf">Ronald de Wolf</a></li> <li>Thomas Rothvoss</li></ul></li></ul> </div></td> </tr> </tbody></table> </div> <ul id="bandeau-portail" class="bandeau-portail"><li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer skin-invert-image" typeof="mw:File"><a href="/wiki/Portail:Informatique_th%C3%A9orique" title="Portail de l'informatique théorique"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/30px-Max-cut.svg.png" decoding="async" width="30" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/45px-Max-cut.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/60px-Max-cut.svg.png 2x" data-file-width="200" data-file-height="160" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Informatique_th%C3%A9orique" title="Portail:Informatique théorique">Portail de l'informatique théorique</a></span> </span></li> </ul>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Ce document provient de « <a dir="ltr" href="https://fr.wikipedia.org/w/index.php?title=Stephen_D._Brookes&oldid=204600120">https://fr.wikipedia.org/w/index.php?title=Stephen_D._Brookes&oldid=204600120</a> ».</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Cat%C3%A9gorie:Accueil" title="Catégorie:Accueil">Catégories</a> : <ul><li><a href="/wiki/Cat%C3%A9gorie:Informaticien_canadien" title="Catégorie:Informaticien canadien">Informaticien canadien</a></li><li><a href="/wiki/Cat%C3%A9gorie:Personnalit%C3%A9_canadienne_de_l%27informatique" title="Catégorie:Personnalité canadienne de l'informatique">Personnalité canadienne de l'informatique</a></li><li><a href="/wiki/Cat%C3%A9gorie:%C3%89tudiant_de_l%27universit%C3%A9_d%27Oxford" title="Catégorie:Étudiant de l'université d'Oxford">Étudiant de l'université d'Oxford</a></li><li><a href="/wiki/Cat%C3%A9gorie:Personnalit%C3%A9_en_m%C3%A9thodes_formelles" title="Catégorie:Personnalité en méthodes formelles">Personnalité en méthodes formelles</a></li><li><a href="/wiki/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_Carnegie-Mellon" title="Catégorie:Professeur à l'université Carnegie-Mellon">Professeur à l'université Carnegie-Mellon</a></li><li><a href="/wiki/Cat%C3%A9gorie:Laur%C3%A9at_du_prix_G%C3%B6del" title="Catégorie:Lauréat du prix Gödel">Lauréat du prix Gödel</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Catégories cachées : <ul><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P69" title="Catégorie:Page utilisant P69">Page utilisant P69</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P106" title="Catégorie:Page utilisant P106">Page utilisant P106</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P108" title="Catégorie:Page utilisant P108">Page utilisant P108</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P166" title="Catégorie:Page utilisant P166">Page utilisant P166</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_utilisant_l%27infobox_Biographie2_avec_la_charte_scientifique" title="Catégorie:Article utilisant l'infobox Biographie2 avec la charte scientifique">Article utilisant l'infobox Biographie2 avec la charte scientifique</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_%C3%A0_illustrer_Biographie" title="Catégorie:Article à illustrer Biographie">Article à illustrer Biographie</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_utilisant_l%27infobox_Biographie2" title="Catégorie:Article utilisant l'infobox Biographie2">Article utilisant l'infobox Biographie2</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_utilisant_une_Infobox" title="Catégorie:Article utilisant une Infobox">Article utilisant une Infobox</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_contenant_un_appel_%C3%A0_traduction_en_anglais" title="Catégorie:Article contenant un appel à traduction en anglais">Article contenant un appel à traduction en anglais</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P2456" title="Catégorie:Page utilisant P2456">Page utilisant P2456</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_pointant_vers_des_bases_externes" title="Catégorie:Page pointant vers des bases externes">Page pointant vers des bases externes</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_pointant_vers_des_bases_relatives_%C3%A0_la_recherche" title="Catégorie:Page pointant vers des bases relatives à la recherche">Page pointant vers des bases relatives à la recherche</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_de_Wikip%C3%A9dia_avec_notice_d%27autorit%C3%A9" title="Catégorie:Article de Wikipédia avec notice d'autorité">Article de Wikipédia avec notice d'autorité</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Informatique_th%C3%A9orique/Articles_li%C3%A9s" title="Catégorie:Portail:Informatique théorique/Articles liés">Portail:Informatique théorique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Informatique/Articles_li%C3%A9s" title="Catégorie:Portail:Informatique/Articles liés">Portail:Informatique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Math%C3%A9matiques/Articles" title="Catégorie:Projet:Mathématiques/Articles">Projet:Mathématiques/Articles</a></li><li><a href="/wiki/Cat%C3%A9gorie:Wikip%C3%A9dia:Article_biographique" title="Catégorie:Wikipédia:Article biographique">Wikipédia:Article biographique</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Biographie/Articles_li%C3%A9s/Entreprises" title="Catégorie:Portail:Biographie/Articles liés/Entreprises">Portail:Biographie/Articles liés/Entreprises</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"> La dernière modification de cette page a été faite le 25 mai 2023 à 13:40.</li> <li id="footer-info-copyright"><span style="white-space: normal"><a href="/wiki/Wikip%C3%A9dia:Citation_et_r%C3%A9utilisation_du_contenu_de_Wikip%C3%A9dia" title="Wikipédia:Citation et réutilisation du contenu de Wikipédia">Droit d'auteur</a> : les textes sont disponibles sous <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">licence Creative Commons attribution, partage dans les mêmes conditions</a> ; d’autres conditions peuvent s’appliquer. Voyez les <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/fr">conditions d’utilisation</a> pour plus de détails, ainsi que les <a href="/wiki/Wikip%C3%A9dia:Cr%C3%A9dits_graphiques" title="Wikipédia:Crédits graphiques">crédits graphiques</a>. En cas de réutilisation des textes de cette page, voyez <a href="/wiki/Sp%C3%A9cial:Citer/Stephen_D._Brookes" title="Spécial:Citer/Stephen D. Brookes">comment citer les auteurs et mentionner la licence</a>.<br /> Wikipedia® est une marque déposée de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a href="/wiki/501c" title="501c">501(c)(3)</a> du code fiscal des États-Unis.</span><br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/fr">Politique de confidentialité</a></li> <li id="footer-places-about"><a href="/wiki/Wikip%C3%A9dia:%C3%80_propos_de_Wikip%C3%A9dia">À propos de Wikipédia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikip%C3%A9dia:Avertissements_g%C3%A9n%C3%A9raux">Avertissements</a></li> <li id="footer-places-contact"><a href="//fr.wikipedia.org/wiki/Wikipédia:Contact">Contact</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code de conduite</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Développeurs</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fr.wikipedia.org">Statistiques</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Déclaration sur les témoins (cookies)</a></li> <li id="footer-places-mobileview"><a href="//fr.m.wikipedia.org/w/index.php?title=Stephen_D._Brookes&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Version mobile</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-f69cdc8f6-zdzzs","wgBackendResponseTime":770,"wgPageParseReport":{"limitreport":{"cputime":"0.381","walltime":"0.589","ppvisitednodes":{"value":870,"limit":1000000},"postexpandincludesize":{"value":44735,"limit":2097152},"templateargumentsize":{"value":7247,"limit":2097152},"expansiondepth":{"value":12,"limit":100},"expensivefunctioncount":{"value":7,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":4226,"limit":5000000},"entityaccesscount":{"value":14,"limit":400},"timingprofile":["100.00% 535.913 1 -total"," 56.01% 300.182 1 Modèle:Infobox_Biographie2"," 11.66% 62.480 1 Modèle:Bases_recherche"," 10.51% 56.320 2 Modèle:Article"," 5.60% 29.990 1 Modèle:Références"," 5.23% 28.041 1 Modèle:Portail"," 4.40% 23.557 1 Modèle:Palette"," 3.21% 17.202 1 Modèle:Palette_Lauréats_du_prix_Gödel"," 2.62% 14.060 1 Modèle:Méta_palette_de_navigation"," 2.52% 13.481 3 Modèle:Lien_web"]},"scribunto":{"limitreport-timeusage":{"value":"0.258","limit":"10.000"},"limitreport-memusage":{"value":5488610,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-f69cdc8f6-zdzzs","timestamp":"20241124041252","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Stephen D. Brookes","url":"https:\/\/fr.wikipedia.org\/wiki\/Stephen_D._Brookes","sameAs":"http:\/\/www.wikidata.org\/entity\/Q26260804","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q26260804","author":{"@type":"Organization","name":"Contributeurs aux projets Wikimedia"},"publisher":{"@type":"Organization","name":"Fondation Wikimedia, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2016-08-29T10:23:35Z","dateModified":"2023-05-25T12:40:50Z","headline":"informaticien am\u00e9ricain"}</script> </body> </html>