L'informatique fondamentale et ses Mathémathiques (IFM) regroupe des thématiques relevant à priori de tous les domaines de l'informatique, pourvu que la démarche de recherche ou le point de vue adopté soient "mathématisables". Cet ouvrage réunit les cours proposés à l'édition 2024 de l'Ecole des Jeunes Chercheuses et Chercheurs en Informatique fondamentale et ses Mathématiques (GdR IFM) du CNRS. Cinq thèmes sont présentés par six spécialistes du domaine, à la fois du point de vue du mathématicien et du point de vue de l'informaticien : les processus stochastiques, la combinatoire, la synthèse et la vérification, la cryptographie, et la programmation probabiliste. (4e de couverture)
