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

😅

C'est vide, pour l'instant...