Xavier Leroy

See also: Leroy

Xavier Leroy (born the March 15th 1968) is a French data processing specialist, research director with INRIA. It is known to be the principal originator and developer of the language Objective Caml.

Xavier Leroy was allowed as raises with the National university (Paris) in 1987, and studied mathematics and data processing there. Of 1989 with 1992 it made its thesis of doctorate under the direction of Gerard Huet.

Xavier Leroy is an expert considered in the field of the functional languages, their Typage and their compilation. These last years, he worked also much on the formal methods, the formal evidences and certified compilation.

He is also the author of LinuxThreads, which was, before the release of version 2.6 of the core Linux, the library of Thread S the most used in the Linux system.

External bonds

personal page of Xavier Leroy
Curriculum vitae

Random links: