Leroy entering Collège de France

Stream: general

[Patrick Massot]

Formal methods in CS continue to get more and more exposure in French academia. Remember that earlier this year, Antoine Petit, a formal method expert, became head of CNRS, the French national research agency. A few days ago, the Collège de France hired Xavier Leroy as a new permanent professor. There is nothing higher than being a professor at Collège de France in the in French academic system. Leroy is one of the main people behind OCaml and CompCert (Coq certified C compiler). People understanding French can watch his "inaugural lecture" http://www.college-de-france.fr/site/xavier-leroy/inaugural-lecture-2018-11-15-18h00.htm A general audience lecture about programming languages and formal methods. The actual talk begins about 8 minutes into the video.