Gilles Kahn (né le à Paris et mort le à GarchesRelevé des fichiers de l'Insee) est un chercheur français en informatique. Il a été directeur scientifique et président de l'Institut national de recherche en informatique et en automatique (Inria).

Membre de l'Académie des sciences et directeur scientifique de l'Inria depuis 1993 jusqu'en , date à laquelle il en prit la présidence, Gilles Kahn est un spécialiste des environnements de programmation et environnements de preuves sur ordinateur. Polytechnicien (X1964), il a mené plusieurs années de recherches à l'étranger : université Stanford (1968-71), université d'Édimbourg (1975-76), institut Isaac Newton à Cambridge (1995), auprès de scientifiques de renom. Cependant, il ne finira jamais son doctorat en informatique sur la sémantique des langages de programmation.

Employé par le CEA puis la CISI tout en menant son activité de recherche à Rocquencourt, il entre à l'INRIA (alors IRIA) en 1977, en tant que responsable d'un projet consacré au développement d'environnements de programmation (Mentor, Centaur). C'est cette année-là qu'il acquiert une renommée internationale grâce à la publication d'un article sur la notion de parallélisme en informatique qui porte son nom : les « réseaux de Kahn ».

En 1983, il participe à la création de l'unité de recherche INRIA Sophia Antipolis, où simultanément il continue à diriger un projet de recherche et exerce la responsabilité de pilotage de la recherche auprès du directeur. En 1993, Gilles Kahn rejoint la direction générale de l'Institut dont il devient le directeur scientifique. Il assume les fonctions de président-directeur général de l'INRIA à partir de .

Gilles Kahn était membre de nombreux conseils scientifiques d'entreprises et d'organismes de recherche en France (ONERA, BRGM, CNES, EDF, Ilog, etc.) et à l'étranger. Il était membre du conseil d'administration du CNRS et du conseil général des technologies de l'information. Il a participé à de nombreuses évaluations internationales d'organismes scientifiques dans le monde et à des jurys de prix scientifiques internationaux.

Principaux domaines de recherche Historiquement, Gilles Kahn figure parmi les premiers chercheurs en informatique français. Outre les réseaux de Kahn, il est le précurseur de plusieurs domaines de recherche : en sémantique dénotationnelle, sa théorie des domaines concrets (en coopération avec Gordon Plotkin) est une étape en théorie des domaines ; en sémantique des langages de programmation, il propose la sémantique naturelle ; en génie logiciel, il initie les systèmes Mentor et Centaur qui sont les pionniers des environnements de programmation modernes ; en démonstration assistée de théorèmes, il propose des interfaces en langue naturelle.

Auteur de plusieurs rapports visionnaires

Sollicité pour des missions d'intérêt national, il est intervenu notamment en tant que membre de la commission d'enquête sur le vol 501 d'Ariane 5 (1996), comme coauteur avec Didier Lombard, directeur général des stratégies industrielles au Ministère de l'industrie, d'un rapport sur la recherche en télécommunications (1997) et comme coauteur (2000) d'un rapport au Président de la République sur « l'accès de tous à la connaissance ».

Stéphane Foucart dans Le Monde du . observe que

Gilles Kahn a été le premier chercheur en informatique élu membre de l'Académie des sciences. Son ancien collègue et ami Bernard Lang, cité par Le Monde, affirme que . Le prix de thèse Gilles Kahn est nommé en son honneur.

Voir aussi Articles connexes Prix Gilles Kahn

Liens externes

Notes et références

Catégorie:Élève de l'École polytechnique Catégorie:Informaticien français Catégorie:Directeur de recherche INRIA Catégorie:Membre de l'Académie des sciences (France) Catégorie:Naissance en avril 1946 Catégorie:Naissance dans le 14e arrondissement de Paris Catégorie:Décès en février 2006 Catégorie:Décès à Garches Catégorie:Décès à 59 ans Catégorie:Personnalité inhumée au cimetière de Montmartre