Méthodes numériques · Vérification · Solveurs sur mesure
Des codes de simulation justes, rapides et vérifiés.
Je vérifie, corrige, parallélise et développe des codes de simulation pour les équipes R&D. Du code maison au module de logiciel commercial, vous obtenez des résultats justes, des calculs rapides et les preuves que demandent vos clients et vos autorités.
- Docteur de l’École des Ponts – IP Paris
- Thèse industrielle avec le CEA
- Chercheur à l’Université de Bâle
Offres
Du diagnostic au solveur sur mesure
J’interviens sur tout le cycle de vie de vos codes de simulation. Chaque mission a un périmètre écrit et un devis sur mesure.
Diagnostic de code
Justesse, performance et maintenabilité de votre code, avec des recommandations hiérarchisées.
Solveur ou module sur mesure
Le solveur ou le module qui manque à votre code, logiciel commercial (Abaqus, Ansys, COMSOL…) ou code de calcul maison.
Vérification et validation
La preuve chiffrée et reproductible que votre code est juste, jusqu’aux dossiers réglementaires.
Modernisation et industrialisation de code
Du prototype de recherche ou du code ancien à un outil moderne, parallélisé sur CPU et GPU et vérifié.
Performance et parallélisation
Parallélisation CPU et GPU (MPI, OpenMP, OpenACC), choix des solveurs, profilage, passage à l’échelle.
Modèles d’IA et de substitution
Calculs de référence et audit du domaine de validité de vos modèles d’IA.
Second avis sur une simulation
Un regard indépendant sur la fiabilité d’un calcul : convergence, hypothèses, erreurs.
Appui à temps partagé
Quelques jours par mois de jugement numérique expérimenté, sans recruter.
Une demande particulière ?
Chaque projet est différent. Si votre besoin n’entre dans aucune de ces offres, décrivez-le-moi : je vous dis franchement si je peux vous aider.
Expertise
Une connaissance étendue de la modélisation
Un code de simulation n’est juste que si le modèle est bien compris. Je connais les modèles derrière vos calculs, seuls ou couplés.
Équations de Navier–Stokes
Écoulements incompressibles, stationnaires ou instationnaires.
Mécanique des solides
Élasticité, plasticité, grandes déformations, contact, lois de comportement.
Équation de la chaleur
Conduction, sources internes, échanges aux parois.
Équation des ondes
Acoustique, ultrasons, contrôle non destructif.
Équations de Maxwell
Électromagnétisme en régime temporel ou harmonique.
Advection–diffusion–réaction
Transport d’espèces, dispersion de polluants, cinétique chimique.
Équation de Black–Scholes
Valorisation d’options et modèles de risque, par différences finies, éléments finis ou Monte-Carlo.
Problèmes non linéaires
Méthodes de Newton, continuation, contrôle de la convergence.
Couplages multiphysiques
Thermique et fluide, fluide et structure, électromagnétisme et thermique.
Pourquoi un spécialiste des méthodes
Ce que vous apporte un spécialiste de l’analyse numérique
Indépendant des éditeurs
Je ne vends aucune licence. Je recommande ce qui marche pour votre problème, logiciel libre compris.
Des résultats vérifiés
Chaque livrable contient une vérification chiffrée que vous pouvez rejouer : tests, ordres de convergence, scripts.
Un devis ferme avant de commencer
Périmètre écrit, devis forfaitaire par jalons, acompte de 30 %. Vous connaissez le prix avant de commencer.
Votre code vous appartient
Vous êtes propriétaire des livrables. Mes outils génériques vous sont concédés en licence d’usage gratuite et perpétuelle.
Déroulé d’une mission
Trois étapes simples
Un diagnostic gratuit
30 minutes pour comprendre votre problème.
Un devis écrit
Périmètre, délais et prix fixés d’avance.
La livraison
Code, tests et rapport, expliqués à votre équipe.
Pour qui
Quelques exemples concrets, secteur par secteur
Utilisateurs d’Abaqus, Ansys ou COMSOL
Écrire et vérifier la loi de comportement, la condition aux limites ou le couplage qui manque à votre logiciel.
Instrumentation et capteurs
Prédire l’effet d’un dépôt sur un débitmètre à ultrasons, ou la réponse d’un capteur inductif à une pièce métallique.
Éditeurs de logiciels de calcul
Ajouter un modèle physique à votre solveur, et prouver par des cas tests qu’il converge à l’ordre attendu.
Industriels avec un code ancien
Moderniser un code Fortran de vingt ans, le paralléliser sur CPU et GPU, et prouver qu’il donne toujours les mêmes résultats.
Pharma et chimie
Modéliser le mélange dans un bioréacteur ou la séparation dans une colonne de chromatographie, et vérifier le modèle avant qu’il remplace des essais.
Dispositifs médicaux
Démontrer la convergence et chiffrer l’incertitude d’une simulation d’implant ou d’écoulement sanguin pour un dossier réglementaire.
Énergie, nucléaire et géosciences
Vérifier un code thermohydraulique avant sa qualification, ou simuler la propagation d’ondes sismiques dans un sous-sol complexe.
Modélisation quantitative
Valider un modèle à EDP ou Monte-Carlo, et réduire nettement son temps de calcul.
Startups deeptech
Transformer un prototype de laboratoire en solveur fiable et documenté avant une levée de fonds.
Parlons de votre code.
Un diagnostic gratuit de 30 minutes suffit pour savoir si je peux vous aider, et à quel prix.