Scientifiques
Entreprises

Au sommaire

Focus

© Collège de France / Photo Patrick Imbert

Prix Inria 2012

Pierre-Louis Lions : Grand Prix Inria

Isabelle Bellin -

Le rayonnement scientifique de Pierre-Louis Lions, mathématicien surdoué hyperactif, s’étend du monde académique à l’industrie et aux entreprises. Depuis une trentaine d’années, il insuffle ses idées toujours très originales dans toutes les thématiques qu’il aborde, des mathématiques à la physique, en passant par l’économie ou la simulation numérique dans l’industrie. Ses théories sont reprises par de nombreux scientifiques tant de la communauté des mathématiques théoriques qu’appliquées.

© Inria / Photo J.M. Ramès

Prix Inria 2012

Francis Bach : Prix Inria du jeune chercheur

Isabelle Bellin -

De formation mathématique, Francis Bach est devenu un spécialiste mondialement connu de l’apprentissage statistique (machine learning en anglais), qu’il défriche sans vergogne depuis une dizaine d’années. Ses recherches à l’interface des mathématiques appliquées, des statistiques et de l’informatique trouvent des applications dans une variété impressionnante de domaines, de la vision artificielle au traitement du signal audio en passant par la bioinformatique ou l’imagerie cérébrale.

© Inria / Photo J. Wallace

Stratégie

Ethique & technologies numériques

Nathaly Mermet - 30/10/2012

La Commission de réflexion sur l'Ethique de la Recherche en sciences et technologies du Numérique (CERNA) sera portée sur les fonts baptismaux le 29 octobre prochain par l' Alliance des sciences et technologies du numérique (Allistene). Aboutissement d’une réflexion lancée depuis 2011, le comité aura un rôle consultatif sur les questions éthiques touchant au monde numérique.

Actualités

Et aussi

Météo du coeur - Inriality

Culture numérique

Lancement d'Inriality

Céline Acharian - 15/11/2012

Inria vient de lancer Inriality, espace ouvert et participatif d'échanges et de réflexion sur la civilisation numérique. Cette plateforme, qui naît à côté du site institutionnel Inria.fr, sera un lieu de dialogue où chacun sera libre d'apporter sa contribution.

Zoom sur

Gérard Berry - © INRIA Photo J.M.Ramès

Sciences informatiques

Informatique au Collège de France

Damien Dechambre - 15/09/2012

Récemment nommé professeur au Collège de France, Gérard Berry assure désormais le plein exercice de la toute nouvelle Chaire « Algorithmes, machines et langages ». Ses responsabilités l'ont amené à cesser ses activités à la Commission d'évaluation d'Inria. Bernard Chazelle, titulaire pour l'année 2012-2013 de la chaire "Informatique et sciences numérique", mettra également l'algorithmique à l'honneur. Jamais les sciences numériques n'ont été si présentes dans les programmes du Collège de France !

Au sommaire

Focus

Mobilité internationale

Campagne Internships 2013

Marie-Jeanne Gaffard - 17/10/2012

Inria lance la campagne de recrutement de stagiaires dans le cadre du Programme Internships 2013. Ce programme est ouvert aux étudiants issus d'institutions étrangères partenaires d'Inria.

Ivan Laptev - © Inria

European Research Council 2012

Ivan Laptev : Faire progresser la vision par ordinateur

Technoscope - 12/09/2012

Ivan Laptev est l’un des quatre candidats Inria retenus pour une subvention du Conseil européen de la recherche (CER) dans la catégorie des jeunes chercheurs. Son sujet, la « vision par ordinateur », consiste à simuler le système visuel humain au moyen d’algorithmes analysant le mouvement, détectant des événements et reconnaissant des objets dans des séquences vidéo. Il nous explique son travail plus en détail et présente quelques-unes des applications potentielles.

Au sommaire

Focus

Remise du 1er prix FIEEC à David Andreu et Georges Billard - © Vivaltis

Distinction

David Andreu, 1er prix FIEEC aux Rendez-Vous Carnot

Christian Guyard - Technoscope - 19/10/2012

La Fédération des Industries Electriques, Electroniques et de Communication décernait pour la deuxième fois ses prix de la recherche appliquée à l'occasion des "Rendez-Vous Carnot" à Lyon. David Andreu, enseignant chercheur à l’université Montpellier 2, membre permanent de l’équipe-projet Inria Demar, reçoit le premier prix de 15 k€ pour ses travaux sur la robotique et la stimulation électro-fonctionnelle appliquée à la santé, concrétisés dans de nouveaux appareils de la société Vivaltis. Ce prix récompense des chercheurs travaillant dans des structures publiques dont les travaux effectués en France ont été industrialisés par une PMI-ETI basée en France.

© Tonis Pan - Fotolia.com

Rencontre Inria - Industrie

Rencontre Inria-Industrie - Santé

21/11/2012

Le 21 novembre prochain aura lieu une nouvelle édition des Rencontres Inria - Industrie dont le sujet sera la "Simulation numérique en santé, de la cellule à l'humain virtuel". Cette journée qui se déroulera au Palais des Congrès de Strasbourg est organisée en partenariat avec le cluster français Alsace Biovalley et l'Institut hospitalo-universitaire de Strasbourg.

Consulter le dossier

Accès direct

A noter

© Collège de France / Photo Patrick Imbert

Prix Inria 2012

Pierre-Louis Lions : Grand Prix Inria

Isabelle Bellin -

Le rayonnement scientifique de Pierre-Louis Lions, mathématicien surdoué hyperactif, s’étend du monde académique à l’industrie et aux entreprises. Depuis une trentaine d’années, il insuffle ses idées toujours très originales dans toutes les thématiques qu’il aborde, des mathématiques à la physique, en passant par l’économie ou la simulation numérique dans l’industrie. Ses théories sont reprises par de nombreux scientifiques tant de la communauté des mathématiques théoriques qu’appliquées.

© Inria / Photo J.M. Ramès

Prix Inria 2012

Francis Bach : Prix Inria du jeune chercheur

Isabelle Bellin -

De formation mathématique, Francis Bach est devenu un spécialiste mondialement connu de l’apprentissage statistique (machine learning en anglais), qu’il défriche sans vergogne depuis une dizaine d’années. Ses recherches à l’interface des mathématiques appliquées, des statistiques et de l’informatique trouvent des applications dans une variété impressionnante de domaines, de la vision artificielle au traitement du signal audio en passant par la bioinformatique ou l’imagerie cérébrale.

Et aussi

© Inria / Photo Christian Tourniaire

Prix Inria 2012

Paul-Louis George : lauréat du Prix de l’innovation Inria - Dassault Systèmes 2012

Françoise Breton -

Responsable scientifique de l’équipe-projet Gamma3 (Inria, Université de technologies de Troyes), Paul-Louis George est l’un des auteurs du mailleur volumique GHS3D, un logiciel utilisé dans le monde entier, que ce soit par les industriels ou par les chercheurs et universitaires. Intégré dans de nombreux logiciels de calculs 3D par éléments finis, GHS3D aide à obtenir des simulations particulièrement fiables et performantes. Un succès qui repose sur un travail d’équipe entrepris sur le long terme et que le prix de l’innovation récompense aujourd’hui.

Programme "Internships"

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.

Accès direct

Zoom sur

Rencontres Inria - Industrie

Rencontres Inria - Industrie : Efficacité énergétique

8/03/2012

Le 8 mars 2012 aura lieu, au centre Inria Grenoble Rhône-Alpes, une nouvelle édition des Rencontres Inria - Industrie sur le thème «Sciences Numériques et efficacité énergétique ». Cette journée est organisée en partenariat avec Oséo et les pôles de compétitivité Minalogic et Tenerrdis.

Caisse des dépôts

Partenariat

Inria et France-Brevets signent un partenariat

Marie Gallas-Amblard - 14/12/2011

Un partenariat France Brevets - Inria pour accroître la valorisation des brevets d’Inria dans le cadre du programme d’investissements d’avenir.

France Brevets et Inria ont décidé de collaborer pour renforcer la valorisation des brevets existants et futurs d’Inria et leur assurer une visibilité internationale. Ce partenariat permettra de compléter le spectre des actions de transfert de technologies d’Inria, pour un plus grand impact économique de ses travaux de recherche.

Retour sur

iMatch

iMatch Bio-Med Tech

22/03/2012

Le centre Inria Saclay - Île-de-France, en partenariat avec Médicen, Cap Digital, Systematic, Oséo, le Centre Francilien de l'Innovation, la chambre de commerce et d'industrie de l'Essonne et Digiteo organise le mardi 22 mars 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème des modèles statistiques.

iMatch

iMatch Modèles Statistiques

24/05/2011

Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic, Oséo, le Centre Francilien de l'Innovation, Digiteo et FITT Innovation organise le mardi 24 mai à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème des modèles statistiques.

Résultats de recherche pour : "preuve de programmes"

Accueil > Résultats de recherche

Il y a 2 Résultats avec le mot clé : "preuve de programmes"

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller : « Faire que la preuve soit universelle »

Sophy Caulier - 6/12/2011

Bénéficiaire d’une bourse ERC Advanced Grant destinée aux chercheurs confirmés, Dale Miller s’engage sur le difficile chemin de la preuve. Son objectif : dans ce domaine très abstrait mais qui a un impact certain sur le monde réel, standardiser les systèmes de preuve et leur délivrer des certificats afin d’améliorer la confiance que l’on peut avoir en eux.

Mots-clés :

Accueil > Actualité > Actualités Inria > Dale Miller : « Faire que la preuve soit universelle »

Preuve de programme

La vérification de programmes en compétition

Françoise Breton – Technoscope - 1/02/2012

Six équipes sur les 29 en lice sont arrivées en tête de la compétition sur la preuve de programme associée à la conférence VSTTE 2012 (Verified Software : Theories, Tool and Experiments) qui se déroulait les 28 et 29 janvier à Philadelphie. Retour sur la compétition et ses enjeux avec deux de ses organisateurs, Jean-Christophe Filliâtre et Andrei Paskevich, membres du LRI et de l’équipe Proval.

Mots-clés :

Accueil > Centre > Saclay > Actualités > La vérification de programmes en compétition

Centres de recherche Inria

Saclay (2)