À partir de cette année l'informatique et les sciences du numériques se voient dotées d'une nouvelle chaire au Collège de France, intitulée « Sciences du logiciel », dont le titulaire est Xavier Leroy. Xavier Leroy est connu pour être l'architecte et un des principaux développeurs du langage de programmation fonctionnel OCaml ainsi que du compilateur C formellement vérifié CompCert. Il a reçu en 2016 le prix Milner pour récompenser ses travaux sur la fiabilité des systèmes informatiques.
La (…)