splash screen icon Lenndi
splash screen name leendi
@xavierRoy profile image

Xavier Roy

Auteurplume

Xavier Leroy (né le 15 mars 1968) est un informaticien français, professeur au Collège de France et précédemment directeur de recherche à l'INRIA. Il est connu pour être le principal concepteur et développeur du langage Objective Caml ainsi que pour ses travaux sur le compilateur formellement vérifié CompCert.

...plus

Compte non officiel

    auteur Xavier Roy de la citation “Le voyage, c’est la part du rêve.”

    Xavier Roy

    @xavierRoy

    “Le voyage, c’est la part du rêve.”

    en cours de vérification

  • 1