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 Serena au Centre de Recherche Inria Paris.

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 GT ELFIC du Labex DigiCosme - Paris-Saclay qui concerne la preuve de correction d'une bibliothèque C++ pour la méthode des éléments finis. Ces travaux font suite aux ANR CerPAN et Fost.

Logiciels

Publications récentes

J'ai également un site perso.

Malle : Francois.Clement@inria.fr.


[Valid HTML 4.01!]

URL : https://who.rocq.inria.fr/Francois.Clement/
Auteur : François Clément
Dernière modification le vendredi 26 février 2016.

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.

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

[LOGO INRIA]