Projet dédié à l'optimisation des transferts de fichiers et des tactiques de preuve pour Meta Dedukti, un outil de vérification formelle. Il facilite la manipulation et l'échange de preuves mathématiques formalisées en utilisant des méthodes efficaces et automatisées.

Outil dédié à l'export, la sauvegarde et la validation des données sismiques du réseau RESIF. Il automatise le transfert des métadonnées et des données validées depuis des points de montage vers des répertoires de travail. Le script gère également la reprise des transferts interrompus et la vérification des checksums pour garantir l'intégrité des données. Les rapports générés permettent de suivre les erreurs et les succès des opérations.

Queen-Back-Office est une application web Java développée avec Spring Boot, qui fournit des services de back-office pour la gestion des campagnes d'enquêtes, des questionnaires, des unités de reporting, des données d'enquête et des commentaires. Il utilise Spring Data pour l'accès aux données, Spring Security pour la sécurité, JPA pour la persistance des données, MapStruct pour le mapping objet, PostgreSQL comme base de données, JUnit et Testcontainers pour les tests automatisés, Mockito pour le mocking, RestSharp pour les appels HTTP, Swagger UI pour la documentation de l'API, Keycloak pour l'authentification et l'autorisation, Log4j pour le logging, SLF4J pour l'abstraction du logging, Apache FreeMarker pour la génération de rapports, Sonatype Nexus pour la gestion des dépendances et JSON pour le transfert de données.

Ce projet permet de déployer et configurer un serveur rsync de manière automatisée et reproductible. Il facilite la gestion des transferts de fichiers entre systèmes, la création de modules personnalisés pour des besoins spécifiques, et l'intégration dans des environnements existants via des playbooks Ansible. Idéal pour les administrateurs système cherchant à standardiser et sécuriser leurs processus de synchronisation de données.

Ce projet développe des modèles d'intelligence artificielle pour classifier des IRM cérébrales en distinguant des états comateux et non-comateux. Il compare les performances de plusieurs architectures de réseaux de neurones profonds (comme LeNet17) et applique des techniques de transfert d'apprentissage pour améliorer la précision des diagnostics. Les résultats sont utilisés pour soutenir la recherche médicale et l'analyse automatisée d'images médicales.

Flopbox SR2 est une solution dédiée à la gestion et au transfert de fichiers via des protocoles FTP et FTPS. Elle permet aux utilisateurs de stocker, organiser et partager des données de manière sécurisée sur des serveurs distants. Le projet inclut des fonctionnalités avancées comme l'automatisation de commandes, la gestion de permissions et la synchronisation de fichiers.

Ce projet automatise la synchronisation et le transfert de données entre une base de données PostgreSQL et l'outil Brevo (ex Sendinblue) via des requêtes programmées. Il permet de centraliser et d'exporter des informations structurées pour des campagnes marketing ou des notifications automatisées.

Outil dédié à l'export et à la gestion de données issues de photogrammétrie. Il permet d'automatiser la génération de rapports, le transfert de métadonnées et la compression des fichiers de projet. Compatible avec des logiciels comme Metashape, il facilite le traitement des chunks actifs en offrant des options personnalisables pour les exports et les métadonnées.

Application en ligne de commande développée avec Spring Boot permettant d'uploader des fichiers vers un stockage S3. Elle facilite le transfert sécurisé et automatisé de documents ou données vers des buckets cloud, idéal pour des sauvegardes, des partages ou des intégrations avec d'autres services. L'outil est conçu pour être simple et efficace, avec une configuration flexible via des variables d'environnement ou des fichiers de propriétés.

Outil dédié à l'automatisation et à l'orchestration des flux de données pour le projet CTA (Cherenkov Telescope Array). Il permet de gérer les transferts et le traitement des données entre différents centres de stockage et infrastructures, en s'appuyant sur des workflows prédéfinis pour optimiser les opérations de traitement et de synchronisation.