Accueil du site > Vie de la recherche > Prix et distinctions > Institut universitaire de France (IUF)




Recherchez sur ce site


Institut universitaire de France (IUF)

Pages : 1 | 2 | 3 | 4 |>

 

Hubert Comon : « Définir un attaquant universel pour les preuves de sécurité »

Depuis octobre 2016, Hubert Comon est membre senior de l’Institut Universitaire de France. Ce spécialiste des méthodes formelles appliquées à la sécurité informatique propose un nouveau paradigme dans son projet ComSeFor (Computer Security and Formal methods) pour réaliser des preuves de sécurité quel que soit le modèle d’attaquant.

Jean-Christophe Pesquet : "Optimiser pour gérer des masses de données"

Jean-Christophe Pesquet est nommé membre senior de l’Institut Universitaire de France au 1er octobre 2016. Expert de l’optimisation, ses travaux visent à structurer la discipline en consolidant son socle théorique, pour mieux répondre aux enjeux du Big Data dans divers domaines d’applications liés au traitement d’informations.

Marie-Christine Rousset : « Enrichir et relier les données pour mieux les interroger »

Membre senior de l’Institut Universitaire de France depuis 2011, Marie-Christine Rousset vient d’être renouvelée en octobre 2016 pour une nouvelle période de cinq ans. Ses recherches portent sur l’accès aux connaissances à l’heure du Big Data, pour permettre d’exploiter des bases de données en ligne et obtenir des réponses adaptées, que l’on soit expert ou simple curieux. En donnant une réponse synthétique à une question précise, sa thématique va dans le sens de la création d’un nouveau moteur de recherche.

Stéphan Thomassé : « Disséquer les graphes pour mieux combiner leurs algorithmes de résolution »

Nommé membre senior de l’Institut Universitaire de France en octobre 2016, Stéphan Thomassé s’intéresse à l’algorithmique des graphes, ces structures informatiques qui permettent de (presque) tout représenter par des points et des arêtes les reliant. Ses travaux se concentrent sur la détermination du meilleur algorithme de résolution pour chaque type de graphes, cette adéquation étant faite jusque-là sans réelle compréhension de la corrélation entre graphe et algorithme.

Adrien Bartoli : « Augmenter les images endoscopiques pour accompagner le chirurgien »

Adrien Bartoli devient membre junior de l’Institut Universitaire de France au 1er octobre 2016. Spécialiste de la vision par ordinateur, il applique le résultat de ses recherches à la réalité augmentée en endoscopie, cette chirurgie où le geste est guidé par l’image issue d’une caméra. Ce champ d’application lui apporte de nouvelles problématiques pour alimenter sa recherche théorique.

Antoine Chaillet : « Contrôler les oscillations cérébrales pour réduire les symptômes de la maladie de Parkinson »

Antoine Chaillet est membre junior de l’Institut Universitaire de France depuis octobre 2016. Cet automaticien s’est spécialisé dans le pilotage d’oscillations cérébrales en traitant le cerveau comme un système dynamique. En collaboration avec des neurochirurgiens et des chercheurs en neuroscience, son travail concerne plus spécifiquement les moyens de lutter contre les symptômes moteurs de la maladie de Parkinson, au travers de la stimulation cérébrale en boucle fermée.

Antoine Miné : « Certifier tous les logiciels grâce à une plate-forme open-source »

Antoine Miné est nommé membre junior de l’Institut Universitaire de France au 1er octobre 2016. Dans le cadre de son IUF et de son projet ERC Mopsa, il souhaite que les méthodes de vérification des programmes, coûteuses en temps et en expertise, ne soient plus employées par seulement les industries. Pour cela, il vise à simplifier la démarche de vérification des programmes en élargissant les méthodes d’analyse statique par interprétation abstraite et en les intégrant dans une plate-forme open-source pour que tout développeur puisse vérifier son programme.

Liva Ralaivola : « Identifier les caractéristiques des algorithmes d’apprentissage »

Liva Ralaivola devient membre junior de l’Institut Universitaire de France, à compter du 1er octobre 2016. Ses recherches portent sur l’aspect théorique de l’apprentissage, sur des données dépendantes ou non. Une des problématiques qu’il étudie est celle des inégalités des concentrations, qui ont par exemple leur utilité pour la problématique des bandits manchots.

Romain Rouvoy : « Réduire la consommation énergétique des logiciels »

Romain Rouvoy a été nommé membre junior de l’Institut Universitaire de France en octobre 2016. Ses recherches portent sur le génie logiciel et les problématiques de consommation énergétique. Sa thématique couvre notamment la mise en œuvre de logiciels plus efficients d’un point de vue énergétique, mais aussi leur exécution efficace sur des plates-formes réparties comme le cloud et le mobile.

Jean-Gabriel Ganascia : « Intégrer l’intelligence artificielle dans les humanités numériques et dans la réflexion sur l’éthique »

Jean-Gabriel Ganascia intègre l’Institut Universitaire de France en tant que membre senior au 1er octobre 2015. Spécialiste d’intelligence artificielle et d’apprentissage machine, fort de sa double formation en informatique et en philosophie, ses recherches portent aujourd’hui sur le versant littéraire des humanités numériques, sur la philosophie computationnelle et sur l’éthique des technologies de l’information et de la communication.

Pages :1 | 2 | 3 | 4 |>