

Xavier Leroy
Professeur titulaire de la chaire « Sciences du logiciel » au Collège de France et chercheur en langages de programmation et vérification formelle; auteur et présentateur du cours sur la sécurité des calculs et la cryptographie appliquée aux logiciels.



