{"partition": "head_middle", "source_domain": "www.inria.fr", "digest": "sha1:XVVBTK37UXURNBABS7DC7RIUCKK2U2JP", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00004.parquet"}
Inria Channel
Découvrir Inria, son Actualité, ses activités de Recherche & d'Innovation
Inria en bref
Michel Cosnard, p-dg d'Inria
Inria en quelques mots
Histoire d'Inria
Ceux qui ont fait Inria
Bilan social
Prix Inria
Ecosystème Inria
Directeurs scientifiques adjoints
Défis numériques Plan stratégique
Inria et les Alliances
EIT ICT Labs
Le mot de la Directrice des Relations Internationales
Actions dans le monde
Appels à projets
Mot de Thierry Priol
European Research Council EIT ICT Labs
Partenariats académiques
Partenariats industriels
Recrutement & métiers
Mot de Bruno Wierzbicki
Diversité de nos métiers
Boost your code
Chaires Internationales Inria
Focus Prix Inria 2013
Anatole Lécuyer : Prix Inria - Académie des sciences du jeune chercheur
Aujourd'hui responsable de l'équipe Hybrid, Anatole Lécuyer vient de recevoir le Prix lnria - Académie des sciences du jeune chercheur. Personnellement honoré par cette récompense, il estime qu'elle constitue également une sorte de reconnaissance pour ses domaines de recherche, la réalité virtuelle et les interfaces cerveau-ordinateur, encore relativement « jeunes » et mal connus.	Lire la suite
Prix Inria 2013
Jean-Michel Morel : Grand Prix Inria – Académie des Sciences 2013
Il voulait faire de la théorie, il est aujourd'hui passionné par les applications de ses travaux. Il voulait rester dans le monde académique, ses algorithmes sont utilisés par de nombreux industriels. Mais Jean-Michel Morel reste convaincu que sans formalisation mathématique, une découverte ou une théorie n'est pas aboutie ! Fort de cette conviction, il met les mathématiques au service du traitement d'image et du signal pour en expliquer les avancées et en fonder les théories. Avec succès. Il veut partager ses algorithmes librement et a fondé pour cela un journal permettant à chacun d'expérimenter les travaux des autres.	Lire la suite
Pascale Vicat-Blanc : Prix Inria – Académie des sciences – Dassault Systèmes de l'innovation 2013
Fondatrice de l’entreprise Lyatiss, Pascale Vicat-Blanc vient de recevoir le prix de l'innovation lnria - Académie des sciences - Dassault Systèmes. Elle voit dans cette distinction personnelle, une reconnaissance pour son équipe et sa société – et un intérêt pour les jeunes femmes qui pourraient s'en inspirer. Consciente d'être une sorte de role model, elle milite pour le décloisonnement européen des mondes de la recherche, de l'entreprise et de l'investissement.	Lire la suite
Coq récompensé par l’ACM Software System Award
L’ACM (Association for Computing Machinery) annonce que le prix "Software System Award" est décerné à l'équipe de développement du système Coq. Une récompense pour un travail collectif de longue haleine, qu'Inria soutient depuis 30 ans.	Lire la suite
Partenariat CITRIS - Inria - PRIME
Inria, le CITRIS et PRIME ont signé le 12 février 2014 un accord dans le domaine des Smart Cities afin d'accélérer le développement de recherches et d'expérimentations pour résoudre les problèmes relatifs aux grandes aires urbaines. La signature a eu lieu en présence de Michel Cosnard (PDG d'Inria), Sabine Enjalbert (Directrice Générale de l’Agence Régionale de Développement de Paris Île-de-France), Geneviève Fioraso (ministre de l'Enseignement supérieur et de la recherche) et Costas Spanos (directeur du Center for Information Technology Research in the Interest of Society, University of California).	Lire la suite
Rechercher une équipe
Modèle « Équipe-projet »
Chaires d'enseignement et de recherche
Laboratoires communs
Développement technologique à l'institut
Information Scientifique et Technique
Archives - Conférences scientifiques
Programme "Internships"
Equipes associées
Domaines de recherche
Cinq domaines de recherche
Actions d’envergure
Actions exploratoires
Actions de recherche collaboratives
Les jeunes chercheurs au coeur de la recherche
Lycéens - Etudiants
Etre doctorant
Etre post-doctorant
Découvrez les sciences du numérique
L'informatique de A à Z
Le patrimoine dans le rétro
Informatique et sciences du numérique
Focus Programme "Equipes associées"
Équipes Associées 2014-2016: appel à projets 2013
Une « Équipe associée » est un projet de recherche commun créé entre une équipe-projet Inria et une équipe de recherche basée à l'étranger. Les deux partenaires définissent conjointement un objectif scientifique, un plan de recherche et un programme d’échanges bilatéraux. Afin de promouvoir et de développer de telles collaborations, en soutenant des projets de recherche d’excellent niveau scientifique, la Direction des relations internationales d’Inria lance chaque année un appel à projets.	Lire la suite
© Inria - Asclepios
Sciences numériques
Leçon inaugurale de Nicholas Ayache
Nicholas Ayache a donné sa leçon inaugurale au Collège de France le jeudi 10 avril 2014 à 18h. Le cours, portant sur l'imagerie médicale computationnelle, s'intitule « Le patient numérique personnalisé : images, médecine, informatique ».	Lire la suite
Partenariats & transfert technologique
Le mot d'Eric Horlait
Pôles de compétitivité
Rencontres Inria Industrie
Patrimoine logiciel
Bureau France W3C
Inria & PME
Institut Carnot Inria
Partenariat bpifrance
Magazine Connect
Calcul haute performance
Secteurs industriels
Aéronautique, défense, spatial, sécurité
Edition de logiciels, systèmes embarqués
Energie, transport, développement durable
Santé, sciences de la vie, biotechnologie
Télécoms, réseaux, multimedia
Focus Voeux 2014 à la French Tech
Fleur Pellerin présente ses voeux à la French Tech
Marie Gallas-Amblard -
Mercredi 29 janvier, la ministre de l’économie numérique et des PME a présenté ses vœux aux acteurs de l’écosystème numérique français rassemblés désormais sous la bannière de la La French Tech. Le logo du label a été présenté représentant en coq en origami pour montrer avec humour une communauté numérique française qui ne se prend pas au sérieux, dixit Fleur Pellerin.	Lire la suite
Les rencontres Inria Industrie
Inria fête en 2014, les 30 ans de sa première création d'entreprises. Depuis l'institut a généré plus de 120 start-up, symboles de sa politique volontariste en matière de transfert des technologies issues de ses équipes de recherche. Lire la suite
Accès direct Actualités scientifiques
Agenda scientifique
Transfert & Innovation
A noter Prix Inria 2013
Et aussi Prix Inria 2013
Favoriser l’accueil des étudiants étrangers
Chaque année, à travers son programme "Internships", Inria reçoit plus d’une centaine d’étudiants du monde entier pour les former par la recherche. L'objectif de ce programme est de renforcer les collaborations scientifiques d'Inria au travers de l'accueil et de la formation par la recherche d'excellents étudiants issus d'Institutions partenaires à l'étranger. Des étudiants de niveau undergraduate, master ou thèse viennent alors passer entre deux et neuf mois, selon leur niveau, auprès d’une équipe de recherche d’Inria. Rencontres avec Michail Zervos et Nadia Khalfa, deux étudiants passionnés qui nous font partager leur expérience réussie et livrent quelques conseils à tous ceux qui pourraient être intéressés par le programme Internships.	Lire la suite
Accès direct Actualités Innovation
Agenda Innovation
Zoom sur Voeux 2014 à la French Tech
Inria & PME - Publication
Innover avec les sciences du numérique - Connect n° 3
Découvrez CONNECT, le magazine à destination des PME qui souhaitent innover avec les sciences du numérique : actualité des STIC, état d'avancée de la Recherche, technologies transférées ou transférables vers le monde industriel, portrait de partenaires issus des équipes de recherche d'Inria avec des PME innovantes, dossiers thématiques, ... N'hésitez pas, CONNECTez-vous !	Lire la suite
Retour sur © Inria / Photo G.Maisonneuve
Rencontre Inria Industrie
Simulation, modélisation et HPC
Le 11 juin dernier, Inria, en partenariat avec Genci et Bpifrance (ex-Oséo), a organisé une Rencontre Inria Industrie dont le sujet "Modélisation, simulation et calcul intensif : de puissants leviers pour la compétitivité des entreprises" a suscité beaucoup d'intérêt...En effet, plus de 200 personnes sont venues assister aux conférences et visiter le showroom présentant les dernières technologies développées par Inria sur la thématique !	Lire la suite
Institut >
Inria en bref >
Ceux qui ont fait Inria >
Gilles Kahn
Gilles Kahn, un visionnaire Premier informaticien élu à l'Académie des sciences, Gilles Kahn a été un chercheur talentueux visionnaire de renommée internationale.	Biographie de Gilles KahnNé le 17 avril 1946 à Paris, Gilles Kahn fait ses études supérieures à l'Ecole Polytechnique (promotion 1964), puis à l'université de Stanford, aux Etats Unis (1968-1971). Durant sa carrière, il fait deux autres longs séjours de recherche à l'étranger auprès de scientifiques de renom. D'abord à l'université d'Edimbourg (1975-1976), puis à l'Institut Isaac Newton de Cambridge (1995). Ses collègues Philippe Flajolet et Gérard Huet décrivent la vision à long terme d'un grand scientifique qui a compris, dès les années 1970 que l'informatique, était une discipline scientifique à part entière. Vingt ans plus tard, en 1997, il devient le premier membre de l'Institut élu à l'Académie des sciences en tant que chercheur en informatique.À son retour de Stanford, il entre au Commissariat à l'énergie atomique puis rejoint l'Institut de recherche en informatique et automatique (IRIA) à Rocquencourt en 1976, en tant que responsable d'un projet consacré au développement d'environnements de programmation. En 1983, il participe à la création de l'unité de recherche de Sophia Antipolis, où il pilote la recherche scientifique auprès du directeur. En 1993, Gilles Kahn rejoint la direction générale de l'Institut dont il devient le directeur scientifique, puis le président directeur général en mai 2004. A ces deux fonctions clés, il exerce une influence majeure sur la définition des plans stratégiques d'Inria, notamment sur l'avant dernier (2003/2007) qui dessine les contours de recherches conjointes entre l'informatique et les sciences du vivant.En tant qu'expert, Gilles Kahn a souvent été sollicité pour des missions d'intérêt national. En 1996, il est membre de la commission d'enquête sur le vol Ariane 501. Entre 1997 et 2005, il est co-auteur de trois rapports. Le premier consacré à la recherche en télécommunications est remis en 1997 au ministre de l'Industrie. En 2000, un second rapport sur l'accès de tous à la connaissance est remis au Président de la République. En 2005, les ministres de la recherche et de la culture se voient remettre un troisième rapport sur l'offre légale sur Internet.Hommage & TémoignageCollaborateurs proches de Gilles Kahn, Philippe Flajolet et Gérard Huet parlent du chercheur et de ses contributions scientifiques." La recherche personnelle de Gilles Kahn comprend plusieurs idées fondamentales : donner un sens aux programmes, établir les fondements de la concurrence dans les processus de calcul, se doter de méthodes et d'outils pour développer des logiciels conformes à leurs spécifications. Pour lui, le trait unificateur de ces grands axes est la modélisation mathématique et logique du processus de calcul.Historiquement la première contribution marquante associée à son nom est la découverte de ce qui sera plus tard connu comme les "réseaux de Kahn" (IFIP, 1971). Il s'agit d'un cadre conceptuel pour décrire le calcul distribué asynchrone. Ces travaux participent d'un courant d'idées partagé avec les Bell Laboratories où s'ébauche alors le système d'exploitation Unix.Gilles Kahn a été l'un des précurseurs du domaine de la sémantique des langages de programmation, laquelle permet de donner un sens mathématique précis à un programme informatique. Il contribue notamment, en collaboration avec l'Université d'Edimbourg où il passera une année sabbatique en 1975-76, à l'élaboration d'une importante théorie des domaines de calcul concrets. En 1983, il participe à la création de l'Unité de recherche Inria de Sophia-Antipolis. Il y développe une théorie élégante, celle de la "sémantique naturelle". On peut grâce à cela manipuler un programme comme une formule, c'est-à-dire calculer des propriétés de programmes. Cette percée ouvre la voie au développement d'environnements de programmation, où les programmes sont manipulés de pair avec leur spécification.L'idée suivante est de manipuler informatiquement les preuves elles-mêmes, ce qui permet la vérification mécanique de propriétés de programmes et de logiciels. De fait, Gilles Kahn jouera un rôle de premier plan dans la commission d'enquête sur la défaillance du logiciel de la première mission de la fusée Ariane 5.Gilles Kahn était un véritable chercheur dans l'âme. Il aimait le débat d'idées avec des chercheurs, qu'ils soient académiciens ou doctorants. Tous les scientifiques qui l'ont cotoyé se souviendront de la chaleur et de l'intelligence de ces échanges. Sa vision scientifique était remarquablement large, et il était passionné par les interactions de l'informatique avec des domaines comme les mathématiques, la physique, la biologie et la médecine."Gérard Huet & Philippe Flajolet"Les défis scientifiques du 21e siècle"Le 30 mars 2004, Gilles Kahn a fait un exposé scientifique à l'Académie des sciences. Visionnez la vidéo de l'évènement dans le cadre des conférences et débats « Les défis scientifiques du 21e siècle ».Les sciences et technologies de l'information et de la communication (STIC) sont présentes dans tous les domaines de l'ingénierie ou de la production et interviennent dans la plupart des innovations technologiques. Leur rôle est stratégique dans les questions de défense et de sécurité. Elles forment l'ossature de toutes les activités de service, avec un impact sur l'enseignement, la recherche scientifique, l'accès à la culture, les interactions entre personnes ou entre personnes et organisations.Sur le plan scientifique, ces disciplines sont récentes et leur étendue est considérablement sous-estimée.L'avenir se dessine autour de grands problèmes où se mêlent intimement science, technologie et utilisations novatrices, soulevant ainsi l'enthousiasme chez les jeunes chercheurs : la construction d'immenses réseaux d'ordinateurs interconnectés, la capacité à traiter en profondeur des données qui ont du sens pour les êtres humains (l'image, la langue naturelle, la perception), le contrôle de la qualité et la sécurité des logiciels dont notre vie peut dépendre ou la gestion des grands volumes de données hétérogènes qui permettent de suivre l'état de notre planète.Enfin, les sciences et technologies de l'information et de la communication sont appelées à jouer un rôle considérable dans les sciences de la vie et la médecine clinique.	Mots-clés : Gilles Kahn
Académie des sciences
Commissariat à l'énergie atomique
Président-directeur général
Chercheur
Défis scientifiques
Conférence scientifique
Visionnez la conférence donné par Gilles Kahm en mars 2004 à l'Académie des sciences dans le cadre de "Les défis scientifiques du 21e siècle". Visionnez les vidéos
Tout au long de sa carrière, Gilles Kahn a reçu de nombreuses distinctions, parmi lesquelles :
1992 : Prix Michel Monpetit de l'Académie des Sciences
1995 : Membre de l'Academia Europaea
1997 : Membre de l'Académie des sciences
1997 : Chevalier de la Légion d'honneur
2002 : Membre de l'Académie des Technologies
2004 : Commandeur de l'Ordre National du Mérite
From Semantics to Computer Science - Ouvrage collectif en l'honneur de Gilles Kahn - Editeurs : Y. Bertot, G. Huet, J.-J. Levy , G. Plotkin - Cambridge university - Sept. 2009 - 594 p. - ISBN-13: 9780521518253
Publications scientifiques :
Toutes les publications scientifiques de Gilles Kahn sur le site HAL Inria
Conférence (vidéo) :
"Les Sciences et technologies de l'information et de la communication"
Curriculum-vitae :
CV de Gilles Kahn
Siège et centres de recherche Inria
Bordeaux - Sud-Ouest
Grenoble - Rhône-Alpes
Lille - Nord Europe
Nancy - Grand Est
Paris - Rocquencourt
Rennes - Bretagne Atlantique
Saclay - Île-de-France
Sophia Antipolis - Méditerranée
Rapports d'activité - RAweb
Archive ouverte - HAL-Inria
Fuscia, bureau d'accueil
Logo Inria
Inria Alumni
Inriality
Interstices
Inria sur Canal-U