Ce projet développe des algorithmes pour corriger les biais de recouvrement (overlap) des ceilomètres CHM15k utilisés en observations atmosphériques. Basé sur des méthodes statistiques et des modèles de température, il permet d'améliorer la précision des données lidar sous des conditions de couche limite bien mélangée. Les outils générés aident à analyser l'impact des corrections sur les gradients de température et à détecter les artefacts dans les modèles, notamment pour des sites comme Aosta, Magurele-Rado ou Cabauw.

Outil dédié à la préparation et à la correction de données climatiques pour des modèles environnementaux. Il permet de transformer des données brutes (comme celles de SAFRAN) en formats adaptés (netCDF), de projeter des sorties de modèles sur des polygones géographiques, et d'appliquer des corrections de biais (altitude, moyenne, sélection d'observations). Utilisé dans le cadre d'intercomparaisons de modèles climatiques pour améliorer la précision des simulations.

Projet dédié à la simulation et à l'analyse des mouvements de larves biologiques. Il permet de modéliser des trajectoires, d'optimiser des paramètres mécaniques et de reconstruire en 3D des structures musculaires et cuticulaires. Les outils développés facilitent la visualisation et la correction manuelle des données, ainsi que l'automatisation de simulations sur cluster pour des analyses à grande échelle.

PyXAI est une bibliothèque Python dédiée à l'IA explicable (XAI) pour les modèles d'apprentissage automatique basés sur des arbres (classification ou régression). Elle permet de générer des explications formelles, correctes et locales pour comprendre les décisions des modèles, tout en offrant des fonctionnalités de rectification pour corriger les incohérences entre les prédictions et les connaissances métier. L'outil s'adresse aux experts en data science et aux secteurs nécessitant une transparence accrue des algorithmes.

Bibliothèque Python permettant une modélisation parsimonieuse de la fonction de point (PSF) pour des applications en astronomie. Inclut les modèles Moffat et Psfao pour la correction de la PSF par optique adaptative.

CoqTL est un langage interne à Coq permettant d'écrire des transformations de modèles et de graphes basées sur des règles. Il est associé à une bibliothèque facilitant la preuve de la correction des transformations dans Coq.