LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Recherche » Équipes » Théorie et outils mathématiques pour l’informatique
Photo Responsable Photo Adjoint

Axe « Théorie et outils mathématiques pour l’informatique » (TMC)

Équipes : ALMASTY, ALSOC, APR, ComplexNetworks, DECISION, MLIA, MoVe, NPA, PEQUAN, Phare, PolSys, QI, RO, SYEL.

Co-animateurs :

Bruno Escoffier Campus Pierre et Marie Curie 26-00/419
Antoine Genitrini Campus Pierre et Marie Curie 25-26/319

Brève présentation

En informatique, les questions de décidabilité et de complexité, ainsi que les modèles mathématiques et discrets ou les algorithmes, sont omniprésents. On peut citer la sémantique formelle permettant de modéliser des systèmes, le comportement de gros logiciels, les algorithmes de détection de communautés dans des graphes, l’optimisation discrète ou continue, et le calcul scientifique au sens large. Nous concevons des algorithmes pour optimiser les systèmes informatiques, pour la décision, pour améliorer la fiabilité des logiciels et/ou évaluer la sécurité des primitives cryptographiques et préparer l’ère quantique. La plupart de ces algorithmes posent des problèmes de passage à l’échelle et notre but et de repousser les frontières actuelles.

Aucune manisfestation prévue actuellement.

Archives
 Mentions légales
Carte du site |