Sites Inria

Il y a 6 Résultats avec le mot clé : "ERC"

Logo ERC

Présentation - Projets ERC

Demi-journée présentation ERC 2012

13/09/2011

Cet événement ciblera les Appels à proposition ERC 2012 “Starting Independent Researcher Grant”, “Advanced Investigator Grant” et "ERC Proof of Concept".

Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier

Mots-clés :

Accueil > Centre > Rennes > Agenda > Demi-journée présentation ERC 2012

lire la suite

Nicolas Tabareau

European Research Council 2014

Nicolas Tabareau : démocratiser les assistants de preuve

Jean-Michel Prima - 10/02/2015

Les assistants de preuve visent à prouver les théorèmes mais aussi la correction des programmes informatiques. Fruit de vingt-cinq ans de recherches par Inria, Coq est aujourd'hui l'un des logiciels en pointe dans le domaine. Toutefois, une percée en mathématique signée par le médaillé Fields Vladimir Voevosdky pourrait ouvrir la voie à un énorme progrès de la vérification formelle. Chercheur chez Inria, Nicolas Tabareau vient de se voir octroyer une bourse du Conseil Européen de la Recherche (ERC) pour étudier comment cette découverte pourrait se concrétiser dans une version très novatrice de Coq. Comme il l'explique, ce travail devrait avoir un impact très fort et amener l'industrie à adopter cet outil de preuve.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Nicolas Tabareau : démocratiser les assistants de preuve

Lire la suite

André Seznec © INRIA / Photo G. Favier - Agence Vu

European Research Council 2010

André Seznec : défier les lois de l'informatique

Gérard Paget - 3/12/2010

Depuis 1983, André Seznec concentre ses recherches sur l'architecture des ordinateurs. Avec son équipe commune Inria - université de Rennes I, ce chercheur reconnu travaille sur l'augmentation des performances et la "démocratisation" des architectures parallèles. Il vient de recevoir pour cela la bourse européenne ERC dans la catégorie "chercheur confirmé". Rencontre avec le scientifique.

Mots-clés :

Accueil > Recherches > Actualités > André Seznec : défier les lois de l'informatique

Lire la suite

Erwan Faou - Equipe-projet Ipso Erwan Faou - Equipe-projet Ipso

European Research Council 2011

Erwan Faou : révéler les secrets mathématiques des lois de la physique

Isabelle Bellin - 9/09/2011

Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (ou European Research Council , ERC) pour mener pendant cinq ans une recherche exploratoire, avec un budget de  1 à 1,5 million d’euros. Parmi les lauréats : Erwan Faou, mathématicien, membre de l’équipe-projet Ipso. Rencontre.

Mots-clés :

Accueil > Actualité > Actualités Inria > Erwan Faou : révéler les secrets mathématiques des lois de la physique

Lire la suite

Christine Guillemot, directrice de recherche Inria

European Research Council 2015

Christine Guillemot, lauréate 2015 ERC Advanced Grants

Nathalie Lacaux - 14/04/2016

Christine Guillemot, directrice de recherche Inria au centre Rennes – Bretagne Atlantique, a reçu la bourse européenne European Research Council dans la catégorie Advanced . Ce programme a pour but de donner les moyens à des chercheurs brillants de mener pendant cinq ans une recherche exploratoire plutôt risquée en Europe, en-dehors de tout programme scientifique établi, de toute stratégie de développement scientifique nationale ou disciplinaire.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Christine Guillemot, lauréate 2015 ERC Advanced Grants

Lire la suite

Rémi Gribonval, directeur de recherche Inria au sein de l'équipe-projet Metiss à Rennes

European Research Council 2011

Remi Gribonval : mathématicien du son et de l’image

Corinne Drault - 22/09/2011

Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (European research council , ERC) pour mener pendant cinq ans une recherche exploratoire, avec un budget de  1 à 1,5 million d’euros. Parmi les lauréats : Rémi Gribonval, membre de l’équipe-projet Metiss, au centre Inria Rennes Bretagne Atlantique. Son projet "Please" vise à développer de nouvelles méthodes de traitement du signal avec des applications dans le domaine de l’audio et du biomédical.

Mots-clés :

Accueil > Actualité > Actualités Inria > Remi Gribonval : mathématicien du son et de l’image

Lire la suite

Haut de page

Suivez Inria