Domaine de recherche de l'École : Cette école se situe à l'interface des mathématiques fondamentales et de l'informatique théorique. Elle explore comment les outils avancés d'analyse, d'algèbre, de combinatoire et de probabilités nourrissent les développements modernes en informatique, notamment en cryptographie, vérification formelle, apprentissage automatique et algorithmique.

Objectifs d'apprentissage : Les participant·es découvriront les fondements mathématiques qui sous-tendent ces domaines clés. Ils apprendront à formaliser et résoudre des problèmes complexes en mobilisant la synergie entre ces deux disciplines, à travers l'étude de paires fondamentales telles que la théorie des nombres et la cryptographie, l'analyse fonctionnelle et le machine learning, ou les probabilités et l'algorithmique.