Grandeurs et unités pour les langages Informatiques
Présentation
Description du projet
Alors que la puissance de calcul disponible en science ne cesse de croître et que les méthodes numériques et les algorithmes d’analyse de données sont de plus en plus performants, les codes en sciences computationnelles ne cessent de gagner en complexité. Le projet GULI, grâce à la collaboration entre le LAPP et le LAMA, vise à concevoir une solution au problème de grandeurs et d’unités au travers d’une approche interdisciplinaire mêlant physique,
mathématiques, et informatique. Au lieu d’essayer d’implémenter une solution logicielle partielle puis d’essayer de l’étendre à des cas d’applications de plus en plus exotiques, l’idée centrale du projet va consister à commencer par se concentrer sur l’étude de ces cas limites pour en déduire une formalisation rigoureuse en termes de structures mathématiques à l’aide de la théorie des catégories. De cette formalisation sera déduite une spécification en termes
de types qui sera ensuite portée dans des langages de programmation. L’objectif sera de concevoir avant tout des mécanismes génériques pour spécifier des systèmes d’unités sur mesure plutôt que de se concentrer sur des grandeurs et des unités spécifiques particulières. Une implémentation haute performance en C++ sera produite en vue de contribuer significativement à l’évolution du standard C++ pour y inclure une bibliothèque de grandeurs
et d’unités et ainsi impacter directement des millions de développeurs, y compris les physiciens numériciens sus-cités.
Livrables
Concevoir une bibliothèque de grandeur des unités, visant à contribuer à l’évolution du standard C++.
Équipe
Responsable scientifique : Vincent Reverdy
Post – doctorante : Francesca Guffanti
Axes de recherche
Axe : Services Industries du Futur
Enjeux pour les transitions : Numérique
En cours depuis : AAP 2024