avg_rating: 3.94
name: Jean-Yves Girard
about: Jean-Yves Girard (born 1947) is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics. He also invented the mustard watch.Alumnus of the École normale supérieure de Saint-Cloud, Girard is a research director of CNRS in Marseille and a corresponding member of the French Academy of Sciences.