Inria
Inria.fr
Inria Channel
Il y a 4 Résultats avec le mot clé : "ERC"
European Research Council 2011
Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
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 5 ans une recherche exploratoire, avec un budget de 1 à 1,5 million d’euros. Xavier Rival, chercheur en informatique, membre de l’équipe-projet Abstraction, est un des lauréats. Il explique son projet.
Mots-clés :
- Xavier Rival
- ABSTRACTION
- INRIA Paris - Rocquencourt
- Sûreté de fonctionnement
- Preuve de programme
- Astrée
- ERC
- Logiciel
Accueil > Actualité > Actualités Inria > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
European Research Council 2010
Karthik Bhargavan : prouver la sûreté des applications web
Prévenir plutôt que guérir : cet adage médical s’applique aussi à l’informatique. Le jeune chercheur de l’équipe MOSCOVA, Karthik Bhargavan, vient de recevoir une bourse ERC pour poursuivre ses travaux visant à assurer la sûreté de services tels que la gestion de données personnelles et sensibles. Des recherches à la fois théoriques et très appliquées, au sein du laboratoire commun entre l’Inria et Microsoft Research. Rencontre avec le chercheur.
Mots-clés :
Accueil > Recherches > Actualités > Karthik Bhargavan : prouver la sûreté des applications web
European Research Council 2010
Jean Ponce : de la photo à la vidéo
Spécialiste reconnu de la reconnaissance de formes dans des photos, Jean Ponce, professeur à l'ENS, s’est lancé depuis quelques années dans la vidéo. Il vient de recevoir pour cela une bourse européenne ERC destinée à un chercheur confirmé. Son but : analyser et traiter automatiquement les films quels que soient les scènes et les mouvements de caméras, afin de pouvoir les archiver, les modifier ou les restaurer. Un travail qui intéresse particulièrement les concepteurs d’effets vidéo.
Mots-clés :
Accueil > Recherches > Actualités > Jean Ponce : de la photo à la vidéo
Ivan Laptev
-
© Inria
European Research Council 2012
Ivan Laptev : Faire progresser la vision par ordinateur
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.
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Actualités > Ivan Laptev : Faire progresser la vision par ordinateur
Centres de recherche Inria
- Paris - Rocquencourt (4)
