Collaborations et Projets
-
Groupement pour la Recherche Appliquée INnovante avec les Entreprises (GRAINE) : SYFI Code Synthesis for the Fixed-Point Arithmetic
Partenaires : IRIT, Numalis, ONERA DTIM.
Début et Durée : Janvier 2019, 36 mois -
Office for Naval Research Global (ONRG) : Strongly Typed Numerical Computations
Partenaires : Numalis.
Début et Durée : Janvier 2018, 24 mois -
Programme Gaspard Monge pour Optimisation : Feasible and Optimal Semi-Definite Programs for Piecewise Affine Systems Verification
Partenaires : ONERA DTIM, Université de Perpignan Via Domitia.
Début et Durée : Novembre 2017, 24 mois -
Projet de Coopération Extérieure : Domaines Numériques et Transformations Sémantiques
Partenaires : Université de Perpignan Via Domitia, Université de Tlemcem.
Début et Durée : Juillet 2015, 18 mois -
Thèse CIFRE : Compilation optimisante et certifiée pour la précision numérique
Partenaires : Airbus France, Université de Perpignan Via Domitia.
Début et Durée : Février 2015, 36 mois -
Projet ANR-12-INSE-0007 CAFEIN : Combinaison d'approches formelles pour l'étude d'invariants numériques
Partenaires : CEA LIST, ENSTA ParisTech, INRIA Saclay-île de France, ONERA DTIM, Prover Prover Technology, RCF Rockwell collins France, Université de Perpignan Via Domitia.
Début et Durée : Février 2013, 48 mois -
Numalis : Transfert technologique de travaux de l'équipe à la start-up Numalis
Partenaires : Numalis.
Début et Durée : Septembre 2013, 36 mois