july 26, 2018
The Collège de France extends its congratulations to Xavier Leroy, professor at the Collège de France on the Software Science chair and researcher at the Inria center in Paris, winner of the 2018 INRIA - Académie des sciences grand prize.
Xavier Leroy is a computer scientist specializing in programming languages and software safety and security. He is notably known for co-developing the OCaml language, one of the two most widely used typed functional languages in research and industry alongside the Haskell language, as well as the CompCert C compiler, the first realistic compiler to be formally verified.
Xavier Leroy has been appointed holder of the new Software Science chair from the start of the 2018 academic year.
