<div class="tex2jax_process">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.