Photo Responsable Photo Adjoint

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

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

Co-animateurs :

Bruno Escoffier Campus Pierre et Marie Curie 26-00/419
Nathalie Sznajder Campus Pierre et Marie Curie 25-26/216

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.

Annuaire

Aucune manisfestation prévue actuellement.

Archives
Mentions légales
Carte du site