François Clément

You may prefer the English version.

Je suis chercheur au projet Serena, équipe commune au Centre de Recherche Inria (Paris) et au Cermics de l'École des Ponts ParisTech.

Je m'intéresse aux problèmes inverses et aux techniques adjointes. En particulier, l'algorithme des indicateurs de raffinement qui construit une paramétrisation adaptative des quantités distribuées à identifier. Une application intéressante est la segmentation d'images.

Je m'intéresse maintenant principalement à l'utilisation de la programmation fonctionnelle pour le calcul scientifique, et plus particulièment au langage OCaml développé à l'Inria.
Je m'intéresse également à la preuve formelle de programmes de calcul scientifique. En particulier, je fais partie du projet MILC (DIM-RFSI 2018) qui concerne la formalisation en Coq de l'intégrale de Lebesgue. Ces travaux sont connexes à ceux effectués dans le cadre du GT ELFIC du Labex DigiCosme - Paris-Saclay, et font suite aux ANR CerPAN et Fost.

Logiciels

Publications récentes

Mon site perso (incluant quelques photos).

Malle : Francois.Clement@inria.fr.


URL : https://who.paris.inria.fr/Francois.Clement/
Auteur : François Clément
Dernière modification le lundi 12 avril 2021.

© 1996-2021 INRIA, tous droits réservés.

[LOGO INRIA]