Server : Apache System : Linux webd348.cluster026.gra.hosting.ovh.net 5.15.148-ovh-vps-grsec-zfs-classid #1 SMP Thu Feb 8 09:41:04 UTC 2024 x86_64 User : hednacluml ( 122243) PHP Version : 8.3.9 Disable Function : _dyuweyrj4,_dyuweyrj4r,dl Directory : /home/hednacluml/encyclo/articles/p/a/t/ |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="fr" lang="fr" dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<!-- headlinks removed -->
<link rel="shortcut icon" href="../../../../misc/favicon.ico"/>
<title>Patrick Cousot - Wikipédia</title>
<style type="text/css">/*<![CDATA[*/ @import "../../../../skins/offline/main.css"; /*]]>*/</style>
<link rel="stylesheet" type="text/css" media="print" href="../../../../skins/common/commonPrint.css" />
<!--[if lt IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE50Fixes.css";</style><![endif]-->
<!--[if IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE55Fixes.css";</style><![endif]-->
<!--[if IE 6]><style type="text/css">@import "../../../../skins/monobook/IE60Fixes.css";</style><![endif]-->
<!--[if IE]><script type="text/javascript" src="../../../../skins/common/IEFixes.js"></script>
<meta http-equiv="imagetoolbar" content="no" /><![endif]-->
<script type="text/javascript" src="../../../../skins/common/wikibits.js"></script>
<script type="text/javascript" src="../../../../skins/offline/md5.js"></script>
<script type="text/javascript" src="../../../../skins/offline/utf8.js"></script>
<script type="text/javascript" src="../../../../skins/offline/lookup.js"></script>
<script type="text/javascript" src="../../../../raw/gen.js"></script> <style type="text/css">/*<![CDATA[*/
@import "../../../../raw/MediaWiki%7ECommon.css";
@import "../../../../raw/MediaWiki%7EMonobook.css";
@import "../../../../raw/gen.css";
/*]]>*/</style> </head>
<body
class="ns-0">
<div id="globalWrapper">
<div id="column-content">
<div id="content">
<a name="top" id="contentTop"></a>
<h1 class="firstHeading">Patrick Cousot</h1>
<div id="bodyContent">
<h3 id="siteSub">Un article de Wikipédia, l'encyclopédie libre.</h3>
<div id="contentSub"></div>
<!-- start content -->
<div class="floatright"><span><a href="../../../../articles/p/a/t/Image%7EPatrick_Cousot_DSC00242.JPG_9fae.html" class="image" title="Patrick Cousot DSC00242.JPG"><img alt="" src="../../../../images/shared/thumb/1/1d/Patrick_Cousot_DSC00242.JPG/150px-Patrick_Cousot_DSC00242.JPG" width="150" height="160" border="0" /></a></span></div>
<p><b>Patrick Cousot</b> (né le <a href="../../../../articles/3/_/d/3_d%C3%A9cembre.html" title="3 décembre">3 décembre</a> <a href="../../../../articles/1/9/4/1948.html" title="1948">1948</a>) est <a href="../../../../articles/i/n/f/Informatique.html" title="Informatique">enseignant en informatique</a> français, professeur à l'<a href="../../../../articles/%C3%A9/c/o/%C3%89cole_normale_sup%C3%A9rieure_%28Ulm%29_8057.html" class="mw-redirect" title="École normale supérieure (Ulm)">École normale supérieure</a> à <a href="../../../../articles/p/a/r/Paris.html" title="Paris">Paris</a>.</p>
<p><a name="Parcours" id="Parcours"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/a/t/Patrick_Cousot_2b56.html" title="Modifier la section : Parcours">modifier</a>]</span> <span class="mw-headline">Parcours</span></h2>
<p>Patrick Cousot est ingénieur de l'<a href="../../../../articles/%C3%A9/c/o/%C3%89cole_des_Mines_de_Nancy_9119.html" class="mw-redirect" title="École des Mines de Nancy">École des Mines de Nancy</a>, dont il sort en <a href="../../../../articles/1/9/7/1971.html" title="1971">1971</a>. En <a href="../../../../articles/1/9/7/1974.html" title="1974">1974</a>, il soutient sa thèse de <a href="../../../../articles/d/o/c/Doctorat.html" title="Doctorat">doctorat</a> de 3<sup class="exposant">e</sup> cycle, et en <a href="../../../../articles/1/9/7/1978.html" title="1978">1978</a> sa thèse d'État en sciences mathématiques à l'Université de Grenoble ; cette dernière portait sur la formulation de l'<a href="../../../../articles/i/n/t/Interpr%C3%A9tation_abstraite.html" title="Interprétation abstraite">interprétation abstraite</a>, son principal sujet de recherche depuis. Il s'agit d'une théorie de l'approximation du comportement des programmes informatiques, permettant notamment d'en faire des analyses automatiques.</p>
<p>En <a href="../../../../articles/1/9/7/1974.html" title="1974">1974</a> il rejoint le <a href="../../../../articles/c/e/n/Centre_national_de_la_recherche_scientifique.html" title="Centre national de la recherche scientifique">CNRS</a>. En <a href="../../../../articles/1/9/7/1979.html" title="1979">1979</a> il est devenu professeur des universités à Metz, où il a travaillé à la mise en place des enseignements d'informatique. En <a href="../../../../articles/1/9/8/1984.html" title="1984">1984</a>, il devient professeur à l'<a href="../../../../articles/%C3%A9/c/o/%C3%89cole_polytechnique_%28France%29_f67f.html" title="École polytechnique (France)">École Polytechnique</a>, où il travaille à fonder le laboratoire d'informatique. En <a href="../../../../articles/1/9/9/1991.html" title="1991">1991</a> il passe à l'École normale supérieure, restant professeur à temps partiel à Polytechnique jusqu'en 1997. Il y est directeur des études d'informatique, et est à la tête de l'équipe de recherche en sémantique et interprétation abstraite. En <a href="../../../../articles/2/0/0/2005.html" title="2005">2005</a>, il fut professeur invité au <a href="../../../../articles/m/a/s/Massachusetts_Institute_of_Technology_dd6d.html" title="Massachusetts Institute of Technology">Massachusetts Institute of Technology</a>.</p>
<p>Ces dernières années, il s'est notamment intéressé à la réalisation de logiciels d'<a href="../../../../articles/a/n/a/Analyse_statique_de_programmes.html" title="Analyse statique de programmes">analyse statique</a> pour la vérification de propriétés de sûreté de systèmes embarqués critiques, tels que ceux rencontrés en aviation.</p>
<p>En 1999, il a reçu la médaille d'argent du <a href="../../../../articles/c/e/n/Centre_national_de_la_recherche_scientifique.html" title="Centre national de la recherche scientifique">CNRS</a>, en 2001 un doctorat honoraire de l'Université de la <a href="../../../../articles/s/a/r/Sarre_%28Land%29_a40b.html" title="Sarre (Land)">Sarre</a>, en 2006 un grand prix de la Fondation <a href="../../../../articles/e/a/d/EADS_c15f.html" class="mw-redirect" title="EADS">EADS</a> récompensant une recherche qui a eu des applications industrielles. Il est chevalier de l'<a href="../../../../articles/o/r/d/Ordre_national_du_M%C3%A9rite_95f7.html" title="Ordre national du Mérite">Ordre national du Mérite</a> et membre de l'<a href="../../../../articles/a/c/a/Academia_Europaea_6ccc.html" title="Academia Europaea">Academia Europaea</a>.</p>
<p>Outre ses publications scientifiques, il a écrit en collaboration avec les membres de sa famille quelques ouvrages d'initiation à la <a href="../../../../articles/p/r/o/Programmation.html" class="mw-redirect" title="Programmation">programmation</a>.</p>
<p><a name="Liens_externes" id="Liens_externes"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/p/a/t/Patrick_Cousot_2b56.html" title="Modifier la section : Liens externes">modifier</a>]</span> <span class="mw-headline">Liens externes</span></h2>
<ul>
<li><a href="http://www.di.ens.fr/~cousot" class="external text" title="http://www.di.ens.fr/~cousot" rel="nofollow">Page personnelle du Pr Patrick Cousot</a></li>
<li><span style="cursor:help;font-family:monospace;font-weight:bold;font-size:small" title="Langue : anglais">(en)</span> <a href="http://www.mit.edu/~cousot/MintaMartinLecture/" class="external text" title="http://www.mit.edu/~cousot/MintaMartinLecture/" rel="nofollow">Biographie</a></li>
<li><span style="cursor:help;font-family:monospace;font-weight:bold;font-size:small" title="Langue : anglais">(en)</span> <a href="http://www.di.ens.fr/~cousot/cvshort.shtml" class="external text" title="http://www.di.ens.fr/~cousot/cvshort.shtml" rel="nofollow">Biographie</a></li>
</ul>
<!--
NewPP limit report
Preprocessor node count: 30/1000000
Post-expand include size: 409/2048000 bytes
Template argument size: 10/2048000 bytes
Expensive parser function count: 0/500
-->
<div class="printfooter">
</div>
<div id="catlinks"><div id='catlinks' class='catlinks'><div id="mw-normal-catlinks"><a href="../../../../articles/a/c/c/Cat%C3%A9gorie%7EAccueil_1aae.html" title="Catégorie:Accueil">Catégories</a> : <span dir='ltr'><a href="../../../../articles/p/e/r/Cat%C3%A9gorie%7EPersonnalit%C3%A9_fran%C3%A7aise_en_informatique_7a8d.html" title="Catégorie:Personnalité française en informatique">Personnalité française en informatique</a></span> | <span dir='ltr'><a href="../../../../articles/p/e/r/Cat%C3%A9gorie%7EPersonnalit%C3%A9_en_m%C3%A9thodes_formelles_d4f3.html" title="Catégorie:Personnalité en méthodes formelles">Personnalité en méthodes formelles</a></span> | <span dir='ltr'><a href="../../../../articles/n/a/i/Cat%C3%A9gorie%7ENaissance_en_1948_4853.html" title="Catégorie:Naissance en 1948">Naissance en 1948</a></span></div></div></div> <!-- end content -->
<div class="visualClear"></div>
</div>
</div>
</div>
<div id="column-one">
<div id="p-cactions" class="portlet">
<h5>Views</h5>
<ul>
<li id="ca-nstab-main"
class="selected" ><a href="../../../../articles/p/a/t/Patrick_Cousot_2b56.html">Article</a></li><li id="ca-talk"
class="new" ><a href="../../../../articles/p/a/t/Discuter%7EPatrick_Cousot_a71d.html">Discussion</a></li><li id="ca-current"
><a href="http://fr.wikipedia.org/wiki/Patrick_Cousot">Version actuelle</a></li> </ul>
</div>
<div class="portlet" id="p-logo">
<a style="background-image: url(../../../../misc/Wiki.png);"
href="../../../../index.html"
title="Accueil"></a>
</div>
<script type="text/javascript"> if (window.isMSIE55) fixalpha(); </script>
<div class='portlet' id='p-navigation'>
<h5>Navigation</h5>
<div class='pBody'>
<ul>
<li id="n-mainpage"><a href="../../../../index.html">Accueil</a></li>
<li id="n-thema"><a href="../../../../articles/a/c/c/Portail%7EAccueil_bcc9.html">Portails thématiques</a></li>
<li id="n-alphindex"><a href="../../../../articles/t/o/u/Special%7EToutes_les_pages_fabc.html">Index alphabétique</a></li>
<li id="n-randompage"><a href="../../../../articles/p/a/g/Special%7EPage_au_hasard_9c81.html">Un article au hasard</a></li>
<li id="n-contact"><a href="../../../../articles/c/o/n/Wikip%C3%A9dia%7EContact_929e.html">Contacter Wikipédia</a></li>
</ul>
</div>
</div>
<div class='portlet' id='p-Contribuer'>
<h5>Contribuer</h5>
<div class='pBody'>
<ul>
<li id="n-help"><a href="../../../../articles/s/o/m/Aide%7ESommaire_c9f0.html">Aide</a></li>
<li id="n-portal"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_5272.html">Communauté</a></li>
<li id="n-recentchanges"><a href="../../../../articles/m/o/d/Special%7EModifications_r%C3%A9centes_b222.html">Modifications récentes</a></li>
<li id="n-aboutwp"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_des_nouveaux_arrivants_0784.html">Accueil des nouveaux arrivants</a></li>
<li id="n-sitesupport"><a href="http://meta.wikimedia.org/wiki/Faire_un_don:_explication">Faire un don</a></li>
</ul>
</div>
</div>
<div id="p-search" class="portlet">
<h5><label for="searchInput">Rechercher</label></h5>
<div id="searchBody" class="pBody">
<form action="javascript:goToStatic(3)" id="searchform"><div>
<input id="searchInput" name="search" type="text"
accesskey="C" value="" />
<input type='submit' name="go" class="searchButton" id="searchGoButton"
value="Aller" />
</div></form>
</div>
</div>
<div id="p-lang" class="portlet">
<h5>Autres langues</h5>
<div class="pBody">
<ul>
<li>
<a href="../../../../../en/articles/p/a/t/Patrick_Cousot_2b56.html">English</a>
</li>
</ul>
</div>
</div>
</div><!-- end of the left (by default at least) column -->
<div class="visualClear"></div>
<div id="footer">
<div id="f-poweredbyico"><a href="http://www.mediawiki.org/"><img src="../../../../skins/common/images/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" /></a></div> <div id="f-copyrightico"><a href="http://wikimediafoundation.org/"><img src="../../../../misc/wikimedia-button.png" border="0" alt="Wikimedia Foundation"/></a></div> <ul id="f-list">
<li id="f-credits">Cette page a été modifiée pour la dernière fois le 6 juin 2008 à 22:54 par Utilisateur(s) non enregistré(s) de Wikipédia. Basé sur le travail de Utilisateur(s) <a href="../../../../articles/p/i/e/Utilisateur%7EPieRRoBoT_0564.html" title="Utilisateur:PieRRoBoT">PieRRoBoT</a>, <a href="../../../../articles/d/e/e/Utilisateur%7EDeepBot_cd0b.html" title="Utilisateur:DeepBot">DeepBot</a>, Xavier.Chatelain, <a href="../../../../articles/e/u/s/Utilisateur%7EEusebius_e210.html" title="Utilisateur:Eusebius">Eusebius</a>, <a href="../../../../articles/z/x/8/Utilisateur%7EZX81-bot_0db4.html" title="Utilisateur:ZX81-bot">ZX81-bot</a>, <a href="../../../../articles/n/i/c/Utilisateur%7ENico-s_0237.html" title="Utilisateur:Nico-s">Nico-s</a>, <a href="../../../../articles/s/a/f/Utilisateur%7ESaforrest_374c.html" title="Utilisateur:Saforrest">Saforrest</a>, <a href="../../../../articles/c/h/a/Utilisateur%7EChaoborus_2b04.html" title="Utilisateur:Chaoborus">Chaoborus</a>, <a href="../../../../articles/c/h/i/Utilisateur%7EChicobot_8e22.html" title="Utilisateur:Chicobot">Chicobot</a>, <a href="../../../../articles/d/a/v/Utilisateur%7EDavid.Monniaux_4b4e.html" title="Utilisateur:David.Monniaux">David.Monniaux</a>, <a href="../../../../articles/b/o/u/Utilisateur%7EBouchecl_2f85.html" title="Utilisateur:Bouchecl">Bouchecl</a>, <a href="../../../../articles/s/e/b/Utilisateur%7ESebb_5dd0.html" title="Utilisateur:Sebb">Sebb</a>, <a href="../../../../articles/p/h/e/Utilisateur%7EPhe_0278.html" title="Utilisateur:Phe">Phe</a>, <a href="../../../../articles/s/p/o/Utilisateur%7ESpooky_4745.html" title="Utilisateur:Spooky">Spooky</a> et <a href="../../../../articles/p/o/p/Utilisateur%7EPoppy_9da9.html" title="Utilisateur:Poppy">Poppy</a>.</li> <li id="f-copyright"><span style="white-space:normal"><a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Droit_d'auteur" title="Droit d'auteur">Droit d'auteur</a> : Tous les textes sont disponibles sous les termes de la <a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Licence_de_documentation_libre_GNU" title="GFDL">licence de documentation libre GNU</a> (GFDL).<br/>
Wikipedia® est une marque déposée de la <a href="http://wikimediafoundation.org/wiki/Accueil" title="Wikimedia Foundation">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a class="internal" href="http://en.wikipedia.org/wiki/501(c)" title="501(c)">501(c)(3)</a> du code fiscal des États-Unis.</span><br/></li> <li id="f-about"><a href="../../../../articles/%C3%A0/_/p/Wikip%C3%A9dia%7E%C3%80_propos_5de1.html" title="Wikipédia:À propos">À propos de Wikipédia</a></li> <li id="f-disclaimer"><a href="../../../../articles/a/v/e/Wikip%C3%A9dia%7EAvertissements_g%C3%A9n%C3%A9raux_fef1.html" title="Wikipédia:Avertissements généraux">Avertissements</a></li> </ul>
</div>
</div>
</body>
</html>