Zulip Chat Archive

Stream: general

Topic: Leroy entering Collège de France

Patrick Massot (Nov 21 2018 at 10:54):

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.

Last updated: Aug 03 2023 at 10:10 UTC