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.