Page d'accueil de François Clément

You may prefer the English version.

Je ressemble à ça ! Enfin, pas tous les jours...
Je suis chercheur au projet Pomdapi au Centre de Recherche Inria Paris - Rocquencourt.

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 fais également partie de l'ANR Fost pour le développement d'outils de preuve formelle de programmes de calcul scientifique.

Voici une liste de publications récentes :

2011, S. Boldo, F. Clément, J.-C. Filliâtre, M. Mayero, G. Melquiond, and P. Weis, Wave Equation Numerical Resolution: Mathematics and Program, Rapport de Recherche 7826, Inria.
2011, H. Ben Ameur, G. Chavent, F. Clément, and P. Weis, Image Segmentation with Multidimensional Refinement Indicators, Inverse Problems in Science and Engineering, 19, pp. 577-597 (pré-publié dans le Rapport de Recherche 7446, Inria).
2010, S. Boldo, F. Clément, J.-C. Filliâtre, M. Mayero, G. Melquiond, and P. Weis, Formal Proof of a Wave Equation Resolution Scheme: the Method Error, Proc. of the first Internat. Conf. on Interactive Theorem Proving (ITP 2010), Lecture Notes in Computer Science, 6172, pp. 147-162, (pré-publié dans le Rapport de Recherche 7181, Inria).
2008, I. Berre, F. Clément, M. Lien, and T. Mannseth, Data Driven Reparameterization Structure for Estimation of Fluid Conductivity, Proc. of the Internat. Conf. ModelCARE 2007, Calibration and Reliability in Groundwater Modelling: Credibility of Modelling, IAHS Publication, 320, pp. 310-315.
2008, E. Marchand, F. Clément, J. E. Roberts, and G. Pépin, Deterministic Sensitivity Analysis for a Model for Flow in Porous Media, Advances in Water Resources, 31, pp. 1025-1037 (pré-publié dans le Rapport de Recherche 6502, Inria).
2008, H. Ben Ameur, F. Clément, P. Weis, and G. Chavent, The Multi-Dimensional Refinement Indicators Algorithm for Optimal Parameterization, Journal of Inverse and Ill-Posed Problems, 16, pp. 107-126 (pré-publié dans le Rapport de Recherche 5940, Inria).

J'ai également un site perso.

Malle : Francois.Clement@inria.fr.

URL : http://www-roc.inria.fr/~fclement/
Auteur : François Clément
Dernière modification le lundi 6 février 2012.

Le contenu de ces pages relève de la seule responsabilité de leur auteur, et ne représente pas nécessairement le point de vue officiel de l'Inria. Les informations sont présentées de bonne foi, mais leur exactitude ne saurait être garantie.